{"entities":{"Q472794":{"pageid":474561,"ns":120,"title":"Item:Q472794","lastrevid":62086467,"modified":"2026-04-11T03:40:51Z","type":"item","id":"Q472794","labels":{"en":{"language":"en","value":"Temporal logics for concurrent recursive programs: satisfiability and model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371450"}},"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":"Q472794$85E4C761-D88C-4E37-8A04-7CB7F4537A6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"767287744f85233eaa07d61bddec01a048741445","datavalue":{"value":{"text":"Temporal logics for concurrent recursive programs: satisfiability and model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472794$B053FB87-42B8-48C3-AF8D-9D2296BB8480","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ad79f48a22c3c4db65b27a376869680eee95bca","datavalue":{"value":"1310.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$9CD78550-1E8A-474E-9C3D-FBA40F71624F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$23F56B97-122B-4412-8534-450BB4AFE651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"779331bd55b2a0da146c8a2d7ee46a3c6f3f0863","datavalue":{"value":{"entity-type":"item","numeric-id":472792,"id":"Q472792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$9DE2F706-0122-4E54-B3AE-9548C1BDF76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$FFA51CAF-6C6E-4047-BD00-90BF5EC173EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$469CE37D-3888-4EDD-846E-C03006CEFB4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$07864079-74F9-4812-BEEE-75426ED0690A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3de48e2e76c851f8e0c9de42930ee2e3fddbb57","datavalue":{"value":{"time":"+2014-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472794$31C3FD9B-81C5-43DD-AFAD-394FE72718FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$8B2F4753-C7FB-49E4-A400-6E6D3D01928D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$5123EB97-8FB5-4176-ABA0-88460E261B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$53289A35-A7DC-4D8F-AFFD-00A6F2C65183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$6EFA2F47-81A4-452B-AE94-5653F58541A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc7c88ecbe67c8cf4d29ff7f4abe5ef54a3a2bf5","datavalue":{"value":"6371450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$B27BE1A7-8111-4278-90C3-931173C15AFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q472794$E11859A1-2360-4459-958E-9EF607CEBB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47cd86f4deb8729edcb03776a1548fdf622794ac","datavalue":{"value":"concurrent recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q472794$26F194F1-CC25-49EF-852E-1B031C558CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7333d837edd5028ddb936980bcbdd6b18f7d12","datavalue":{"value":"nested words","type":"string"},"datatype":"string"},"type":"statement","id":"Q472794$604AE6F8-1D41-47E8-B632-34DBF3D34FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q472794$18C498EA-98C2-4D52-868F-20822405169F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q472794$843EAFE3-C994-4E57-ACDE-A9E3569CEEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q472794$2DCABF41-05AB-44EC-B039-E3A74D29DD79","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":"Q472794$1B81E9C0-7DBA-4B7E-A342-BE734D70BD4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c459e581d86fc7b4018ff6fc47a257930f9155f","datavalue":{"value":"https://doi.org/10.1016/j.jal.2014.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q472794$10BE8147-7B49-4462-A723-524BEDEC1BBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e83c624c7fae3f9f4fdfed55624bec6b034e232","datavalue":{"value":"W2082577494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$C6D11E8C-2D04-4560-8425-9A55FBFB489A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$718223BD-2F9D-46D7-A375-154773B36113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$9D84C038-27DD-4C09-A940-A5A35E8152C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$7316F45D-20D7-44FB-9CF6-367BC1D1C434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$A40DEA7D-C390-4463-91FC-F52CEBB48F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1798a40b142fd29eaea896aff9a22a0ad2a71c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2908851,"id":"Q2908851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$47020664-5428-40E6-8660-E5D604590BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd11e93c75529377db826ac87ba05a72812a48a5","datavalue":{"value":{"entity-type":"item","numeric-id":3533004,"id":"Q3533004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$EE4BC302-339B-42F5-B487-7C9F4C0A8AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42ca104bf98dce40fc9a27c1ba9e302c14731e7","datavalue":{"value":{"entity-type":"item","numeric-id":3617744,"id":"Q3617744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$68A18235-83A3-4604-A74B-FC639811331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e805f4099ea4645d02195689f6d27be17348563a","datavalue":{"value":{"entity-type":"item","numeric-id":2786133,"id":"Q2786133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$E1C794E0-7AC8-41E4-9CD9-0F446DCA12C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dc300ce19797e6bc158b65168abacbba354779","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$E75EF74F-143E-408A-9FFA-52FFDD8C4CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$746002DD-E682-4BF5-B889-C8BDFFC55850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74374a8fe3637c3aa0bd4d13c222f64d3f91ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":5687660,"id":"Q5687660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$E28A5736-AB19-4DC6-90D6-B279AFD33C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$EBBE4164-C07B-4459-B928-3051FF702433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c83bf274f93d861a5c0c6834d01ddb129bcbf","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$13A73CAD-3CD1-495D-A54A-35E5627B9626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f197043e5a9529035dd227221543a67c32359c9","datavalue":{"value":{"entity-type":"item","numeric-id":3000607,"id":"Q3000607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$5A2E653A-5CE5-417F-84E2-1ED197595468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5be2cfdc456062ac293d666a4fb2ca8a6ad452","datavalue":{"value":{"entity-type":"item","numeric-id":859824,"id":"Q859824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$3871663C-ECBE-47D2-BF85-5C8AFFE13795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$2CB5C65F-835B-4C1C-A157-4595512C26F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5267a6253867a8850f88301d5f8f0ed3681b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5900568,"id":"Q5900568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$2424F5D4-3023-4061-9EC5-2BD8BDEA8733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db41e90e6fa9dabf9ce1e5e30266e541160d62","datavalue":{"value":{"entity-type":"item","numeric-id":988553,"id":"Q988553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$5B5A57F0-76C3-42A4-B680-9480CFE5637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2672b0830d5a9aa5ce8286af79493607f8128982","datavalue":{"value":{"entity-type":"item","numeric-id":3616354,"id":"Q3616354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$A9A64B2D-82BE-41B6-939F-7FE1FE1E73DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21421521ce0dc9c3e052bb8dc5b74ac8dd2e20e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$348A0D33-AF2F-48EB-9F49-10AF80C67BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$14D9F559-D126-44E3-967D-98CD334B65EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e6ea50c0aa72100793b570cf775fb9f02d2be4","datavalue":{"value":{"entity-type":"item","numeric-id":5486241,"id":"Q5486241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$699C0232-BF7A-448A-851B-A2C22CCBBB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681237120173c6d7ddd08d2b165212bcd195c39","datavalue":{"value":{"entity-type":"item","numeric-id":5310661,"id":"Q5310661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$35220C28-32AC-4468-B77A-75477E7EF9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cea71c6aacfcb4cc8bc4d70a2c543dbb0d272","datavalue":{"value":{"entity-type":"item","numeric-id":5408550,"id":"Q5408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$5395232A-A25D-475D-9CC0-53728AD993DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4062c3392b3f94661e8cd97eb185cd81a6a0bf74","datavalue":{"value":{"entity-type":"item","numeric-id":5891071,"id":"Q5891071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$CBBFA423-724F-4B7A-8B37-D7C5D27B1A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$FB13C098-1CB7-45C9-8D39-9B381878A08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$6C3CAF42-F802-4B1A-94FE-00682E07A320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fce396657662d76f5dac0f33566dbff096a660","datavalue":{"value":{"entity-type":"item","numeric-id":3740223,"id":"Q3740223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$23CCF523-F2DE-48F1-ACCB-743470935EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$9AEB3131-B426-416E-A088-D627FE1E7A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472794$501E2AAF-0014-4187-A447-294152FE3FEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f2b6d20e35cb860b254ffe250bae25fe2e0dfbc","datavalue":{"value":"10.1016/J.JAL.2014.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472794$C37E058F-0FB7-4C66-A2BA-4483F04907C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455eff5655d25768f845d720778c71989e77003a","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee24c02a10b4b6c88b9d5ef682e9ecd2d1c5a31","datavalue":{"value":{"amount":"+0.999992847442627","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":"Q472794$E07FF28B-5E16-4F8F-A992-3D6D842ED3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e68076c0dfd4e93216c790c930db9d3b8521cf6","datavalue":{"value":{"entity-type":"item","numeric-id":2915173,"id":"Q2915173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95096d5966d0478be0d05f84c86db1623d1f12d","datavalue":{"value":{"amount":"+0.8589587211608887","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":"Q472794$E2C871D4-ADDA-48D5-916F-9D998A9F7854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf302a2b2fe499cec9fb21cac8ae3a4ba44ef33","datavalue":{"value":{"entity-type":"item","numeric-id":2922037,"id":"Q2922037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40f48cafd6fc643805d29ec00650e6ebbc18347","datavalue":{"value":{"amount":"+0.8400512337684631","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":"Q472794$7968CB2B-FA8B-4258-AD85-19DD9AF89D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad492fc4626cc547a2b95164de5e1990eb50b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2398213,"id":"Q2398213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c34f892d87da193b536c27ce78f9020b0573ad","datavalue":{"value":{"amount":"+0.8356596827507019","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":"Q472794$FFFCBFB1-1743-4AF2-9DD3-5B34CE94EE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b05beb9f1c74c70fbe8d60045097fab894cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5271053,"id":"Q5271053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a142e028d487bb8b4940f67cb11fac7c71543913","datavalue":{"value":{"amount":"+0.8297960162162781","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":"Q472794$FCF878FE-AFB3-42C1-89C3-CAD50D30DF8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logics for concurrent recursive programs: satisfiability and model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_logics_for_concurrent_recursive_programs:_satisfiability_and_model_checking"}}}}}