{"entities":{"Q2372195":{"pageid":2382938,"ns":120,"title":"Item:Q2372195","lastrevid":50135801,"modified":"2026-01-13T06:21:10Z","type":"item","id":"Q2372195","labels":{"en":{"language":"en","value":"Termination of logic programs with imperfect information: applications and query procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174345"}},"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":"Q2372195$8E5166A4-9555-4752-8437-859208709AC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e7f52711df50ebbfa624800c12a32ae78798d71","datavalue":{"value":{"text":"Termination of logic programs with imperfect information: applications and query procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372195$B4F0FC96-B713-49C4-A00E-E19BDB6FA24C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0b30289d2d2b6f9c35fb31c478aa7eeda4b37fe","datavalue":{"value":"1122.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372195$AB835713-4F1C-4D84-8079-2F722F1D5A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92912b8809d69ea158aaeef90469a00fc8c0137","datavalue":{"value":{"entity-type":"item","numeric-id":2248546,"id":"Q2248546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$3C23A4C6-0104-44C5-BC00-DD33CBDA86D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0c180fd3f51e93246005537e8eb49965f626411","datavalue":{"value":{"entity-type":"item","numeric-id":356096,"id":"Q356096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$67D0E810-ECB4-4E34-94F2-F2D85061CA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"043b77db0c51d3789f284af5f275c7a673442b59","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$BCFF6A49-D026-409A-9124-FEBABCB78911","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":"Q2372195$A363A7D4-0E16-40FA-A06B-720E8EE18087","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":"Q2372195$18F1924D-D6EB-4492-B962-9DD123443941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372195$30BCDB4F-B3E0-4A06-A6B1-90A35E364DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372195$D4BE1B5D-34FC-4060-AFA4-DA24A9C42819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c76b6431678be370192e8c72fb413ed9e138c669","datavalue":{"value":"5174345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372195$2A5AD5D4-3DB4-4B1B-8623-0C2A47F6CC8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372195$B3A24B0A-ECAE-4C10-9F88-546927E59003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372195$EDD70DFD-8C5B-43E0-9D49-1C3B93025BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd9da4c6e819b1f037aaeb422cb3b6c93bf2d0be","datavalue":{"value":"fuzzy reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372195$C0467D7D-4F38-4F2B-B1B9-1AA4A6083BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372195$6A2490EF-6FC0-49A6-8DCC-448D887C62D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21bd7f912cb928c4fd515265024b577feea5102","datavalue":{"value":"tabulation proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372195$96B882C7-FF48-4B6F-B6F9-0E00418BFCF0","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":"Q2372195$C2A9A426-6E17-48FB-82E3-19D4BAE3CFA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17cef27b51a601027d53c0276461c30f417ccee1","datavalue":{"value":"https://doi.org/10.1016/j.jal.2006.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372195$D84EC241-4951-46A2-805D-37063031B881","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f790ed9f3b5841a1945c276be6946234dc744b0","datavalue":{"value":"W2036430638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372195$FA0A5D13-5C4F-4C14-A5FE-D35891406116","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"407d09d380b2614ea6c27f206ebaf13b99c65902","datavalue":{"value":"Q58831010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372195$B1B77CC8-936D-477C-A516-7C7B2D43724E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8403c019e2382255c4a83c48f70f7269f881847f","datavalue":{"value":{"entity-type":"item","numeric-id":3125898,"id":"Q3125898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$ACD96F19-1F4D-4950-BA6C-F55B5A33F4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7a69df2b59eea1a6dc9f1deae437eb63cfa882","datavalue":{"value":{"entity-type":"item","numeric-id":4784882,"id":"Q4784882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$45297E69-BA98-40DA-8EE0-E379E6A2ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410de60fabdafe0627475424feafba2e61566cff","datavalue":{"value":{"entity-type":"item","numeric-id":4798022,"id":"Q4798022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$D0EC8B05-4A30-43D4-9868-9D9536487249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91835e7180df074b107f6cd0d74ba421e3be6d55","datavalue":{"value":{"entity-type":"item","numeric-id":1863825,"id":"Q1863825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$8E8D55BC-B57E-4AA4-AD1A-764E79E609D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef993559114afe4e664d3fe96bf3ee0a4aa9eb74","datavalue":{"value":{"entity-type":"item","numeric-id":5394129,"id":"Q5394129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$E5689034-7BB0-4B8C-874A-BBD7577B1461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f912c95da487c98ee75d14e8e948ed40fa4eae","datavalue":{"value":{"entity-type":"item","numeric-id":4949971,"id":"Q4949971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$10CDA23D-E4C9-4948-A76A-BD0107495663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38e1ad0ca9f7830b73c2161d11d023087261c0a","datavalue":{"value":{"entity-type":"item","numeric-id":4798019,"id":"Q4798019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$1C532DD6-042F-46A0-8547-37A2C1B23872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84691c302be98c82cdd112e3a143b816ab8a37e2","datavalue":{"value":{"entity-type":"item","numeric-id":3549126,"id":"Q3549126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$BB02EE2A-2686-49A7-A821-21E6A83BCA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0054df62c742608e8417d48128bea28efd6536","datavalue":{"value":{"entity-type":"item","numeric-id":4798020,"id":"Q4798020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$15A2C358-73BA-46AE-AF7C-672242658550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84cdbb38441942501d51760ab9f206d69c33121","datavalue":{"value":{"entity-type":"item","numeric-id":4893150,"id":"Q4893150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$19C14A0A-CA54-4B2E-88C9-BC53BFE39854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$3327514F-67EB-4F04-BFF0-4DB4898BF789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7515aefb536509400d3a916b3da4e4729552666","datavalue":{"value":{"entity-type":"item","numeric-id":1607217,"id":"Q1607217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$6284598A-363C-4213-BED7-02C72A329EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c5bb45e886e183cf25289a91b08f2e48c3170","datavalue":{"value":{"entity-type":"item","numeric-id":1978007,"id":"Q1978007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$3CFCFF2B-0901-4B97-96D5-C3B9A2627EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae36bf33f496e2b17194be0d1194b79483787f","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$2D6D35BC-1B92-4EA7-ADAF-B551AE4D8108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$39161C68-7985-4751-8830-DF1E3144C96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$C50F183D-4EE1-4076-B48A-CD85CA954A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972b2975685a586606833c920f311fcc44179b37","datavalue":{"value":{"entity-type":"item","numeric-id":6215466,"id":"Q6215466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372195$7D251C76-AF40-4C5E-B78A-8C595E30DFDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc8d96bffe04a1e526b75dc690f20bdbf4b3be1f","datavalue":{"value":"10.1016/J.JAL.2006.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372195$5F18DDF6-BE14-4DBA-8391-606BA06B7331","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1802526874e973915997fbe75ccfb15764a2299","datavalue":{"value":{"entity-type":"item","numeric-id":5394129,"id":"Q5394129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031384f95831ddfde63817cafd17090c70b52a48","datavalue":{"value":{"amount":"+0.9202651977539062","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":"Q2372195$E9837E25-C03A-4030-8419-BEE12B856F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e33058977fc400bff7606a434dbee4612206fc","datavalue":{"value":{"entity-type":"item","numeric-id":4736480,"id":"Q4736480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f154a51b5c7cec27fb39aa7e50c0a9ed636fce0","datavalue":{"value":{"amount":"+0.7708774209022522","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":"Q2372195$553212C5-FB1B-483A-BA7B-11DEE23AC145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6977a016ab51e42a7fdc6367bd2a4a52767f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5738911,"id":"Q5738911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c818a47334b7c410a8ac2f834d797b49bc54cfa0","datavalue":{"value":{"amount":"+0.765633761882782","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":"Q2372195$CC4D5ADA-0A26-4C06-B7E1-AF4CCC07629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52927b34c42b1912cc6a6ace664bfcb513a96ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5712539,"id":"Q5712539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274382f6e2b2a5083008fb5b033bdfadf2c13980","datavalue":{"value":{"amount":"+0.7584717273712158","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":"Q2372195$424BAE7C-8D8F-4AC1-87E6-8ABDC07D0700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510ff608301ddd9705eb6af6329124ec69d95c15","datavalue":{"value":{"entity-type":"item","numeric-id":3648357,"id":"Q3648357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8e69a7a887e21007960cadf0c917208602ed37","datavalue":{"value":{"amount":"+0.7563047409057617","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":"Q2372195$48B075EC-A087-42CB-A6FC-AB53F9317298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2372195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2372195"}}}}}