{"entities":{"Q4632440":{"pageid":6662021,"ns":120,"title":"Item:Q4632440","lastrevid":53409755,"modified":"2026-01-24T22:17:05Z","type":"item","id":"Q4632440","labels":{"en":{"language":"en","value":"Equivalences for fair Kripke structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048688"}},"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":"Q4632440$6C52ECF4-F8A9-4F47-801B-1BB010C66ADD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"497097f408e0feec5f8f30d288f397cd7d438b3f","datavalue":{"value":{"text":"Equivalences for fair Kripke structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632440$B24842C0-0FAE-4045-AE5E-1AA841463076","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"376b06416a87fadcda3228fec098540548355ad2","datavalue":{"value":"1418.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632440$D90AABD8-B9A9-4C53-A8E0-D12B432C488B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be17e00f252b0e550380b61486bf7bbe74eb9c1e","datavalue":{"value":"10.1007/3-540-58201-0_82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632440$EDB4BA82-6F83-4C0E-899B-772CAC4F04AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"238db7322480cbf9b60af7b2fd0ef39f78fa5615","datavalue":{"value":{"entity-type":"item","numeric-id":698099,"id":"Q698099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$FA299864-E173-4F08-A433-D55FD6EAAD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2489f64c292581e753c070c79d0b41597f8b696d","datavalue":{"value":{"entity-type":"item","numeric-id":698101,"id":"Q698101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$C97E0284-6E27-4DEB-9AF6-D5214C12A24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e169aeaa04a52d35c190b925e85f0976b1280cda","datavalue":{"value":{"entity-type":"item","numeric-id":1346651,"id":"Q1346651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$F81AAA1B-640A-4609-B0AB-B7161B1C4BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c287079e407405d0883d696b618e0b7ff853eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1020551,"id":"Q1020551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$CA5A11FA-7BFC-4A21-A159-E698A91C03BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$2FFF9F06-74DB-4ABB-94EA-FEA32639C30A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$48B02332-03ED-4255-8DEF-D04B3D131ACD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632440$35E89692-9CB9-42E6-B5A2-084A8E9176AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632440$65D0A588-E0FA-49BA-ACB5-54C8A03756C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632440$ABB87DCB-697B-4C71-8A05-928D8F1CE409","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6d65c88e32a8915c7ddf313239d9154f60dbcd","datavalue":{"value":"7048688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632440$83916508-8E79-42B1-8CD6-BF5976BE0907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632440$2949F1BD-3371-46CA-BCBD-525E6BCDFC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762ea1dde992c28ede3a6ee476e5ebbcf427083","datavalue":{"value":"atomic proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632440$BEA477E0-2BB5-4818-BE15-F199C4F5B9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632440$92104061-2869-49D1-B199-071BC776362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea95902fcaa0f3825a24c74983f4b2c23c4572a","datavalue":{"value":"state formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632440$A0DB5C0F-F9ED-429C-81D2-C46777AE65A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632440$D2B40D05-EFE5-445D-9C31-0832C9B9525C","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":"Q4632440$FE1DF79A-9686-4243-B958-B84ECE1A9BD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"443359733d09490fa8455d466e655f988bf49980","datavalue":{"value":"https://doi.org/10.1007/3-540-58201-0_82","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632440$38F64B92-E7E2-4FE1-86E8-2FC33FC4AEEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60e9db2073ffe02f013840f787076769939d54a0","datavalue":{"value":"W1557218117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632440$030C116A-9096-458A-9B84-3CE98C46E25F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$138669D3-98E1-46C4-9E7E-4BC4C3ABDE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$DB7F05E8-1A31-4549-BEB9-559DA4238FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632440$40A9897F-6AD6-4583-9A76-3D3D98936036","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898d736a9a21a771252125e7929914dcd9e293d","datavalue":{"value":{"entity-type":"item","numeric-id":4037109,"id":"Q4037109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ce337371173e871ba1657f549c540fe36632fd","datavalue":{"value":{"amount":"+0.8217339515686035","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":"Q4632440$252E3B9F-C9BF-4C82-8B2F-B1ABA4956282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec25cf05cb1293374d4346c17b7ecf5756a9c66","datavalue":{"value":{"entity-type":"item","numeric-id":4518901,"id":"Q4518901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ce337371173e871ba1657f549c540fe36632fd","datavalue":{"value":{"amount":"+0.8217339515686035","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":"Q4632440$DE603470-34D1-48A4-945C-5900FBD6BE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2491fba16174287676d3d97d40c6750dcc40ccf6","datavalue":{"value":{"entity-type":"item","numeric-id":4037385,"id":"Q4037385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3645b06f8496f67428407c2d37feb645cffbea87","datavalue":{"value":{"amount":"+0.8203823566436768","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":"Q4632440$B974842D-2D59-460E-BD71-FEFD314DC804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b1dbbc66aa68ee1476d765265be7a93c44a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":3028984,"id":"Q3028984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3645b06f8496f67428407c2d37feb645cffbea87","datavalue":{"value":{"amount":"+0.8203823566436768","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":"Q4632440$5FF1031E-8D4B-407D-9053-1999E389A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848a80c7a30bea49cb20a833662fb450f4de0350","datavalue":{"value":{"entity-type":"item","numeric-id":5305663,"id":"Q5305663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b57ff02fb52e24efaf8b55f1cc1a5e8653db46","datavalue":{"value":{"amount":"+0.8094872236251831","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":"Q4632440$6A0B709E-B438-41F6-9347-1047DB3B0B33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632440"}}}}}