{"entities":{"Q3384064":{"pageid":3394767,"ns":120,"title":"Item:Q3384064","lastrevid":58148946,"modified":"2026-04-04T00:24:12Z","type":"item","id":"Q3384064","labels":{"en":{"language":"en","value":"Bisimulation in inquisitive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7444850"}},"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":"Q3384064$07E266B3-4B72-4D28-833F-5071B2E30B56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05300a5b350555bda2b2d8ef9fe81aebc074fe01","datavalue":{"value":"1483.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384064$74A10539-DBD3-4CD1-B294-FE19CEF9616A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0982a4472ea77fbdfdccb7fe48241407588d9f77","datavalue":{"value":{"entity-type":"item","numeric-id":514588,"id":"Q514588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$98699D7A-EBA6-4E00-BB32-D81E76EC8359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$08912E0B-487C-47B1-B817-16469E06711D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384064$4E6D4598-1039-493E-9540-AC0906B32E2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7497b80e4451c531a8c7d46cdd34ebc2112263a0","datavalue":{"value":"https://arxiv.org/abs/1707.08742","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384064$1C34E4F5-5289-451B-89CC-954FCB1F6AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02b44a7c0c6432b9a855030b0bb21b0c1757413d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384064$8EC24559-2636-4B36-B218-2E8F1E6A94C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384064$9B826C29-5DD8-426D-9AA7-AC49BDE364CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20568ffa2db27af409f14843218ff951373d4b49","datavalue":{"value":"7444850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384064$577CEF55-2660-4B3B-86FA-CCC3F6FFCE65","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":"Q3384064$E64A1F39-0C16-4221-8576-06D92C165654","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa1ffec5ed32670057d12d6223519a61d2e8793","datavalue":{"value":{"entity-type":"item","numeric-id":4636287,"id":"Q4636287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$E29CE7E4-F554-477E-94A0-FC67BE3A77C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5906e80d644cbb4b70a8f1355659a31fb1da1","datavalue":{"value":{"entity-type":"item","numeric-id":5213645,"id":"Q5213645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$F1844D39-8E27-40D5-963B-27A7DA36A85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b98f348a9430f54494a3e07918227d3ee85fb2","datavalue":{"value":{"entity-type":"item","numeric-id":1708968,"id":"Q1708968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$1689BF1F-AEDF-4B6E-AB98-578874363293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b333c0517b9100c21742778c3680d297ee738c2","datavalue":{"value":{"entity-type":"item","numeric-id":514591,"id":"Q514591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$7D05E4D5-7E0B-4253-8870-3B823B1F49AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4c0201149549d35ee55e841548d8d27443b0be","datavalue":{"value":{"entity-type":"item","numeric-id":3384064,"id":"Q3384064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$B655B54F-8782-40D7-B703-549DD85E0558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07dec7989f149f16f2fcbdd901b8620f1a7fbcd","datavalue":{"value":{"entity-type":"item","numeric-id":626493,"id":"Q626493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$8EABFDCF-AD4A-43E5-AA84-8576D93E825C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d076a00e7e05acf060e26cec45043d829c9042","datavalue":{"value":{"entity-type":"item","numeric-id":514589,"id":"Q514589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$D573234A-6FFC-4D4C-B0C0-7672534F2257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$917DA0C8-EA48-4A06-AC0D-767593E15778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4971c24bb488dffd2542d9d7c857be0272dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$BE4A08F7-B00B-426A-B3CF-2A42B0F92480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8a25b8d6d0cc799530bb65e240edadb10ab7c","datavalue":{"value":{"entity-type":"item","numeric-id":1886323,"id":"Q1886323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$0EFC68A3-BD05-4A2B-B6B9-6AFC74D9D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb5dcbacfe16447d020121a3b180e7e3675db73","datavalue":{"value":{"entity-type":"item","numeric-id":5395677,"id":"Q5395677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$778BB5C8-4DDC-4CF9-974C-C4A79E6B651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f4d87ca7da9f0ff2daf82c286efb9dc2f58b6f","datavalue":{"value":{"entity-type":"item","numeric-id":484923,"id":"Q484923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$931CC140-CFEA-4552-8FC8-33509978196D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4b0809c211b7b2f4ceb490227ad58bc41fcec","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$C2400305-9381-4BB8-9A0C-7953E82ADB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$E2458F25-757E-49D2-8327-119F0BB91261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$32EFF208-2E83-4824-9936-BC239B49A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01b37f355bea1c73d76a56c76544f97c8cc9b3d","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384064$4CD83AFA-E465-499F-B658-80676E3ED3D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6486f0ec2a615fea372963591e6bc3f80f4941c2","datavalue":{"value":{"entity-type":"item","numeric-id":5078812,"id":"Q5078812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d88511c37b005bd23a26f540136a5b165edcdf","datavalue":{"value":{"amount":"+0.8180515170097351","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":"Q3384064$40BEC073-9472-44E5-8B92-E3E43705F13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e44bd8ebc09c99bc8d3683d61dcbe15bc3c5b95","datavalue":{"value":{"entity-type":"item","numeric-id":3520237,"id":"Q3520237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba706423c2b1ee40293972b06ee00476e7a140a","datavalue":{"value":{"amount":"+0.7663137912750244","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":"Q3384064$F1029624-F5F2-4430-B452-B1891099AD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea8d3823b75837441bc90c7c911f782e8b72c26","datavalue":{"value":{"entity-type":"item","numeric-id":5897786,"id":"Q5897786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728fd0edff9773f63517811da0ab3c448704ab15","datavalue":{"value":{"amount":"+0.7558810114860535","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":"Q3384064$913A2A9E-A4F9-41EA-995B-8F8B62C3E24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c6fe2c56381f71a37ffeb67b878ceab15424c0","datavalue":{"value":{"entity-type":"item","numeric-id":4636287,"id":"Q4636287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b5ac75c3c2917225c1f693179dfc5972f22fb3","datavalue":{"value":{"amount":"+0.7524358034133911","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":"Q3384064$01A53F4A-3237-45F4-9BA4-162BC02A5DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e741cc559adec9531f855368e6140ea351d684b","datavalue":{"value":{"entity-type":"item","numeric-id":3509051,"id":"Q3509051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878e7cf7d71fb87fd2606faa64be212d8673e7db","datavalue":{"value":{"amount":"+0.7433004379272461","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":"Q3384064$00CD2639-E92D-4BD6-995B-8A8F1BC8D9E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384064"}}}}}