{"entities":{"Q3143566":{"pageid":3154282,"ns":120,"title":"Item:Q3143566","lastrevid":58127343,"modified":"2026-04-03T22:20:31Z","type":"item","id":"Q3143566","labels":{"en":{"language":"en","value":"Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6111829"}},"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":"Q3143566$C4753A82-38A7-410A-909E-FFEDD7320291","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d5d925787b829aeb8422a33c41c3a41e3cd8d0","datavalue":{"value":{"text":"Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3143566$92E6FD3B-F688-4AEF-A256-FF81A4E07CBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"280df4c9dc59329baa6a39a011b547b055085d16","datavalue":{"value":"1267.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$B9BC35AB-6239-4076-8433-59A7DE702925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143566$637C9513-64D3-4910-AE02-4AC835EFEE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143566$AF9A7FEE-4204-4862-9239-B65451276980","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143566$9F46CB36-9D6D-42D8-A953-431F1050CD31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fd3ad4961dd3b754cee18b6f99fcca42b4edd99","datavalue":{"value":{"time":"+2012-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3143566$D49EAAEB-E62C-4F41-9524-E2FD892641C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"137c529cec8eb97e9eb504c918e5730013666151","datavalue":{"value":"https://arxiv.org/abs/1401.5849","type":"string"},"datatype":"url"},"type":"statement","id":"Q3143566$9DCCFCF5-0B81-49CC-A984-9C03C01A2F5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$126627DD-DAD7-4C7F-8541-D42CE2FC4EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$0AEF309E-BC8D-4FBC-8FAC-82FEE5FED16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$E8826AE0-1553-45FE-9BEC-C55BBAA0DFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$DA5087BC-2C84-4556-B60D-18AD74837C1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4629d5777a586cad5dab20ef026f70f04dbce214","datavalue":{"value":"6111829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$85A06D9A-8E87-4E77-84CA-FD6F3901E5EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143566$0D5EADCB-D586-4F70-8F9A-DC786CFDE60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143566$69502F40-8863-4662-9886-6E7C9B760EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e48716f7c9c49b18f034cd03a25b8fa61f6719","datavalue":{"value":"multi-agent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143566$ECE9500F-D01D-4428-9369-C6439835BD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1631dec4f73456571d2c47ae7e43e83913d9b6b4","datavalue":{"value":"perfect recall","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143566$59C278C7-BACE-4100-8BD7-9BD941A5BDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59564d38b3975c562e14fb5bcc8c0cf3a56ec130","datavalue":{"value":"synchronicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143566$C1B5B0E9-7E6E-41D3-9EA4-3D70955376C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143566$F83EDB6F-4CA6-4A21-985C-B88B7FCE17BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0e0a8bb02edb64ff5e2bd956950aae36f565a8d","datavalue":{"value":{"entity-type":"item","numeric-id":14572,"id":"Q14572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143566$66063912-8197-4DE3-B73F-A5784B9587BB","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":"Q3143566$22445383-060F-4778-AFDA-A90EEB4DDD54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29c915318a0bca433b7a5973338fdfe417312c3f","datavalue":{"value":"W3105346431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$BF32483B-1FCE-4DA9-AA55-5ECBCB2A01F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"000d4684c759bd56d8f9b6cd106019637cd76a56","datavalue":{"value":"10.1613/JAIR.3547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143566$F624CD28-62C3-4488-9681-582987348ECD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5edead5a873e31ed8fe02d6e9fbe5ef0ea1d3548","datavalue":{"value":{"entity-type":"item","numeric-id":3100161,"id":"Q3100161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cdb7d8098717109b9f85af3c3fa48e5b8b9a3d1","datavalue":{"value":{"amount":"+0.8220861554145813","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":"Q3143566$3DBAD87C-0554-4F5B-948C-22059E6F6F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69302cbec3401ed3b99677951a4fa0109f398027","datavalue":{"value":{"entity-type":"item","numeric-id":3638280,"id":"Q3638280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebca15371bbc9dac9d7e7da7c69f2ee2d5ec035","datavalue":{"value":{"amount":"+0.8220859169960022","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":"Q3143566$CAD48E29-5943-4366-BDF2-013FBC036C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d0fc98f02cc49a1f6f4c6291020110dde684bb","datavalue":{"value":{"entity-type":"item","numeric-id":5121267,"id":"Q5121267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d21f098be231362d8fb5529c8b9f5e5f0255b67","datavalue":{"value":{"amount":"+0.8006265163421631","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":"Q3143566$BA8B2037-233D-436E-8B8D-F9C09B8EACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92c9a55175889d683b7251910df5fd4b78cee83","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5a2600ae5f8a8297df69821c1fc761b73ff956","datavalue":{"value":{"amount":"+0.7965140342712402","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":"Q3143566$2EFAA5F6-C99E-468F-A8AB-408013E49F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1f141266899331162b71df50c2eed08dd9254c","datavalue":{"value":{"entity-type":"item","numeric-id":835839,"id":"Q835839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c67926ba22ee1e36fe03124227efae3b1d2bcbb","datavalue":{"value":{"amount":"+0.7847850918769836","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":"Q3143566$7048D253-33A6-4197-AD6C-E10E80450EBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3143566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3143566"}}}}}