{"entities":{"Q3179414":{"pageid":3190122,"ns":120,"title":"Item:Q3179414","lastrevid":52706912,"modified":"2026-01-23T07:59:46Z","type":"item","id":"Q3179414","labels":{"en":{"language":"en","value":"Dynamic logic with binders and its application to the development of reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667720"}},"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":"Q3179414$3EF0BA72-5071-4139-A11B-EAD243EB470F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d545df8875fd0beadd2d4748ef39f6caa881cfe","datavalue":{"value":{"text":"Dynamic Logic with Binders and Its Application to the Development of Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179414$D21A4C52-A72A-456B-A4EE-CAE7CE027752","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52af723a087214322c9c240f47b6dfa74b64b1fd","datavalue":{"value":"1482.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179414$D6E661A8-A391-4FC6-8675-8EA606C4ED3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6645058303333628baf28f7724527f640431f36","datavalue":{"value":"10.1007/978-3-319-46750-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179414$5576B1B0-16B4-41E1-A7C7-C58358AC63AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$DA4E1B35-B698-4F50-88E6-AEA0097E5AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$10F29104-6699-4CAC-9A9B-6BD4022303D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3463df273e70fb782bb74b15747c9b61c0881319","datavalue":{"value":{"entity-type":"item","numeric-id":724931,"id":"Q724931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$ABD80646-6127-4D24-92B4-9FE51E738197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$AD1B5016-3BC3-4BFF-8BE4-90ABD65938D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$9A5FF352-2E25-42E5-A00B-D040C7D67B4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179414$6FE087A0-0A10-4FB0-B2B6-62EBBE24ED42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b5ffa129a93f21ad0ecd329367242beb596947d","datavalue":{"value":"http://hdl.handle.net/1822/43346","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179414$5DD27D40-CC19-4662-A95B-4E9B9E1A48AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179414$81679064-D716-4C34-9847-14A669BE42A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179414$55EA6CC2-7B25-4E9E-B7DE-150F7AEDF1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179414$AD21A990-B720-453A-A54C-64FDC7E6F258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0615ff26be0a822de97b7345a22a8b416848ed92","datavalue":{"value":"6667720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179414$F30CD292-958B-4606-9026-B12B844DBD52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$510C8FCD-6EED-4B17-AB28-C7CA0F7DE781","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":"Q3179414$FAFA6728-04EF-4BB0-A8DC-9454EC7483C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9870ca496eb60b9f13e036fc1776fd97bdffea79","datavalue":{"value":"W2523683726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179414$EDEB2694-6A2B-402F-A302-F38B156BD3B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$A5072210-28CE-497F-8DD2-ACA55C13CFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$A310AD17-665B-41A1-958D-A5476DEF9C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$CDE7A604-910E-4CCC-A22D-C2E931A672B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$AD43C93C-A4E4-4A09-ABE2-2075D451D305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$63EBE0C6-611D-41C6-A66C-61ECE645896D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$FE53C7E8-D4FE-49BA-B9C0-01D5F641E490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46f9342109c8c79ac9ef51c3958d8bd0ac1ea1e","datavalue":{"value":{"entity-type":"item","numeric-id":2450647,"id":"Q2450647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$27FBE4F7-B205-47BC-B650-1D2BC9323569","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":"Q3179414$CE40862E-B67A-4B5E-8640-3937A8BF867A","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":"Q3179414$F7D09C61-3161-45E5-B429-4C8D7E5370C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2118a6ce593f8b8efa4f795a66781008f0039f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4518420,"id":"Q4518420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$2B2512F0-8082-4E06-9ED7-4937DEF50E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e016121a20972b54628162e32384a16ea24af92","datavalue":{"value":{"entity-type":"item","numeric-id":2760253,"id":"Q2760253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$E7DAC8E0-981B-4088-B49C-3DB63DA03CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$9DA25D73-B706-436B-98AF-9A7106106DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$19996864-9239-44FC-A738-6C90720DEF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$AF1E0ECC-5A21-44C1-A8DE-866CD5ECFE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$2941469D-18C9-4982-89F9-AB429EA1A819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64d4acdfd6fe1c0f7b472b51ec5d77f3c29c06e","datavalue":{"value":{"entity-type":"item","numeric-id":1183594,"id":"Q1183594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$FF294B68-3074-4809-8AD3-8B1D16121739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b677760b11539650c1f09443f483481cdc97a3","datavalue":{"value":{"entity-type":"item","numeric-id":3179414,"id":"Q3179414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$52A63BE9-B95D-4302-AE71-060FC5673F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$FE082945-9234-43E8-95C3-EF0F6B113DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5768415608cc7312d194d7c995b0cc8ab74a8a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2890337,"id":"Q2890337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$22283DE2-E71D-4FBB-B8C1-A5C9572F0469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$F2A4B398-FD65-4331-8FA0-31676CA72717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447925236d6fa2fa96ae6f5f44bf9565bc2da05f","datavalue":{"value":{"entity-type":"item","numeric-id":2368940,"id":"Q2368940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$BBD688B6-0A44-4613-A37F-E9F86533AB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$61CA6F8A-F99C-4BF8-8F46-F7B8E622B458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$DE67F648-22C0-4C8E-90D8-FAC6E692BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74da45333d692773356bc760d71547d98e182e68","datavalue":{"value":{"entity-type":"item","numeric-id":4229232,"id":"Q4229232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179414$F53FCCF9-829F-4D23-8C68-AF76C8D02D99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870d1c188f1922a94cb407b712f8714dd17e6908","datavalue":{"value":{"entity-type":"item","numeric-id":1786564,"id":"Q1786564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a373496a01c6154da915f5c2c75c7d292de01f","datavalue":{"value":{"amount":"+0.9238524436950684","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":"Q3179414$BE0B312F-1027-4CB2-95B1-A771D7F5038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103376bd038a21837dfdf3903e15dd1c48786414","datavalue":{"value":{"entity-type":"item","numeric-id":5208504,"id":"Q5208504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97af4d4f46520c8ab16cc5e9796bcfc1ea07aed5","datavalue":{"value":{"amount":"+0.7887522578239441","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":"Q3179414$F1E2F655-A776-4819-8B89-EFC547635B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2388b0fb67b0a8d714ed7abadf06a924629a95","datavalue":{"value":{"entity-type":"item","numeric-id":1675787,"id":"Q1675787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c742e856cf16314ec80e649641d6d39cfae88ba7","datavalue":{"value":{"amount":"+0.775336503982544","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":"Q3179414$1AD68AB1-F398-47F6-B9A3-E1B513304889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7c433fcdedabe9377531c17b1e0a8c3e8736c7","datavalue":{"value":{"amount":"+0.7674665451049805","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":"Q3179414$E60944A8-5B7B-4634-809F-21F8F6073FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b2382953ab4f7c2255d42b7d43e5bde4378a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1586168,"id":"Q1586168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77da0d98352136568727db98287f9c4114c2572e","datavalue":{"value":{"amount":"+0.7643031477928162","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":"Q3179414$5E1F47A6-7E53-423C-8D03-88B0C34B0AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179414"}}}}}