{"entities":{"Q2372203":{"pageid":2382946,"ns":120,"title":"Item:Q2372203","lastrevid":50135810,"modified":"2026-01-13T06:21:10Z","type":"item","id":"Q2372203","labels":{"en":{"language":"en","value":"Disjunctive logic programming with types and objects: the \\(\\mathrm{DLV}^{+}\\) system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174350"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$45382682-D2E0-4884-95EA-B29B5DED32DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aff6259fa72e04d80ee9f6272f68fd73621352f6","datavalue":{"value":{"text":"Disjunctive logic programming with types and objects: the \\(\\mathrm{DLV}^{+}\\) system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372203$9C19A1E7-3F02-407F-B75E-CAA73C119943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c454e01326ce73adfc1d034b9ccd2e3ec6bdcf1","datavalue":{"value":"1122.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372203$334FD5D3-70B2-4E56-A88F-C5B8CB748DFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc66809533143588d5d844a649a4a72c194e20a3","datavalue":{"value":{"entity-type":"item","numeric-id":899443,"id":"Q899443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$03155D4B-D37A-4EBD-A2EE-D335DF3F01CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$0B47DD62-B9E2-4634-A14E-050B51E7B6BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$A926CC53-EC0B-4DE6-8179-C8296AEB3F1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1c38db5340c04383b1791c03458c798d747c85","datavalue":{"value":{"time":"+2007-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372203$A8FD0DBA-3777-40E3-AD54-2822FA25F342","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372203$00049EF6-6F71-41B2-9670-88EECA7D1250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372203$8E211A65-461B-4CFD-B36A-636633BFB2A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89808a4314aacc08b9ccfb8efbcebcc2caa20451","datavalue":{"value":"5174350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372203$96A92A33-BCEF-42E2-9D52-9230B9034A82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372203$066FBB60-E3AB-4048-AB07-6CD41C9D4739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0b179d5d3e4af96c9fa62e145e13582e6b4cb8","datavalue":{"value":"objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372203$50FB464C-E467-4177-9233-E83E30489DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372203$ADB3C61A-AE5F-4054-80A5-42354BC2F4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38255a01ff8ffb1fa692e624f7913a6f3083aeee","datavalue":{"value":"ontologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372203$C401D0C5-FA91-485E-B9ED-87155D0DC988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372203$36DBE14D-C8A6-44B9-8B1F-8E5C92A4FEBA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5bf7792417d9e3fd8a6a7d4aef4b6d03fb1480a","datavalue":{"value":{"entity-type":"item","numeric-id":13127,"id":"Q13127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$E4C0B87B-5210-406A-A6DA-C7591CF44626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$B5AC1FCF-FADF-4188-8D2A-D0A244E790D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0829dbe86038ebf166e85d3ffc458cfa18c7a65","datavalue":{"value":{"entity-type":"item","numeric-id":25911,"id":"Q25911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$E2874309-B897-4877-B4BB-5B0B2E54D055","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$8F9FB206-5E19-44FC-A1AE-62B160CFDE8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9118b234b2af1632dc41247ce2756ff4a83a8dc0","datavalue":{"value":"https://doi.org/10.1016/j.jal.2006.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372203$6894F350-278F-42C9-A397-213C7CCCE9BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"162ee606154c899add5b5a5fbe2a326051dc4a26","datavalue":{"value":"W2126260950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372203$6CB9D22C-4144-4623-9D0F-E3D19E753BDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$07D917DF-A936-492B-8EF1-ECA32383D04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$91EF8E39-DF97-42DA-8655-FA59AC24D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$CFBB63D5-9B08-499B-8721-EEBA8BE1725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86119283de15b045d5f7562cf81eeb1967c2ad23","datavalue":{"value":{"entity-type":"item","numeric-id":5464555,"id":"Q5464555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$3A150E4F-B4D1-4F84-9BC0-A8AA203237E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f344c21c94d8af57f2bc09dabadc6414b4b531d","datavalue":{"value":{"entity-type":"item","numeric-id":2734932,"id":"Q2734932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$5F95FB67-C993-49A3-893A-27945CC12D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a84be2ae9c49d42c7fb559f3ea6a8d266cc5879","datavalue":{"value":{"entity-type":"item","numeric-id":5394125,"id":"Q5394125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$8D93C039-81ED-41DC-8BF1-20542CB424B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$7E294BBD-DBAE-4647-A062-D68C370E2CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c7667b0e3af3cd40d17928083c501e3d2c7a15","datavalue":{"value":{"entity-type":"item","numeric-id":5424885,"id":"Q5424885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$B986B70C-AD6E-4D0E-A0A6-A753476B4202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1910b377ac42e096bae487e500284d3b5a4554","datavalue":{"value":{"entity-type":"item","numeric-id":4369882,"id":"Q4369882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$C532D64F-92F6-42F7-875F-6CD5C47BDF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$F50322C6-63B8-4F94-B579-C4B0C731D916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372203$F0C89D69-8CF3-456D-B9F4-B119A489E5E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ca6a2982514891a50e25cb2c10aec8cdb899469","datavalue":{"value":"10.1016/J.JAL.2006.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372203$1909EA12-455E-4307-9D24-DEA1471D88BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c35f9238824d3da281cfefdf0fb4cd696abab2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30697a35ff609bd284d415ddce82256ba6e2402","datavalue":{"value":{"amount":"+0.8325649499893188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2372203$2E1F4554-3BF1-4A18-B949-FC9A22309A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dead432fdf3fb5dee724731c7e37646e9fbcbe","datavalue":{"value":{"entity-type":"item","numeric-id":4800169,"id":"Q4800169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99e8f90cbd3be6d1df11b63fda89f745e0dbf7e","datavalue":{"value":{"amount":"+0.7896550297737122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2372203$2F79CA94-5AAE-4C8F-A79D-82CF6835D040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89927668b434b3b959592983b72cd03b824d017d","datavalue":{"value":{"entity-type":"item","numeric-id":4707748,"id":"Q4707748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132dba402b73b020720936a4cdaca46c44817e2e","datavalue":{"value":{"amount":"+0.7757827639579773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2372203$4479CA62-840B-4103-B799-0476B082F4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c682b1c579c7c86377f1307e20865d5bfe61525","datavalue":{"value":{"entity-type":"item","numeric-id":5424884,"id":"Q5424884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a88f05ddafe2d9eb0e140d059776ece1f9d2d47","datavalue":{"value":{"amount":"+0.7736555337905884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2372203$ACE41E18-91A3-410A-B6DC-44C0E3677111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47365646579aeb40781673d23ffadd33951f4fef","datavalue":{"value":{"entity-type":"item","numeric-id":5480653,"id":"Q5480653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409f34368551e0c9617203b603579536f0014bb1","datavalue":{"value":{"amount":"+0.7724111080169678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2372203$5C26ECE3-E02D-437E-B59B-4A1E7E64C8BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2372203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2372203"}}}}}