{"entities":{"Q3520237":{"pageid":5550141,"ns":120,"title":"Item:Q3520237","lastrevid":50428460,"modified":"2026-01-14T01:01:15Z","type":"item","id":"Q3520237","labels":{"en":{"language":"en","value":"A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312591"}},"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":"Q3520237$B30A22C5-A37F-4EF7-AD21-D5AEAD620BBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df804d27035ed9b7d3af0e77e56f0ffd798a6ee1","datavalue":{"value":{"text":"A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520237$35772D69-17A5-425F-A30C-8327E65DFFC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dc0f596223b552fe193cb7e35351b4fe7ece39f","datavalue":{"value":"1173.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520237$5B21754F-A7FD-43C4-A663-C72F11CAAC37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520237$8CB261BA-8F00-4CBE-8350-6F33477A24A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520237$F09EB43C-8F3B-41DD-B874-2BA34EEAE9FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520237$6B49E2B4-49FC-4CBA-9C55-7C8052892DAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520237$1B9A255F-9771-437B-9590-74888F6AC7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520237$028DF00C-ACE6-4D47-B40E-A767A0CABC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520237$352DF4CD-EB80-4837-AEAB-A060B80A58B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4719a8b961893cb50186b72f36ce6f267a02700f","datavalue":{"value":"5312591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520237$0366FA3C-9D7D-4FA8-AA0D-556FB9B87BDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520237$C74AFB3D-7F4D-45FC-BD7E-EC455E59D2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13fe3141ed30017042d09d7bb940bc6ac1211a","datavalue":{"value":"bisimulation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520237$951C8BE7-2349-4E0B-86DE-1B685C46A65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520237$D5281195-220C-4CEE-BE42-252C068742F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42380aadede16500bf396bc7455f1c1274e477d9","datavalue":{"value":"transitive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520237$96CA6234-EAD2-4A6B-B73A-C8982F618A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520237$A43467BB-6D40-4FB7-B4FF-D22F132FDD30","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":"Q3520237$907DD29D-98CC-4394-866A-7C07A4B3ABCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e83778f860b928f2ad6c4339882c9e18be9af7fc","datavalue":{"value":"https://doi.org/10.1093/logcom/exm085","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520237$56962947-18C3-42C9-9FBD-9E1AB55EA95D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3abd82f009e5c28aeb928d4414e89b1ec802fe0c","datavalue":{"value":"W2072343468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520237$5E4EDE6F-EEA4-4071-8E72-0F2B917CB4A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ae7aac1b301afdd29b3e029d2f391b397a49764","datavalue":{"value":"10.1093/LOGCOM/EXM085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520237$252072E6-DC80-4242-BC73-DA63C416AF6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520237$3D53CCE3-46B6-4E58-83CA-66CB3E933F5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96cf457d3b33a953fc5ad72fe5f3ba1b4c33e82","datavalue":{"value":{"entity-type":"item","numeric-id":3613043,"id":"Q3613043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc2e72204a59778e777f51b676e7cdf3769ae43","datavalue":{"value":{"amount":"+0.8845944404602051","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":"Q3520237$2FBCC2D7-C4A8-4DF0-9566-A41BC1B299AE","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":"0b01784899c9b2b639e483a622ba78f0884be3b0","datavalue":{"value":{"amount":"+0.8195316791534424","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":"Q3520237$C82AD0DA-A9AC-4FF5-ADBE-F595C7CAC30B","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":"6d785af84bbd0d5369889b75312a91740a513863","datavalue":{"value":{"amount":"+0.8056578636169434","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":"Q3520237$90A2ED54-6BC0-449E-8F8E-B626E8BE1D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedf073a5c734d8bf55a1ac6fc1c007b7a2fc787","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fe628d40edf3f0fb84d5ffd08b5d8f95fc3ad7","datavalue":{"value":{"amount":"+0.7916635870933533","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":"Q3520237$21B59ED0-95D7-4402-8152-5ECCB8AD734C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60bdfb1d24a61ff6a4cde85147b64b891f2386","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46775a2c3e7683b11d343df8262bafb77aff756","datavalue":{"value":{"amount":"+0.7882742285728455","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":"Q3520237$06737A17-3D6D-46A1-ABE6-D0A29AEBD341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520237"}}}}}