{"entities":{"Q2909171":{"pageid":2919896,"ns":120,"title":"Item:Q2909171","lastrevid":84965315,"modified":"2026-06-03T05:21:40Z","type":"item","id":"Q2909171","labels":{"en":{"language":"en","value":"Correct reasoning about logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073924"}},"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":"Q2909171$EF7B10A5-BAC9-45E5-8A49-2BB2BDE760F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7b54b2c3d815a4f84641385fac0703a9f65ad9a","datavalue":{"value":"1245.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909171$1F9F76D0-3450-4462-90A5-D8A90851B7D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb87e5f61ed01c13ac630e89b0ae066a75abf62d","datavalue":{"value":{"entity-type":"item","numeric-id":2900263,"id":"Q2900263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909171$C59CCE20-4DB6-46C2-9CE3-1C0748CE5EC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909171$8CC2C09B-9810-4CD5-8FA7-8A7A8B2A3183","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a8b1a6d84dca252b7fd727159f7561cf17813f1","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_f82e.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909171$C9D508F9-25EB-4528-9AE1-3E82297731DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909171$C2D8A901-6A73-45FC-961C-366035A687FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909171$095C682F-6168-471E-A36E-356D5E3C2722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909171$BA2D2CB1-816C-4D15-8BFA-61C3B3B5F4F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e24d0ff3371c4eb5c29b95214ed30f5ce5ddd457","datavalue":{"value":"6073924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909171$587A8C69-05AC-4351-88E5-69C2A71BC55E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909171$D62832A1-900E-4DE9-81A8-A26781F62107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909171$43761157-070B-4D02-B6A9-B3CD310AF1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5da0683ef76895d5a187ada0f6b269c50e3cbf","datavalue":{"value":"determinacy inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909171$58661C4A-6B47-4CA4-9927-49A17F92083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909171$CB00FE09-1E7D-4183-B236-609C9731AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909171$3C800A24-DF23-4FF6-80C5-46C3CC793AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909171$A1912003-551C-44C0-B3C2-8F033EC31A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909171$AAAE4E51-0CBD-4542-ACEE-D6507D52B48C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909171$B32BF431-850F-4E60-9E6E-12EADFEA39FA","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":"Q2909171$8597C1D9-E28F-4BA3-AB6D-7FC59F742994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b97bcd8d74b03573e3cd56a6fa1b6c61bc050832","datavalue":{"value":"W2276819882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909171$FF54E2CA-632A-4B01-97D1-9CDBC0B19F2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0e7c427336d37091b62e4f231d4108f9b95ebea","datavalue":{"value":"10.4230/LIPICS.ICLP.2011.280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909171$0B7760AD-7E20-4159-9448-944CCE40EDC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23b6dd6abcb97689b480840b289e91b0f18bbab9","datavalue":{"value":{"text":"Correct reasoning about logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909171$59613E53-E21F-45A0-A4A1-752A6F24ED68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06f72f1e8e2c38c7bb5a02754c5cd381b652cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5316587,"id":"Q5316587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40da69129ffacdf45e52061701ae413e19ed40b3","datavalue":{"value":{"amount":"+0.7852596044540405","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":"Q2909171$DD501BAE-7AC4-4892-8FA9-2C537405DB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1bba629062d2073713cfb388f6fd58b033cde29","datavalue":{"value":{"entity-type":"item","numeric-id":3087441,"id":"Q3087441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bed935a720acbecc6dfaffa702b3cd187dcf6f","datavalue":{"value":{"amount":"+0.743008017539978","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":"Q2909171$CFFBDC95-3C16-4741-8930-5773B2F02F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2987a461206cc454309de15a2136bc859d4f22be","datavalue":{"value":{"entity-type":"item","numeric-id":5449597,"id":"Q5449597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7993f3c94edc9efa6a8ecb5fdb1f96a57b096b1a","datavalue":{"value":{"amount":"+0.7334668040275574","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":"Q2909171$6246BDD5-D211-464F-8B8D-4CD3B04EA622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ce825949ba31d48b0e818e65e5547e8d1bbfd3","datavalue":{"value":{"amount":"+0.7182084918022156","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":"Q2909171$7FEE91D7-35E3-45B1-8D4E-F7FB61065D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cca44cc01e1539f6ea0687a214d7623f8cf8000","datavalue":{"value":{"entity-type":"item","numeric-id":4842537,"id":"Q4842537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5dd54b74a3f3529e20a0d5ecf2bedb75ad626b","datavalue":{"value":{"amount":"+0.7164422273635864","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":"Q2909171$543FBBF1-B4FB-4CE7-9B04-EF7232D2264F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correct reasoning about logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correct_reasoning_about_logic_programs"}}}}}