{"entities":{"Q1708097":{"pageid":1718838,"ns":120,"title":"Item:Q1708097","lastrevid":56670444,"modified":"2026-03-18T15:21:37Z","type":"item","id":"Q1708097","labels":{"en":{"language":"en","value":"Bisimulation for conditional modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6855865"}},"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":"Q1708097$8EA27908-5640-4CD5-B737-FE39CA0ECED8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05363922285abc54035c6ea5db2103fc6e7a8587","datavalue":{"value":{"text":"Bisimulation for conditional modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708097$DF10A8AF-A1D3-410A-85F8-F3F14114D028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0c87466a82d4d57182e0346838cb889e08d632e","datavalue":{"value":"1437.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$2D150945-A0D2-4892-B90A-F3AF9F61B3CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e87c5933c7d6b93527db68583300635933dbc0","datavalue":{"value":{"entity-type":"item","numeric-id":266637,"id":"Q266637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$EC138C79-13EB-41A0-991F-BEC7CF0AD226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a83529adc77a549803c1016e0dfdb66a303b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1679747,"id":"Q1679747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$9E98BBEC-B03C-489C-AB3A-44DC88109FF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$338BAF72-E9ED-4669-8EAC-B49E421F3ABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8c11379e1af9eecedd8edafb2a17f000cccebf","datavalue":{"value":{"time":"+2018-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708097$C49BDF49-6982-4529-8F5A-EE80A0FF6723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f91cb0c80d69b32706d0b08e0a4c51e821488551","datavalue":{"value":"https://pure.uva.nl/ws/files/22165558/Bisimulation_for_conditional_modalities.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708097$BEE28921-58F2-43C2-9888-9765211EBB7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$634B0B55-E9E6-4EB0-90E5-77D3B5A49DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$F1C47DFA-D098-432F-AD01-D7D13F4399B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"842e5919b93b096a24b61b9e75b124722ead56df","datavalue":{"value":"6855865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$B50C5587-41C6-49E1-AAEB-E5D32E06FEF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708097$E856FC2E-22C7-441E-BF89-04F7C06B7D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708097$774C07D1-FEFA-4EB2-87EA-DC62AB34A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708097$D69C42D3-E2CA-4A2D-A36E-15007F93494C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c49e9793f62cad4aeadd6f73ccdaf894dde68e38","datavalue":{"value":"Q59517350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$3A64D5CB-AA7B-4C54-89A3-6F72130AD263","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":"Q1708097$E039F56F-536C-469B-9CD6-16EEF5ADFADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aea6947c775b8aa56607918baf7aec2be7e44014","datavalue":{"value":"W2612833251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$2006B4A8-86A3-47B2-832F-66B3969C2868","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc39a6e7351e5ce5510f96a5f84844326e1f490","datavalue":{"value":{"entity-type":"item","numeric-id":1708808,"id":"Q1708808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$A5155E35-1C39-47CD-AACD-5A6AA6D0636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c5a57c9080de810108abf5efb42a501eb770e8","datavalue":{"value":{"entity-type":"item","numeric-id":4917986,"id":"Q4917986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$45BF1773-4E88-4B27-9C56-D699D4AA4088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b71fdf1d9aa494435aac4e2e0e005541ca50ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4648827,"id":"Q4648827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$FE967387-7B0A-4403-A9B6-0507F6527DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd685a194efaee92b4d001dce54b38629015c163","datavalue":{"value":{"entity-type":"item","numeric-id":3647267,"id":"Q3647267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$7CACC24E-5607-40C9-A8CE-7DA86010EF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277787bf800ed9086e29418bd4eb46eebe2ba545","datavalue":{"value":{"entity-type":"item","numeric-id":3305434,"id":"Q3305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$BDD952C1-EF97-4A25-B36B-AE69D7E1270A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ff784ca6b7e19f04261b1ad466fce6744164c7","datavalue":{"value":{"entity-type":"item","numeric-id":647408,"id":"Q647408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$C5850EF5-5839-487D-A1EC-DC719CBBAC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$3F766B1B-D6E1-4DA9-96CD-997A2DFE9C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3a881cefa9c635193f959826b67e8a1993246b","datavalue":{"value":{"entity-type":"item","numeric-id":1886744,"id":"Q1886744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$2076A27A-36B6-4A7B-A988-B6D93181F0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b960fac1f7ded72ced10a44be2b8b95ee26d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1221745,"id":"Q1221745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$BCC5BA74-4F43-4464-967B-D9628ECBDE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb500e9c7a9e44e5fc691da108a2cc194f8b8fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2901219,"id":"Q2901219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$C22351CE-9F7E-4E7F-87CF-BE885346FCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8619d111ec8fac268df6cfbd8f475b6a780eb13","datavalue":{"value":{"entity-type":"item","numeric-id":4636055,"id":"Q4636055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$D7EC8A42-8144-42A0-B5EF-29FA3BC616F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f152f591979d4a4a6f18ac89decd280d8f01ea","datavalue":{"value":{"entity-type":"item","numeric-id":4636291,"id":"Q4636291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$FA0DEDDD-D272-4E13-A1BA-10EAAAD844DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b34ba705e389fe9c4dd2c4054287e15a051942","datavalue":{"value":{"entity-type":"item","numeric-id":3703316,"id":"Q3703316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$5DECFD36-907A-4D8B-B959-50255D2D4668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b8fe49b3cccec1632b53b1b50ed0fe903f8693","datavalue":{"value":{"entity-type":"item","numeric-id":1100194,"id":"Q1100194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$340D916E-90B5-4D38-A909-23AC7A86305B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$33B4E03C-A278-483B-9B88-64911A9343FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$B5BA0162-027A-4C9F-8A43-1126806FF8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$3E95DA0C-667F-4613-BCCB-2650BFC97651","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"262cc1420c333ee221a906212bc5ba5c4a12deb9","datavalue":{"value":"10.1007/S11225-017-9723-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$C06DF7E5-D648-4B09-B8FB-833EEA8FFC3A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2fe86d206698765e9b81fd2ab59a4563ca20968c","datavalue":{"value":"journals/sLogica/BaltagC18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708097$F07B6EEA-644C-4B42-B725-41513260E0EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5e43859c3d0fd29cf0021a1339cb160ea71a6f","datavalue":{"value":{"entity-type":"item","numeric-id":1708808,"id":"Q1708808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4c89c1953659b361e198ee9edb7b573ef6c19b","datavalue":{"value":{"amount":"+0.8027631044387817","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":"Q1708097$E072E8C0-2D24-4B05-A75A-CB7B10405C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f3927c4a0aa9b2147c3023fd5ff202425fae17","datavalue":{"value":{"entity-type":"item","numeric-id":2939298,"id":"Q2939298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ecb4c9050ce3ab867084ffa703725ade85b018","datavalue":{"value":{"amount":"+0.7737191319465637","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":"Q1708097$A765335C-78B7-457E-9364-F10EFC643016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78cdfa3866593ce79c47ee06fd525102a08ddf97","datavalue":{"value":{"entity-type":"item","numeric-id":4619873,"id":"Q4619873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fb108e4288ed76d4306fff4ae509ec999ddddb","datavalue":{"value":{"amount":"+0.7661921977996826","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":"Q1708097$8A8C8723-F553-4C1A-BA87-DDF5F403F37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4445885f5256b80ce792d1beefadc3e4e6564ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3092294,"id":"Q3092294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacc282014e56b6fe616dbe886157f7c3aaba64d","datavalue":{"value":{"amount":"+0.7609293460845947","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":"Q1708097$26533154-64F3-4688-AD76-1F181DAA3762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b83bf9f740ab07c3ec36569a399044a2173d222","datavalue":{"value":{"entity-type":"item","numeric-id":2901219,"id":"Q2901219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63745446ff52a7934ae71b7e613104a41230ae8c","datavalue":{"value":{"amount":"+0.74884432554245","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":"Q1708097$3609C320-7FCF-4C76-B816-4DDEC4B6AC1C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708097$15302A96-EDA3-46D6-9712-539E3E1315F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1708097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1708097"}}}}}