{"entities":{"Q6639612":{"pageid":14250764,"ns":120,"title":"Item:Q6639612","lastrevid":103662656,"modified":"2026-06-06T07:51:34Z","type":"item","id":"Q6639612","labels":{"en":{"language":"en","value":"A probabilistic temporal epistemic logic: decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945599"}},"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":"Q6639612$80E4CD6B-731D-48E4-AA4F-323475A38A24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43cf2ae0b9507708a056637dcef7de120bbd32c5","datavalue":{"value":{"text":"A probabilistic temporal epistemic logic: decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639612$8510CAD3-6383-409B-9B3A-22F6565D8A2C","rank":"normal"}],"P16":[{"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":"Q6639612$49DCA46B-48BD-4E4B-8308-78752F0F0CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae55a7fded231c0b648343b90c79719febf456a4","datavalue":{"value":{"entity-type":"item","numeric-id":2350217,"id":"Q2350217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639612$DDC7A2D6-F8BB-4985-8834-37DC19FF1167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c95639eea9749b2381c312d72fb0dced146c214e","datavalue":{"value":{"entity-type":"item","numeric-id":465581,"id":"Q465581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639612$35BEDB53-5F4E-403B-92CB-57D64E61B33C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639612$52FD05FC-E469-4A60-8D20-7A214F6D353F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639612$C4C36DCD-946B-414D-A263-1D5CFA4DA409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639612$C07E0183-D554-45D9-AAB8-B353831BCB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639612$D31D42DB-EC4E-48B7-99C3-29F9BEE52BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c524d0650dba2607523de7c94ebac48bd4e87a6e","datavalue":{"value":"7945599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639612$FDFD9CD3-6E87-4726-9DB8-B061C84169A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8989ca186a10a4a9a49e8755f1ab039a36e73f4","datavalue":{"value":"temporal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639612$5C698345-29FE-4666-A3ED-5EB7002F6F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017b2d0bd69a338c133b804c97807f9dd2cec4b8","datavalue":{"value":"epistemic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639612$FA782006-CD36-4F0C-9CFC-3C5C5426B242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639612$058D016C-8C94-4749-9725-E72CE51C8CA3","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":"Q6639612$2368748C-3FB0-4F05-853A-A7A06562A7F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d9cfcf5af2445507d21a32339213f0327278711","datavalue":{"value":"10.1093/JIGPAL/JZAC080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639612$4ACAE6A1-84DA-4EA5-84C7-467BE39DC639","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea77b4c1bb55e0624ce32a2460de260e69a4395d","datavalue":{"value":{"entity-type":"item","numeric-id":5034220,"id":"Q5034220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e57993421111ae5426629dc0732c3b684926d4","datavalue":{"value":{"amount":"+0.8411768674850464","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":"Q6639612$115DC169-499B-443F-9AA7-4065BD4E2A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b42ea544a6a916eae626034c4c899ad083bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":5015397,"id":"Q5015397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3b2e26da5b4aeddefe6f00eb725a1d69e0bd28","datavalue":{"value":{"amount":"+0.8374444842338562","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":"Q6639612$CCC0F442-C8BA-45C2-AE88-B7879C7D543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e91de2fddcb91f8af58cf7e03e9f92be715affc","datavalue":{"value":{"amount":"+0.8257260918617249","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":"Q6639612$F306BE92-0CDF-4436-A041-E55ABB6964C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00eb0f6a6e4fefaeacc5130df740812569cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d885ef0c3a2cc985c18e8de7eacccb95a24de5","datavalue":{"value":{"amount":"+0.801480233669281","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":"Q6639612$114D7CB5-C5E2-4F09-8991-9F377FC5E490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd96849f712113a17f3f8f4297dc3a93a7690a14","datavalue":{"value":{"entity-type":"item","numeric-id":4411831,"id":"Q4411831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6330dcb9d5648791c8c6e625743d277f1066778c","datavalue":{"value":{"amount":"+0.8011010885238647","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":"Q6639612$DC72E533-15A3-42F7-BC4E-776AD6602DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A probabilistic temporal epistemic logic: decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_probabilistic_temporal_epistemic_logic:_decidability"}}}}}