{"entities":{"Q3569200":{"pageid":5599104,"ns":120,"title":"Item:Q3569200","lastrevid":90315743,"modified":"2026-06-04T19:51:28Z","type":"item","id":"Q3569200","labels":{"en":{"language":"en","value":"Temporal Assertions with Parametrized Propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723337"}},"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":"Q3569200$0DF6E4F9-449C-4474-B79B-559EF40D981A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72e62798ab1af72c5a1b1a161e5776fa87f8446f","datavalue":{"value":{"text":"Temporal Assertions with Parametrized Propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569200$5973628C-128C-4984-883D-E0BC5EBD614E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c7e23988604157337db0d7b89092cdac19c3b69","datavalue":{"value":"1203.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569200$3FB4DD9A-6B64-4087-8425-1D058F25D744","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b123cb8ed588008e378239d988da5831697738d","datavalue":{"value":{"entity-type":"item","numeric-id":338623,"id":"Q338623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569200$760F9137-DA25-48C2-8154-03FE99D57E9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569200$A5AC5105-A5C2-425C-A9EB-48F12E838722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569200$B7685B40-7E9F-4E88-BC2A-9C2E596DCD77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5714a40cb9ac7933962ebfbe9ba58180d53556a","datavalue":{"value":"5723337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569200$1D7B96A1-2ABB-4FEB-A905-DD0D61B245D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef86a1d6deab2a6cb1d94dafbaaa1f072b56787","datavalue":{"value":"run-time verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569200$9349280F-FF6A-4034-98D7-06631C2E47BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d4e53ebf19f37567f138cbde5966876676ed94","datavalue":{"value":"Linear-Time Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569200$68F8F98C-1D76-494A-903E-F7AF26339E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b324ced3932c4f4016ee4bb99edb27f7877534","datavalue":{"value":"alternating binding automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569200$B50FB8F1-B8F9-4420-AC32-5E02570BB3A6","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":"Q3569200$22821107-5BFC-4747-861D-9237CFD9C221","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f3701215fc06f2f93b655d0f9edb29ae3979d48","datavalue":{"value":"https://doi.org/10.1093/logcom/exn078","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569200$3507E8E1-63A2-4274-AE7F-A7993BA67293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c75b8022c3e7ae4b230dc5912b704125b07224e1","datavalue":{"value":"W2128948567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569200$ABF15E18-A89E-4C94-B3B9-556CE7BCDB4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0291bdcac83496ba5172f22033fe823f8813bfd4","datavalue":{"value":"10.1093/LOGCOM/EXN078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569200$056B0EA8-0516-4704-9B66-F7FF9983C7AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cf0f42db929e2170aba75b51484eb0b6b12875","datavalue":{"value":{"entity-type":"item","numeric-id":2987734,"id":"Q2987734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c003c1d8b30eb5190b58a3a7851a987566c5b1","datavalue":{"value":{"amount":"+0.9149552","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":"Q3569200$8BA6BD35-347D-40D1-A922-E7330EBE07DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb67cdd384aa31a8c6533ddb0fa940aceef0fb00","datavalue":{"value":{"amount":"+0.906318","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":"Q3569200$D0DCED88-69B8-46B8-B203-3D7CE55B560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49362bb729c585498bb2f70ad707fb98a2e3adc6","datavalue":{"value":{"entity-type":"item","numeric-id":5044765,"id":"Q5044765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdbce4a1a229e3de1bb2ddf11b29bc6601961c4","datavalue":{"value":{"amount":"+0.90550435","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":"Q3569200$4A8EFF96-E8EB-4670-81D7-DE1CE4547F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125f922c77a32d98ed54d933e1dd21756467fd14","datavalue":{"value":{"entity-type":"item","numeric-id":2389682,"id":"Q2389682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f65d040709442b59fe80a6a166a15177ad28de2","datavalue":{"value":{"amount":"+0.90296054","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":"Q3569200$E74C5BA4-6472-45E7-A05E-1A14174A2FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797b0e52e2192cfd7617dabc9e2ae6b2f50cad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4928457,"id":"Q4928457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0d858efa98a56a48d8c2008653e3230030291c","datavalue":{"value":{"amount":"+0.8993687","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":"Q3569200$6E770068-83E9-4B34-9EE3-E1E93D0728CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791c17629a8a981de48c90080bf4f1266e6d2fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2232279,"id":"Q2232279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717ef161b8ef763daa308c9a9f9ba34b8d759909","datavalue":{"value":{"amount":"+0.8990213","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":"Q3569200$A5398EF7-C195-4B1E-82AC-07A0002EC22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b3d8592bd8f14c79ae3559df382b59c2ff20a2","datavalue":{"value":{"entity-type":"item","numeric-id":3067303,"id":"Q3067303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71adf7cb9320c7b9b343580495aeca4e4682fb8e","datavalue":{"value":{"amount":"+0.8986161","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":"Q3569200$88793C19-CE50-4490-A91C-7EAF2C4FCFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb23eac9fd57382befa301ee0161739fb3b716eb","datavalue":{"value":{"amount":"+0.8983848","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":"Q3569200$67DCC87A-A036-4DC6-8114-50EC294DE523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c84465612bc8f78e9cb4ca52776f8e24da83531","datavalue":{"value":{"entity-type":"item","numeric-id":1944185,"id":"Q1944185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abec9800deeea4f7f4aea3a4774e5b55ebb2b3d","datavalue":{"value":{"amount":"+0.89617854","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":"Q3569200$E7144F1A-0C8C-4529-BFEC-0781408436BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569200$B14A90CE-8A10-4426-AAEE-6904C67D7DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal Assertions with Parametrized Propositions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_Assertions_with_Parametrized_Propositions"}}}}}