{"entities":{"Q5705948":{"pageid":7735502,"ns":120,"title":"Item:Q5705948","lastrevid":48590758,"modified":"2026-01-05T07:54:00Z","type":"item","id":"Q5705948","labels":{"en":{"language":"en","value":"Logic for Programming, Artificial Intelligence, and Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2227680"}},"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":"Q5705948$43D4C57B-23FC-406E-908C-9C0F4DCD17DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66dda1e339c565f76839548b5c384b85a04b7da0","datavalue":{"value":{"text":"Logic for Programming, Artificial Intelligence, and Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5705948$AEA0628D-0EEC-43FB-ADFA-935F821296B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc70069f98339ebcba0b32c5fcfd26e9409772ea","datavalue":{"value":"1108.03306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705948$F0191026-B8DF-479E-AB06-E990A74277DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074078083999eb2320072e56cab4f2dec33ed967","datavalue":{"value":{"entity-type":"item","numeric-id":2346823,"id":"Q2346823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5705948$4227E74A-A397-4C27-AA34-F281492639D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7c5ae506eb8411e23825d0ef2e8772007b32369","datavalue":{"value":{"entity-type":"item","numeric-id":1062766,"id":"Q1062766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5705948$313C717E-A13C-4DB4-B73F-064A1F13E0CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5705948$330CA03D-8BE4-4488-860E-CC9F40F62EFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7504496f9cd86e8ea3172be7e26b0a8b93a95b96","datavalue":{"value":{"time":"+2005-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5705948$0729693A-E47B-41C2-8DF9-22AD02F4AAD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705948$62D121C6-7255-4C4D-A3B9-EBF3CF467E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705948$4304105D-FA42-4EB3-980E-7B730F4D723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705948$50E9F3D5-904A-4647-A22D-6BAB51F9AB11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a23a3fe422916a4255b9abc131005da43701c892","datavalue":{"value":"2227680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705948$4D0912EC-921A-4936-BA1F-BAA6A625B8FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705948$5094F832-4993-4CEB-945F-7D1179985B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705948$B05922FB-D43D-433E-85F5-1B3E393F9ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705948$7987F248-8065-4F2C-980D-531602040CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee72a1b24e6e892e72761de3a64781267ea5d944","datavalue":{"value":"proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705948$3A04F1EC-C4F2-42E2-81DD-ABA0A1B415D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705948$433E0F5B-04A4-4535-9BEF-FFF22B44107F","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":"Q5705948$DFE0C229-E84A-4754-A9E9-D9FC1A3735E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bf7529d9e69b1eeb48f22b871b72b8984ed8fbe","datavalue":{"value":"https://doi.org/10.1007/b106931","type":"string"},"datatype":"url"},"type":"statement","id":"Q5705948$FC820F44-59A3-48D9-A066-B9D1AF215708","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ab10f068e1dd29b7ed24eb99b8a1dc208d037ec","datavalue":{"value":"W4206255911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705948$BA79CC75-EACE-4D77-A25D-87DD32A58711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac2ed6e76a8a5b01314572c93279793f3ec6d49","datavalue":{"value":"10.1007/B106931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705948$81887781-9B8E-41DB-9B34-2C2E4FE29514","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9268dd06845e00075de3e80191ac096a16c77d1","datavalue":{"value":{"entity-type":"item","numeric-id":1606116,"id":"Q1606116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35430804bce7df852776256114ff1ac3cc6c157","datavalue":{"value":{"amount":"+0.8548139333724976","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":"Q5705948$63DA8483-9668-4066-8683-370BD6F441F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26638a2dc1847797d44ccec79ea0876ae21cf485","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d67302971256f211186f9fb7d6f423dff44b617","datavalue":{"value":{"amount":"+0.8044146299362183","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":"Q5705948$EB2B00E9-402B-44EF-8EC6-87A60E78F0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa95b29332657f3434f87150235e83c1199fef6","datavalue":{"value":{"entity-type":"item","numeric-id":3455770,"id":"Q3455770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f89d013a39518ec3049cfaac10ae297479e71d","datavalue":{"value":{"amount":"+0.7889622449874878","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":"Q5705948$5B93EFF7-1275-4A61-8282-230327B85F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625175a9e6fa85f98769452b1e0dafbf68739440","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0bd5decc3a32d59a1a95499f47988f0898e23a","datavalue":{"value":{"amount":"+0.7884425520896912","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":"Q5705948$F997E3FE-31AE-48FE-B1E7-C3E7D50AB71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c83f26b31df3ffae642a2f1a31d26b1db3268","datavalue":{"value":{"entity-type":"item","numeric-id":4632296,"id":"Q4632296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46821ec1015a69496b2f7260d912c35697d59863","datavalue":{"value":{"amount":"+0.7797591090202332","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":"Q5705948$0B048465-EB21-40D9-A376-16AEE6A81F60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5705948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5705948"}}}}}