{"entities":{"Q5757250":{"pageid":7786801,"ns":120,"title":"Item:Q5757250","lastrevid":50159258,"modified":"2026-01-13T07:33:28Z","type":"item","id":"Q5757250","labels":{"en":{"language":"en","value":"On-the-Fly Branching Bisimulation Minimization for Compositional Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187971"}},"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":"Q5757250$14EA8CF4-A16A-4E9D-B163-6795E4D3AA2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e14ba971afa12b8bd5ffc117736e196f1b1d6c48","datavalue":{"value":{"text":"On-the-Fly Branching Bisimulation Minimization for Compositional Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757250$237716FF-6FF3-4FE4-9F9B-D5EE2B0DC906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"974057fb7d6383aacc6ee16c6224fb1fbd81d9d0","datavalue":{"value":"1160.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757250$F022055F-C830-4A6B-BA51-EB1DC16C514F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf28fa6b12d328715b7554696423c7ff9f47463","datavalue":{"value":"10.1007/11812128_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757250$F2A127A9-607D-4CCC-B991-BAF2EAFB3371","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc509b8c0f81452b261f7eafffc7196ad72d4c29","datavalue":{"value":{"entity-type":"item","numeric-id":5757247,"id":"Q5757247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757250$23E550D9-3C2E-463B-89FE-2185048EAFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce175a2e7b5e7e528fcddd55e36d94995d10c601","datavalue":{"value":{"entity-type":"item","numeric-id":5757248,"id":"Q5757248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757250$96644619-A072-4BA7-A1DF-C50515A4E44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"672b91e8bf9e570f6fdddea20633bc19264db002","datavalue":{"value":{"entity-type":"item","numeric-id":5757249,"id":"Q5757249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757250$F4B9B227-841E-4ACD-8186-B0DDA83A976E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757250$7FFBB5F1-4DD2-4118-BF0A-D95DDA2F91E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757250$4BE780A1-FA9C-48C8-9C3D-23AE15B3988B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757250$ED35065A-D7B3-411C-B915-5078EBCD3D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757250$E91678A8-ECC0-425B-8996-3F187C1D6663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e5a095a9f71232c1ce4159ff882314658b888b6","datavalue":{"value":"5187971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757250$A2E33DD1-3978-4081-86C4-192DDB6C7C6B","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":"Q5757250$C449D979-CCAA-4EC5-A4D7-ED7272ABE085","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9075cc356e78005a9199040cea651905918b9e3f","datavalue":{"value":"https://doi.org/10.1007/11812128_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757250$C29720D8-EBAE-49ED-8535-990E73080440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abf426dea112832f3933f65629562630a509b826","datavalue":{"value":"W1519494512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757250$FBDAAA63-3081-4776-9A5C-41CEB33B2B7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e54b7559e39c6fecdd643eda03da86fd914c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4037089,"id":"Q4037089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995eae91d1e28efa5ce64586cd7cdb45f40ada72","datavalue":{"value":{"amount":"+0.735318124294281","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":"Q5757250$BD229C34-6DD9-4BF6-9D67-79013BBEA8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e93b4a343ca1df2ed81521fe185d9930c9a4d18","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995eae91d1e28efa5ce64586cd7cdb45f40ada72","datavalue":{"value":{"amount":"+0.735318124294281","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":"Q5757250$35CDFFD1-47D2-41EB-AB11-1E857C062B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec6470d6e28d08af66ca489f63b2de2d99c9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1391753,"id":"Q1391753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c12220f9c990c7b79ba37b5e237672a8d5f945","datavalue":{"value":{"amount":"+0.7349772453308105","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":"Q5757250$23DDB25D-5ED1-4BD8-977E-9996B6BB5BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0b4f61a2d27aa5965500be1a1e57f22e36f8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba1f937651a39f946b26b1935ef1f0b06863ff9","datavalue":{"value":{"amount":"+0.7348228096961975","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":"Q5757250$95B38F73-F97A-473D-86EA-EC36B2B21364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa73dcb90d071c69531cfdd5ac3348ff02812ae","datavalue":{"value":{"entity-type":"item","numeric-id":2926637,"id":"Q2926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba1f937651a39f946b26b1935ef1f0b06863ff9","datavalue":{"value":{"amount":"+0.7348228096961975","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":"Q5757250$618B6D4D-DBFF-4E69-B302-D1CF22B0114D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757250"}}}}}