{"entities":{"Q4722046":{"pageid":6751623,"ns":120,"title":"Item:Q4722046","lastrevid":49040347,"modified":"2026-01-06T12:32:01Z","type":"item","id":"Q4722046","labels":{"en":{"language":"en","value":"Probabilistic propositional temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993550"}},"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":"Q4722046$7F59982E-42E6-4967-B362-93A58CBC512E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d52809dbe347c2145cf05ff8b3f51b753e37bd","datavalue":{"value":{"text":"Probabilistic propositional temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4722046$2F9523B7-3CE9-4C43-8842-BAD09B3C1684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d9841baa8c39566869b8dbe3b7e06f8509a497e","datavalue":{"value":"0614.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$A53938C1-AF46-4A6F-9AAD-6D1C3A0D9EC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3621f0474788ecca5b2e3ea2c5d701de1e18a401","datavalue":{"value":"10.1016/S0019-9958(86)80001-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$BC4A3DFB-1FAD-4278-904B-12364079BF0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1bf12482695cdef9e154da16db454d5e8e7444","datavalue":{"value":{"entity-type":"item","numeric-id":192152,"id":"Q192152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722046$F79A1984-8FC9-4939-B547-6D5AFEB3603B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05973d4747711a904c4eb354f325fda834906623","datavalue":{"value":{"entity-type":"item","numeric-id":396765,"id":"Q396765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722046$209C3122-44A8-4F48-AE9F-21C512BD69B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722046$0C308933-C3FA-4B82-A520-AFB5634ECC27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4722046$9E05C642-9FD4-4048-A7CD-997097125320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$77F5D603-B4FE-4288-B597-DE77A7133CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$4B221BB9-8C69-49C4-A965-EAFA268E0C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$283FCD37-3A2E-4A81-935F-73BCF23332C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$CE3FACCD-60C5-48C0-97C6-6F81C0A4DA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$72F8531A-435F-48A0-B68D-506594F288CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69fea0cf3b7d16c026e070666ec31be722937d8f","datavalue":{"value":"3993550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722046$C7F2175C-A206-4444-9001-0A9050996A5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ac0205c8aa17f13e3b83dc562c4e881240a669","datavalue":{"value":"propositional probabilistic temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$18B3541C-872A-469D-9C44-C837E90031F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$977F80DF-FAC8-45EC-9D40-F3FCEEFE61B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$2AA03108-9D11-49F9-BAB4-CEF613F7280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$8A09E4A6-A6A8-4358-9C63-84F3981A0561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$AC3CB388-2F34-4A4A-B886-E942671EE8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$17FF80FC-B3AB-47BC-A7B7-988B16A6CD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$51BD067C-1972-43A1-8716-C50EA016330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722046$1A01A021-B60F-4D42-A599-9320F5207CF3","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":"Q4722046$96DF49BA-69BA-4D67-9914-AFBC4BB15110","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f6e6b670f4244b0dcb4acaa1e103fa6105dd02","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33d6543c81fa0cb6934931c4b64e9e9fb6b8382","datavalue":{"value":{"amount":"+0.8621014356613159","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":"Q4722046$688170E4-E3D8-4856-98B4-D690F2A8212A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c68c0a7a0ace9b862d1f8eb3721b003822d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3337452,"id":"Q3337452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706737c9d41d66f371ce3a6029fe981ae0afa8cd","datavalue":{"value":{"amount":"+0.8499202728271484","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":"Q4722046$1EF59DE0-7692-49C1-8101-2182A3F71227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e04830bd7eeb2190b16091b5460ccdc0ad64bdb","datavalue":{"value":{"entity-type":"item","numeric-id":5477458,"id":"Q5477458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139734373e3893c54c6c8a22d55bf80cb695e425","datavalue":{"value":{"amount":"+0.8463206887245178","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":"Q4722046$628337C8-AF02-4444-8CCB-43289240F2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab49dd9b477f3e4628229a95f94a5c17244fc7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3400533,"id":"Q3400533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d421f9707caaf339791de1f1de0d5df1208596a","datavalue":{"value":{"amount":"+0.8410362601280212","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":"Q4722046$7D7E6378-8510-4D81-AC88-56883A3F2A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7de378df360ce9cf5747ddae0cfaf9ef2c52afc","datavalue":{"value":{"amount":"+0.8391896486282349","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":"Q4722046$577AB004-DFA8-4E31-9BFB-16C904BDD677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4722046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4722046"}}}}}