{"entities":{"Q3617705":{"pageid":5647611,"ns":120,"title":"Item:Q3617705","lastrevid":50618798,"modified":"2026-01-14T14:24:05Z","type":"item","id":"Q3617705","labels":{"en":{"language":"en","value":"Minimization Algorithm for Symbolic Bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535572"}},"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":"Q3617705$4E8973B4-5E40-490F-8D67-38BF68F43BFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d51e05a6a4aee1fffe1f9d3ceea4df1ddd6cbc9a","datavalue":{"value":{"text":"Minimization Algorithm for Symbolic Bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617705$DFE3DAC6-5687-438E-B4B1-4519F6A1A757","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96cc1904f7ffc27b568ff90e10cb7f90d90ff02a","datavalue":{"value":"1234.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617705$D2072839-622C-4D92-BAB0-660E5F59A90F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f803dcebb5d1e2665fc99cc8caed3a09600da4aa","datavalue":{"value":"10.1007/978-3-642-00590-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617705$0E880196-A730-455A-B190-958AA03CE72A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617705$3BAE7166-CE58-4910-AB19-CA05404404E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617705$AE5F0A1E-E962-4325-B79D-D460BB368E5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617705$92F5C713-31B1-4282-9633-AB4DC5A23849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617705$CFBAE740-479B-4E59-B105-208C327083EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e827d7eaf64a97afa8d235bbc8a3c973c8d7b2b8","datavalue":{"value":"http://eprints.adm.unipi.it/2220/1/TR%2D08%2D27.pdf.gz","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617705$B97D5467-4146-4634-B067-9FAB96EAB77C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617705$F63CD1B4-65FF-429B-BB50-F6A22621CE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617705$AAA2E967-450D-47E2-A292-714C0D753CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2107c7b4e671f21126453ef3669305bee352131","datavalue":{"value":"5535572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617705$56DAF858-32EE-461C-8247-158C38019912","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":"Q3617705$0D681732-0F1D-41C5-AD98-53631B20FB2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8967fa3268f21e1bbfe6ac550f4b6179949cee1c","datavalue":{"value":"W2123863183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617705$2B6411C4-20EF-4434-B3A4-C8641459D2F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a464af9d0a75eab232264b9bc71a3cb17f6591","datavalue":{"value":{"entity-type":"item","numeric-id":2888486,"id":"Q2888486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e5140f16508a56a091230fd9a169a0a9561fcb","datavalue":{"value":{"amount":"+0.7938737273216248","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":"Q3617705$15D0CC6E-1D04-4C06-B432-3DD0C82952A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a885d51b9de53e37924e8f0ce14d0a59bb5546a","datavalue":{"value":{"entity-type":"item","numeric-id":2842000,"id":"Q2842000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0521b82bf9d8d934e6d6137cf8d8149ecde206f1","datavalue":{"value":{"amount":"+0.7892166376113892","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":"Q3617705$10919467-DE6A-405C-99E8-C6C23392C1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a761272979c00cb24151462989432d2b87ed18","datavalue":{"value":{"amount":"+0.7850207686424255","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":"Q3617705$01D68AB8-3A44-4DF9-BC3C-CD44CAFCC84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2c7ef8f11192cd0b8e8b0a5ba6a18cc310cdef","datavalue":{"value":{"entity-type":"item","numeric-id":3636842,"id":"Q3636842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7413dbf433d0cd10445ded18932d2d6ce5ce55ca","datavalue":{"value":{"amount":"+0.7828925848007202","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":"Q3617705$73EE7A70-0281-454C-B420-F33330BE432C","rank":"normal"},{"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":"887c1f9f5839724502b539aaa46bec8e9e4d55a9","datavalue":{"value":{"amount":"+0.7799639105796814","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":"Q3617705$F1C4C928-7DEA-4114-BA65-865E23C57837","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617705"}}}}}