{"entities":{"Q5486060":{"pageid":7515620,"ns":120,"title":"Item:Q5486060","lastrevid":49909585,"modified":"2026-01-11T23:11:21Z","type":"item","id":"Q5486060","labels":{"en":{"language":"en","value":"A strong completeness result for a MAS logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051651"}},"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":"Q5486060$10A75172-0352-4841-9595-CC8D6A6E1509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53aa1099d6775f94ac6638fb49db7d436993cd18","datavalue":{"value":"1097.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486060$DD89837B-E4A9-40AC-B0F5-0491639CEAFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486060$F772E9DC-E2AA-4F45-AB99-F5436C5A32FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486060$304641A5-B85D-4913-A39B-62E814BACC5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486060$6382BF47-A6E3-4816-94E0-D5F29E4D31B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486060$C5F55175-C1B2-44DB-943A-7D4735D502D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f489771f737c23ff757d077d43721be60b82fa","datavalue":{"value":"5051651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486060$6484762D-F84A-4024-9CA1-27B548F0C73D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486060$8F23E4BE-E194-4A4B-9409-ED23EEB4181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486060$297713BF-F350-4371-A909-48599F9CAEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486060$FBEB5A04-712C-4040-A839-6648ED5937AA","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":"Q5486060$9DA017AF-1CB8-4048-BDBD-D7E826F626F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62dbed1eda232bf1325b7c5749bd75a66a400f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3527272,"id":"Q3527272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b38551f5b11af47f1f5b960126225b51c5740ba","datavalue":{"value":{"amount":"+0.7478687167167664","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":"Q5486060$F7EB2899-242C-4556-A24A-14E4EF0B3629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419d6cb7e9f1df08f310a9aee2f3dbd031749559","datavalue":{"value":{"amount":"+0.7385329008102417","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":"Q5486060$F93DAB12-C54E-423B-B427-29185879C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bcc89862119ac950d34c0c46d4e07649161bc7","datavalue":{"value":{"entity-type":"item","numeric-id":1633064,"id":"Q1633064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb6dd65a78f275374827c2281ea910ea7a13556","datavalue":{"value":{"amount":"+0.7359272837638855","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":"Q5486060$EECE2241-C1BF-4A0D-857F-C9B531F54791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777354bd61300c5dffda3393cfea4876ba75c52c","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe24ea67cec69d4745dce4e2cecbe6a50194084e","datavalue":{"value":{"amount":"+0.735837996006012","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":"Q5486060$A086A1F6-35CC-4DAE-BE38-4FBB63925AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ff705170fac64ed4e0f9145fe5523616a2f57","datavalue":{"value":{"entity-type":"item","numeric-id":5491896,"id":"Q5491896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8face0079b669a654333a8e1bcea359b735c3eb3","datavalue":{"value":{"amount":"+0.7287556529045105","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":"Q5486060$76F6A61B-B63B-4B30-BC53-32D7BBAF2189","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486060"}}}}}