{"entities":{"Q3636842":{"pageid":5666748,"ns":120,"title":"Item:Q3636842","lastrevid":88831130,"modified":"2026-06-04T15:35:25Z","type":"item","id":"Q3636842","labels":{"en":{"language":"en","value":"Bisimilarity Minimization in O(m logn) Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571868"}},"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":"Q3636842$A444AA95-0BCF-4F74-9353-7F5EEB806DD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc2823132d8929699261c0531298e2da65b73b11","datavalue":{"value":{"text":"Bisimilarity Minimization in O(m logn) Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636842$1BFC90BB-CA78-4A2E-8458-9583AA5F1EED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0679ac453200a515d6010cd5d8724e92b41723e","datavalue":{"value":"1242.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636842$DF1722D8-5ECD-47B3-AA98-F127AEF3CA92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e094aec743d2b66a56f42559e55d27771eab8946","datavalue":{"value":"10.1007/978-3-642-02424-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636842$5DE48794-0380-4259-BCED-E7B5A7B44EA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$31AD5A4E-9320-4008-815D-D32EDD7FA056","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$7D23B51A-62A5-4122-BA1A-B0EEE0957C1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-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":"Q3636842$4D249326-6277-4BB0-8FDD-15A038BCB639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636842$B024B2EB-B1B9-4760-80CE-01DE67BCC3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636842$3A13CE5A-AE61-4DAA-9BF1-D31FBA1BBF8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeb809a793fab0682c8cecf424c4770530e47140","datavalue":{"value":"5571868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636842$58B1F499-0D3F-4B04-8853-CA71F4FF5E29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce1014944a40700a144667e93cb2c81a48a53b68","datavalue":{"value":"analysis of reachability graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636842$20EF8F5A-AE56-4A9D-95B1-AE27866E1DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc94c3f5d0ffcc8851c6521861d748b9b2022ea","datavalue":{"value":"verification of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636842$93BA08F3-F7A4-47B9-8734-567AAD45B45E","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":"Q3636842$D01FF4EC-7068-4F38-88ED-7A8B432D386D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89b7bb8a1ba2a8328f3036ddf540cde0e36c9e73","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02424-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636842$7E5F45C5-D4A2-4B30-93B1-61BF1E67969F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1775796747c7bcb83000cd374be481c5c321a0f6","datavalue":{"value":"W1563368561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636842$BD9BE9B1-30F7-43D7-87C8-FFD19F4A5E69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$30AB035D-24E3-40E1-AFC8-3CB99DD58306","rank":"normal"},{"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":"Q3636842$41881E80-0D1A-4CC8-9650-E2A90A02DF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfee5788a40d6a31d12e0d933b8fcdb3b198b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$24EB788F-34BB-46F7-B481-933D1858556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$E433C4C1-ED3B-434A-84A7-A07EF7344B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd8ae02adfedbc0c31ce15b0873e8f177400bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2554307,"id":"Q2554307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$689E38DC-919F-4265-8394-F2F551CA0FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$B308F4BC-B0D1-4976-8114-5B4298A929C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c2117b1cca8f4449951c34fa08f6f7ea2f1ad","datavalue":{"value":{"entity-type":"item","numeric-id":1589443,"id":"Q1589443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$1ACDCAC7-3AB7-401E-AC42-260A94373BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$9F40C772-ADA3-4363-B0AD-914821FDA28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$899A8C32-10D3-4F3A-97D8-EA1779A3499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e87d504b012ad717bd662a99ac7a85bb3817577","datavalue":{"value":{"entity-type":"item","numeric-id":4910757,"id":"Q4910757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636842$9DD6CBB9-7C60-44B5-95B4-E8EBB04241E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ebdefa85f13f5485e26a67373d2c603fe88d5f","datavalue":{"value":{"entity-type":"item","numeric-id":3084988,"id":"Q3084988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2a51f456327b9b4e33c012cb7aac7a3f9019f6","datavalue":{"value":{"amount":"+0.984600305557251","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":"Q3636842$68232FC5-66F0-469F-AF3B-52F5248C857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9da80b34dc55776198b36dab2de7a0d369dd0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0249d3e94f05b3d2680b0d17600df09522393f07","datavalue":{"value":{"amount":"+0.8395662307739258","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":"Q3636842$FE52F59C-1D4B-42A0-913F-ABA4079C7564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caddff14f1ff6dbf700e9d4740c8854a8eeeb062","datavalue":{"value":{"amount":"+0.8272080421447754","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":"Q3636842$8B5CC476-C3C1-459F-B389-7E6CD432802E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a2a7f6bb45adad9022e0740fa9b9fc314333ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5757232,"id":"Q5757232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812b010e055ca9b9c827956489b0c1b9100f68ad","datavalue":{"value":{"amount":"+0.8083493709564209","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":"Q3636842$DFB728A6-ADF3-4EDD-9BD8-C3D3E429A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89856e5c55ea20e75034028a5c1b61e0af22a9fb","datavalue":{"value":{"entity-type":"item","numeric-id":5897663,"id":"Q5897663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582f46655aaf78d3700deaf70f10ba09b573cebf","datavalue":{"value":{"amount":"+0.8024404048919678","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":"Q3636842$8CAEA12C-CC38-44B1-8334-677A0FAE3A5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimilarity Minimization in O(m logn) Time","badges":[]}}}}}