{"entities":{"Q58207600":{"pageid":58121644,"ns":0,"title":"Q58207600","lastrevid":1967746765,"modified":"2023-09-04T02:10:46Z","type":"item","id":"Q58207600","labels":{"en":{"language":"en","value":"PreDeLo 1.0: A Theorem Prover for Preferential Description Logics"},"nl":{"language":"nl","value":"PreDeLo 1.0: A Theorem Prover for Preferential Description Logics"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2013"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2013"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"cc190455ae34cb78c5ad6e401111b14febbb8144","datavalue":{"value":"10.1007/978-3-319-03524-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q58207600$989D3065-4E61-4A8E-90F0-B50B8F7F4DFE","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58207600$9F4790D8-160D-4164-9692-25B6CBCFD562","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"40967fc6adf288d8baf2feea88f0087f345463b6","datavalue":{"value":{"text":"PreDeLo 1.0: A Theorem Prover for Preferential Description Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q58207600$F55EB05E-4D7D-4B06-8E35-58BEA242460A","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"acf750e6d742778c51d0bb0775129785c8e65a9c","datavalue":{"value":"60-72","type":"string"},"datatype":"string"},"type":"statement","id":"Q58207600$86E5305D-FA24-42CE-BEB5-25A18ABB6C6D","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"de9973bce69e1e4c53708afb409e15dec518b326","datavalue":{"value":{"time":"+2013-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q58207600$86D5701F-9378-42BA-BA24-47550A27347B","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"3015693f9abc71841a3bdca0db9bc5206d5c0b4c","datavalue":{"value":{"entity-type":"item","numeric-id":924044,"id":"Q924044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58207600$236DA142-0E8F-4D4C-BB61-4BED823F0DF4","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"7d5ca6ffe13a6716d1ac3d469d5fb75326db1f23","datavalue":{"value":"Adam Jalal","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q58207600$38B9F311-07B9-42CF-A2A7-F28C4683D25F","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"4e6c18dc19f4b967279dfe0113738f3455ea4408","datavalue":{"value":{"entity-type":"item","numeric-id":58194815,"id":"Q58194815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"cc520e703d50f9eafe90e8dd84b62f670ff92b32","datavalue":{"value":"Laura Giordano","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q58207600$77DE0CB4-6272-4334-9E55-AD6F05433A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"eaa643d7d076382a2ddd302e5b43322dc51658d7","datavalue":{"value":{"entity-type":"item","numeric-id":58207643,"id":"Q58207643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"f6f725fdd853093bd5a734842925f8c4fa1d7031","datavalue":{"value":"Gian Luca Pozzato","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q58207600$CE811034-A8CD-41CB-A04A-2F26C3E00B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"f157300b12cbd7f5973106fc29a95ce640fdaa32","datavalue":{"value":{"entity-type":"item","numeric-id":122209936,"id":"Q122209936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"377997c27de596c46d8bf228af5f7fda894be6e5","datavalue":{"value":"Valentina Gliozzi","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q58207600$82E228FE-F3AB-4458-A797-69968ABC5615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"24450a9474bf3f139c2cebf014de52f9d051772a","datavalue":{"value":{"entity-type":"item","numeric-id":112410366,"id":"Q112410366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"fe38bc8b2b8dc3bf721050d4a2f1bd40a0afbc72","datavalue":{"value":"Nicola Olivetti","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q58207600$7438983C-7F19-404F-B760-7977136D1419","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58207600$23199134-30AB-4608-862D-30FC80A087BE","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"f9e9848e39229dd16633ba6f9dec880527ec043e","datavalue":{"value":"conf/aiia/GiordanoGJOP13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q58207600$EFE5FE25-C428-4DB1-858C-CFB6095C219C","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"443ae525682befd284b0157b8ae2e25f72502fc0","datavalue":{"value":{"entity-type":"item","numeric-id":387196,"id":"Q387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58207600$90B7D22F-7F2F-4873-90A4-633AAEFCD670","rank":"normal","references":[{"hash":"0723282bb80042897ca697416c050b4bf7fb5428","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"2009eafb2646ea71bee7372b061e8521ee613fc2","datavalue":{"value":{"entity-type":"item","numeric-id":69652283,"id":"Q69652283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]},{"mainsnak":{"snaktype":"value","property":"P921","hash":"d65375855bf9747e0481c30cad7058d529a28727","datavalue":{"value":{"entity-type":"item","numeric-id":11387554,"id":"Q11387554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58207600$2B0BC48D-3A90-4ACA-8317-3364B7750AAD","rank":"normal","references":[{"hash":"0723282bb80042897ca697416c050b4bf7fb5428","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"2009eafb2646ea71bee7372b061e8521ee613fc2","datavalue":{"value":{"entity-type":"item","numeric-id":69652283,"id":"Q69652283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}]},"sitelinks":{}}}}