{"entities":{"Q714879":{"pageid":716728,"ns":120,"title":"Item:Q714879","lastrevid":63830034,"modified":"2026-04-11T15:50:16Z","type":"item","id":"Q714879","labels":{"en":{"language":"en","value":"Encapsulating deontic and branching time specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093074"}},"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":"Q714879$59599DA7-F371-4924-9B9E-DA6A5361353F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c42dc1d845272fbcb4fb4d70b7a4cc84050605a","datavalue":{"value":{"text":"Encapsulating deontic and branching time specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714879$8DA8A99D-1FF7-4ED9-8437-C89274392F06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b19425e4c5343f5398238b02532bcbcc4f9aa2aa","datavalue":{"value":"1279.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714879$4B703590-6B25-402A-9CF2-5325CE2DDF80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$E71BAD4E-F356-4D7B-9F5B-E683ACE411E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$9E4F0DD2-B913-4588-81BE-204D8F386A04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$25D8E325-A13A-4082-AD00-1F3C1380C5CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-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":"Q714879$2C855F88-DEF3-471F-B81B-201D3F7CD295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714879$452F37D3-43BD-4A38-BDB5-5B221F71EDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714879$2A0B5148-2B7E-460D-8255-570A9D2D72CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714879$06B9F97E-1C75-4E58-AADF-4D7A7B301AB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08b3aa420ddde7fa5054fd66bdbd9cae2764e6ce","datavalue":{"value":"6093074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714879$DB23A6E4-BB21-4DBA-B393-6780F8C30CA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q714879$31D99DC9-C9D7-478D-802F-6640FBF73684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q714879$8DE4BE1F-6501-4162-85DB-A29EB746320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q714879$441A1FEB-DB78-4508-BF81-3960EE16DC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q714879$11CAB4F5-F572-42F8-A14B-4CAB71F14BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q714879$D1E6D09F-283A-4B9F-988D-14D3ED998F3A","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":"Q714879$1D1E64D7-1A15-45CA-8616-AB0799DE925A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d19346c59f0371da9bebdbbc4615896d1ef9b3b3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.12.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q714879$6878762A-8AFB-43E1-B1CB-F8D918E1CF96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76fb6bb87488ee59c03978f0cffd79427756fba4","datavalue":{"value":"W2027573831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714879$F03A6B5F-B29F-4DFD-8E80-78775B5BBEA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$EF62C934-27C0-45B7-B630-AFBCF6CAA4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$E285843C-A349-4DF2-87EF-B5DE566C90A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4413362734a60c702bb0780829a6df7368a39a43","datavalue":{"value":{"entity-type":"item","numeric-id":4343991,"id":"Q4343991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$2D3AB789-47BE-47CF-9245-6AF0EFB383F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11039108a3bc0c7fffc97304db9d5fed280c1c69","datavalue":{"value":{"entity-type":"item","numeric-id":846527,"id":"Q846527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$92E42B23-707F-4EEA-BEF9-9A72FC0F4A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f204b6e6f62f604a0c22b5f8c4c80ffbea8bfab9","datavalue":{"value":{"entity-type":"item","numeric-id":3585056,"id":"Q3585056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$FA31544C-E87F-432B-99FC-F1B5662380F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$1BAB49E9-4A3E-4AD0-8442-F151CD68F021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af928acf08b68528adb4596e9ec25b92fb56f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1192604,"id":"Q1192604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$86BAC922-74FF-4C5C-9FE3-1960AFE4EB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbaa5b9558153792b6ffc0e73ad2045dc0baf80b","datavalue":{"value":{"entity-type":"item","numeric-id":1922823,"id":"Q1922823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$475FE1BF-45C1-4CDE-96B5-C12ED917E746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833161313161c3723ccbbc15c3a12d4e69a54f46","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$C2BE648C-AC74-4201-B5D5-24062BC4FD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533b2bc04d6033c9636f1b8a0113dc5a63f8746","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$F3C138FB-C0A0-4123-871C-97BD88320A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$5A484C8B-A616-4971-AC14-BC1C29B89833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b07300338fa589e0d13797c392f9165b28e0bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4430407,"id":"Q4430407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$26C5CA5A-C3EA-4FBC-98C6-422A87DF2439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852d4b1b71410cb7a7f7b21a99c93090456f9524","datavalue":{"value":{"entity-type":"item","numeric-id":3522041,"id":"Q3522041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$58B21432-1EE5-48A4-A1DF-DD84044EB2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$547BC67C-CD50-4F7C-A50B-33890E9438C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$B74738F9-67D2-45E7-89BE-CB1B31B311BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$B16F52BD-15BD-4C55-928F-B354B33C9D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a27ea9c6097e6dfed4ead51e72029fd24f7d35","datavalue":{"value":{"entity-type":"item","numeric-id":4518414,"id":"Q4518414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$E36EDF73-26A9-4794-BEDF-B0D4AE51B4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$2E08A449-DC72-4E62-9325-0154AA8D3CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf18edb37f2082a746fe6669bb13e001314c8a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3824395,"id":"Q3824395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$991C0E00-AAE5-4810-B025-2B2A9576CCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945b569cb2b5d0341f9462d371c087963dc779f6","datavalue":{"value":{"entity-type":"item","numeric-id":3411966,"id":"Q3411966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$3CF7B50D-AC3E-4CCA-9030-1EAB3D4EA3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$7CF3E9E3-2FCE-48E4-AD55-9FA59017EC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e194e4f0fc9edf3456d8d3403662e4d2028b7172","datavalue":{"value":{"entity-type":"item","numeric-id":3529365,"id":"Q3529365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$5CA54DC1-C8BA-4A70-9053-D45247361866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406e4a36af46492cadbba3b926ea2de47e55de99","datavalue":{"value":{"entity-type":"item","numeric-id":3612491,"id":"Q3612491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$6FEB6C02-1E0D-431C-A7D1-96FEF89B4E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$9A265664-AF5B-4A14-A61A-C610CEC3458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185699a6442c395c0dc5c871eedf78d99a845ad","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$524A00AC-0227-450E-88D7-57DE485E9B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$10EB5191-5A59-4FD4-9FA6-1F30642554B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031cfcfd4fea3f8a3fe578c9daadfe0870bc4023","datavalue":{"value":{"entity-type":"item","numeric-id":4473719,"id":"Q4473719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$C1EA3EA4-B8F0-4BA7-B9EA-2A1022430FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140e5ebc6bc3732e543c1f5ace19df76e24476d1","datavalue":{"value":{"entity-type":"item","numeric-id":3160259,"id":"Q3160259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$5EA2D380-D387-4135-99A2-15361F8F5F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$93072907-2ED3-4B61-A064-747117DB18AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$B296E2BC-3D88-4CDB-AC3F-501AD3A12775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$EE4371CB-B534-4C4C-BBB9-B92FE4404B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72429febf3d2eef9c3723165f7c6427cfa1f6627","datavalue":{"value":{"entity-type":"item","numeric-id":3028984,"id":"Q3028984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$18DA6E45-62A9-43E4-90C1-A20180ACE4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b100f22dc7bcd734a5e00b20003f111871444130","datavalue":{"value":{"entity-type":"item","numeric-id":1330423,"id":"Q1330423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$9105AEDC-EBA6-4CBA-8BF8-DCE2C4973559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c60cd2a547f5bc571d8b2f3dd4c64ca607fbca","datavalue":{"value":{"entity-type":"item","numeric-id":3942378,"id":"Q3942378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714879$66ADED0F-E634-4D40-9750-F14E1ED9B19F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537ed8d55e4b88fd3392a8ddada77c969d420aaa","datavalue":{"value":"10.1016/J.TCS.2011.12.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714879$B334EB2C-3AF6-4428-B385-76FCE4291A9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d67742d57018d71cceb859f2919c3c54dd52c6","datavalue":{"value":{"entity-type":"item","numeric-id":3585056,"id":"Q3585056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f774ff4d73dfc5b78ed627ac189ecc7baae63ca7","datavalue":{"value":{"amount":"+0.8611233830451965","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":"Q714879$8E794D4D-C021-4C5C-96A4-59378B58D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b78d86dd664c9236fdfcb60831e073d09504cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3356299,"id":"Q3356299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7e75e280f37438f1d244591ffbad496744c69d","datavalue":{"value":{"amount":"+0.7261455059051514","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":"Q714879$7341DC49-1C1D-40AD-9F36-3D2412E48335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4759bad22265a3d95e0f3dc14bc958b0a2fda87","datavalue":{"value":{"entity-type":"item","numeric-id":1192604,"id":"Q1192604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e59b0cce338a62cbe4e2f725b87228ee73fee57","datavalue":{"value":{"amount":"+0.7145748734474182","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":"Q714879$E76C8405-1414-4CB8-95F3-728942078317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b05de137f3b926136982958b1ca99722a1ca7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b37f28e215d7235c5d1ee338d93396f8368821","datavalue":{"value":{"amount":"+0.7135946750640869","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":"Q714879$00F0546D-752B-4662-973C-27EEB1F00F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0e7989e440cde595e30a5014c8627cb01c6acf","datavalue":{"value":{"entity-type":"item","numeric-id":5166687,"id":"Q5166687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2cb6fa2fb15945d111cff1d8ad06776e4976295","datavalue":{"value":{"amount":"+0.7060244679450989","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":"Q714879$F136363D-823D-4134-89EC-AD3EC21A4E95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encapsulating deontic and branching time specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encapsulating_deontic_and_branching_time_specifications"}}}}}