{"entities":{"Q5101352":{"pageid":7130928,"ns":120,"title":"Item:Q5101352","lastrevid":55414390,"modified":"2026-02-17T15:52:44Z","type":"item","id":"Q5101352","labels":{"en":{"language":"en","value":"Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577583"}},"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":"Q5101352$AE6440E8-7546-4733-8D34-856A374C5A4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f02fc4e053a1c1cd3a87cc71caa501d6809a9585","datavalue":{"value":{"entity-type":"item","numeric-id":2044186,"id":"Q2044186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$977238E7-10C3-4A83-B70A-E756691A66D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$44C45219-7591-4517-893D-C61B16BE3411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$3294901B-7488-4D8A-9F67-BBE710CC9F6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101352$D3424974-06F9-414E-960E-CCEE2E425835","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bc2ff1ab31799cec3421b3ae97dfd2700a30b8b","datavalue":{"value":"https://arxiv.org/abs/2109.15295","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101352$AD2A2AF3-7041-455A-B9C1-87AC806FA276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef5a0882ee61013548ce94224f9b3f8dc3920f99","datavalue":{"value":"https://lmcs.episciences.org/9905","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101352$CED1CE6E-1AAB-4260-9E40-D0A35CC10E3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101352$559C16D3-A1C0-43BC-BDD7-74CDD832D528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101352$8A6A3E42-818A-42FE-A371-0C3B4B76F968","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d19077c2d646ce70c6acfc668cea743de3aeb23","datavalue":{"value":"7577583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101352$B45B998F-4E22-4473-BB5C-4EAE1502637B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775ac312e007a7bc3bf5114ffbb4c85cc0ab6744","datavalue":{"value":"process equivalence spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101352$71ED406E-48B6-4B00-906B-3A74AAAE5059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61785b21213bbdb22dfdd0e943564cc9cbcc38b8","datavalue":{"value":"distinguishing formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101352$605029DA-CFD0-4BE8-AD7F-99FD4B12DBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22e2d86ace8222867dde7a6d0fa1a8ad29a156d","datavalue":{"value":"bisimulation game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101352$31FD47E6-0D92-4130-8F47-83FD61619F28","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":"Q5101352$02A38CA6-6893-4426-BA0B-DE55B51BED55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf3c98918a63823f07b228c7e70d7b96f77da52","datavalue":{"value":{"entity-type":"item","numeric-id":2044187,"id":"Q2044187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$9894F693-273C-462E-90C5-63C32E21E6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535d300de6f235b57fd94050dc81ad2d61061b91","datavalue":{"value":{"entity-type":"item","numeric-id":2182667,"id":"Q2182667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$2B4DA652-5828-4766-A585-6B0E3E55BC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$194FFEFD-6A61-4A6F-8406-1391973DC34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae16952a7c24ccc9fcb723a162581a6a06b64568","datavalue":{"value":{"entity-type":"item","numeric-id":764284,"id":"Q764284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$2D920E07-8839-48EF-B4AE-8EA5C8F3E430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63a6f79a14efad928fe8e487c963f37b2a8003","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$1EDD593B-38DA-4C5F-BECF-8660B751A643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cb3841cb9de99ab18385b9593c3ef6b8c99848","datavalue":{"value":{"entity-type":"item","numeric-id":2838240,"id":"Q2838240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$CBFE1CE6-4E7B-4D37-93DC-07E4BD98C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed752b286f55a9bdca77a7f989a9d8812499ce29","datavalue":{"value":{"entity-type":"item","numeric-id":4596797,"id":"Q4596797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$9B20DE99-8DAE-49A0-B6C4-9F139B6381CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d344781ad3832da1f0f3536ce5d572c9be188902","datavalue":{"value":{"entity-type":"item","numeric-id":2182663,"id":"Q2182663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$CEE73670-B794-4A5F-928B-E7E8BC778630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f9a25692012865a764e7bfe7f3b2decb8d9ed7","datavalue":{"value":{"entity-type":"item","numeric-id":5155676,"id":"Q5155676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$F67B1BF1-9D6D-4DDA-AB9A-D30735443C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$8E5104BA-FDA4-499E-A16D-25568023EEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$6D832D3D-8B49-4AAA-B51B-0EC3D768E7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$9C771758-7D04-43FE-9302-22D0072B53BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a817ac74915213d424b211f8f41a88642328358","datavalue":{"value":{"entity-type":"item","numeric-id":2182678,"id":"Q2182678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$A054F753-9D97-447D-A4C8-88554CE52337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc9289f568221590025b41d48a028997b81cc81","datavalue":{"value":{"entity-type":"item","numeric-id":4945247,"id":"Q4945247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$F39AD4D9-2146-44E6-9435-8DA1E0924181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7365526063c352f0a716ad29dfda9a2c68ab2b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2229232,"id":"Q2229232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$C767E08B-2501-4533-ABC2-1E4443BE2033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21815f2b6998c4be5541fe7e93f59fc23446bb96","datavalue":{"value":{"entity-type":"item","numeric-id":477208,"id":"Q477208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$C99E6DBE-6B79-46A6-9578-1C8C6205CFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$D136951E-4D9F-4F4D-8FA6-B79595891D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a235074156493779c1c25991becd1505519b2","datavalue":{"value":{"entity-type":"item","numeric-id":4807826,"id":"Q4807826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$B9C4DAD1-3797-4B3B-918C-0BEE5A22C42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8669f9e7807afc87465ee19084a4ff33202c1fed","datavalue":{"value":{"entity-type":"item","numeric-id":1007236,"id":"Q1007236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$B58E38F9-316F-464C-B965-B3FD0361FD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca64073a590b1b5dbc5030bd92fb520243deb0a8","datavalue":{"value":{"entity-type":"item","numeric-id":2798719,"id":"Q2798719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$2BE63EC6-D7D5-4404-A71B-30788C39AB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$3AC0625A-1574-4F06-A3B0-2C396085F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19888a00e978a5060c8dc9cba8d33b5328382ac8","datavalue":{"value":{"entity-type":"item","numeric-id":6176116,"id":"Q6176116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$E3643F37-A6B5-4878-92BE-2311F071247E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101352$6311F748-7BC5-43D4-BB7C-96D9A52887C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d48f520fbf8364263093c588137a60c57412aa","datavalue":{"value":{"entity-type":"item","numeric-id":2044187,"id":"Q2044187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3478b3efc3cad4d9eed22ecb3a4b8859ac0fb31","datavalue":{"value":{"amount":"+0.9390770196914672","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":"Q5101352$051674D4-92AA-4B8A-ACB6-5575D01C3AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86309e62de92c63d54543fecc1043bb4ca3f45c","datavalue":{"value":{"entity-type":"item","numeric-id":6535628,"id":"Q6535628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b080df2405782de6edd9d7542f1832a60fb7acbc","datavalue":{"value":{"amount":"+0.828236997127533","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":"Q5101352$F449BD55-9783-4655-9874-75586FE2C40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c009490458f9998d8ae1808470aa295498b5462","datavalue":{"value":{"entity-type":"item","numeric-id":2971124,"id":"Q2971124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed688faa9f17140bcf64634a43cecf3d885a282","datavalue":{"value":{"amount":"+0.7808369398117065","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":"Q5101352$F4E648CA-2820-4134-8C27-4D41977E41D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b85971caaf5b1eb3a8d9d9574b713654da3a9b","datavalue":{"value":{"entity-type":"item","numeric-id":2291820,"id":"Q2291820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2750315cb70bacd629273d35e5d691d1271a6180","datavalue":{"value":{"amount":"+0.7793263792991638","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":"Q5101352$B1C4A0A4-7D57-4235-9FCF-4D8106F6EF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39319074d79b9322fbba76164dd2d3034ae684f2","datavalue":{"value":{"entity-type":"item","numeric-id":2229232,"id":"Q2229232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b0998a8402c8c9ee7f1f8f2310b572330d26c1","datavalue":{"value":{"amount":"+0.7440413236618042","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":"Q5101352$BA969F68-E2F8-42B7-A822-B06F8223D6C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5101352"}}}}}