{"entities":{"Q5121267":{"pageid":7150841,"ns":120,"title":"Item:Q5121267","lastrevid":94312463,"modified":"2026-06-05T06:29:29Z","type":"item","id":"Q5121267","labels":{"en":{"language":"en","value":"A First-order Logic for Reasoning about Knowledge and Probability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7246545"}},"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":"Q5121267$B15269A1-4201-4888-BA02-2D2E9F3D1FA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71cdc9ba60e92f9e343e4ffeb80975e2164e14b0","datavalue":{"value":{"text":"A First-order Logic for Reasoning about Knowledge and Probability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5121267$DC55BA6F-B84D-4019-8D8A-CDFD171D28EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adf5d128f913beb6e59908c8658526e40f7e2eae","datavalue":{"value":"1446.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$EBDFB3D0-836B-4C46-8543-D92BD25E613B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3d76a8a41d7748dc9e49e63fdd237fe795aa769","datavalue":{"value":"10.1145/3359752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$C715D441-08F2-4C6F-A888-1003D29EFEB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3224d891918e8da71c3b6d44f5ddd6def75c08fe","datavalue":{"value":{"entity-type":"item","numeric-id":1793778,"id":"Q1793778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121267$F3CC4F39-1765-4E16-A314-C46259232398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0bda7cdf92664a4bee0c3f7686e4c4dfbc6bfe","datavalue":{"value":{"entity-type":"item","numeric-id":991001,"id":"Q991001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121267$0E96928C-445D-476A-8854-B402910792CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121267$9EA301A0-DC27-474D-A2A2-B691833AC6A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121267$DBC340D1-A4DA-4BDE-91DC-F5935067F15D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e7f9373818ac2c3374d4c29cd76a7b411d60b6","datavalue":{"value":{"time":"+2020-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5121267$7242DBEE-E02C-45A9-B946-676C5677516C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"094afe6a0fc60fdfd0b11c2af053a03b9f468e94","datavalue":{"value":"https://arxiv.org/abs/1901.06886","type":"string"},"datatype":"url"},"type":"statement","id":"Q5121267$F73E7DB4-FF56-4B8C-BF99-93547DD85165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$C6818022-FD13-4125-9379-1954286180C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$427FBFD5-F817-4196-B013-179A868BCFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$4C261A5A-827D-4856-92D5-EE55A885C031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$E3A7B6E1-2311-4017-8864-C534C8608717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17b3f836d19c3cdadc00fb893168456609eaeabd","datavalue":{"value":"7246545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$FCE0C78F-8899-472A-B89C-D03292CE5F62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bdb5f09318c41bc742b951fef8d913a2c2577e5","datavalue":{"value":"probabilistic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121267$99B1B870-0E79-4C7B-B807-EF4068CAABC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931cfccc790cdb98bf3c09e70e28194797eb6b68","datavalue":{"value":"coordinated actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121267$13A9B273-0C56-4950-A0C5-6F319A8B3991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e27e95d006c3a4947c0a66375c82b03637e6e5","datavalue":{"value":"infinite number of agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121267$D93F9312-24AE-487A-809F-0E6F49E2194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489d1f7081d7a162ac4695c48ed06e15aed6896a","datavalue":{"value":"probabilistic common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121267$CA799FC6-F5DC-4875-BF81-52125672F573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121267$6FAEAF09-E7F9-4B14-A531-C8486EECA47A","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":"Q5121267$1A3EF1E9-A136-474C-A10E-B5932D60C11C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e61972dc2f3414584e72aba5e179e39c822419a7","datavalue":{"value":"W3005452357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$804489B2-7FB9-4EF3-B4FB-46EF3CE13BEB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"356502fbc76b3759eb78ad9e6e1f2318c4ea82b5","datavalue":{"value":"Q130834590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121267$43FCB5DA-B5C1-445C-8F27-19A4D80AD8D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea9867ad70dcf03d2635550f807cce5837408d8","datavalue":{"value":{"entity-type":"item","numeric-id":2903758,"id":"Q2903758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78416d16976623637593e751b4fac2e6475caf6d","datavalue":{"value":{"amount":"+0.9366462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$5A5ABCCF-49FE-4DBF-B6F4-A1647F2579C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d641df1283e86baf7eaabae3882b133d5a054b80","datavalue":{"value":{"entity-type":"item","numeric-id":1583250,"id":"Q1583250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379f17ee3203c18dc51c6155bf5c27d36e7d86c4","datavalue":{"value":{"amount":"+0.93537474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$B8C6DB6C-44A7-4C1A-92C7-844A067EA702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7028ba4391d9728cf20ebe04f881335a67c57a82","datavalue":{"value":{"entity-type":"item","numeric-id":2401898,"id":"Q2401898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2831d1474ed3d85874ace3f19905e020222da6aa","datavalue":{"value":{"amount":"+0.93302727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$F1E1BC80-702F-43E7-BD08-9602792A2D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc195fe7857c46a19c8579b6318da3440476a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":6173573,"id":"Q6173573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b87a83b0aa313f97315e2d0eba0c3a9123e3d21","datavalue":{"value":{"amount":"+0.9304769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$E7D7DFC5-7CD1-4ADE-9E23-CE9B6B682E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90192cf484dd9ee1f68d411272831f2e1789377","datavalue":{"value":{"entity-type":"item","numeric-id":5172139,"id":"Q5172139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268bbb94c4267428ea7dd048d7a4878305587662","datavalue":{"value":{"amount":"+0.91437244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$AA8316DB-AB3C-47FF-ABA9-893CC5DFFAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feedeae8e8b7dcd5a596c16b74864daf86e1cea9","datavalue":{"value":{"entity-type":"item","numeric-id":5740451,"id":"Q5740451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bf7be24e833cf43ba9616cfb2b4a8d6bbda7bf","datavalue":{"value":{"amount":"+0.91428214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$47C43902-3A05-45D0-88B3-106A8B36EAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204e4fa18eb30dddc7326210d05b1f9ad5eede81","datavalue":{"value":{"entity-type":"item","numeric-id":2640590,"id":"Q2640590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bf7be24e833cf43ba9616cfb2b4a8d6bbda7bf","datavalue":{"value":{"amount":"+0.91428214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$55F8E3D2-AC89-44A3-9802-8C14FF3A0328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cccf4b618d677b4a695cd61458bb18a1242208","datavalue":{"value":{"entity-type":"item","numeric-id":5326443,"id":"Q5326443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfca13d3b8f3ad7e0801cdea2df2a15ceaaa19b3","datavalue":{"value":{"amount":"+0.91420895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$15795851-83A5-4C9C-B094-0CECBEF6349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c96888f99d5fa423936728cb44bdc041869868","datavalue":{"value":{"entity-type":"item","numeric-id":5751971,"id":"Q5751971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19876b60f02a82f89cd5a2ad321450fb472bf697","datavalue":{"value":{"amount":"+0.91358805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$AC4B1D5A-61AF-46BE-BACB-C6FE98D365DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e687236e936f2938aff7f0f186602e83686164c0","datavalue":{"value":{"entity-type":"item","numeric-id":757340,"id":"Q757340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19876b60f02a82f89cd5a2ad321450fb472bf697","datavalue":{"value":{"amount":"+0.91358805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121267$31B31027-9E12-4405-895E-57D9F37984D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A First-order Logic for Reasoning about Knowledge and Probability","badges":[]}}}}}