{"entities":{"Q2287115":{"pageid":2297858,"ns":120,"title":"Item:Q2287115","lastrevid":53644748,"modified":"2026-01-25T11:57:45Z","type":"item","id":"Q2287115","labels":{"en":{"language":"en","value":"A parallel relation-based algorithm for symbolic bisimulation minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157062"}},"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":"Q2287115$D08A13AA-02E9-4610-8209-C5044BBD296B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ede38523496bac2bee2ff3b33103a8e535eca50","datavalue":{"value":{"text":"A parallel relation-based algorithm for symbolic bisimulation minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287115$C795E8CA-9029-4A7C-84D6-74A1786C4FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e505950dd233275fe5e317e0859302b196de663c","datavalue":{"value":"10.1007/978-3-030-11245-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287115$94FC94D8-022C-4F6F-8C0E-8F85D3893467","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86a74391872ba2370be79d69f6b8a78ebcb4576","datavalue":{"value":{"entity-type":"item","numeric-id":2287114,"id":"Q2287114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287115$07BAC54F-6F8D-47AD-A930-21DFE9E4DEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd6039760e2166f62929ab4e772c45cd83a7c74","datavalue":{"value":{"entity-type":"item","numeric-id":2060757,"id":"Q2060757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287115$259BDD10-9C2D-4863-BD48-425A169E50ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287115$9FC2E5CF-F777-441D-BA6D-CB723A86422B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287115$1E52CBEF-2CAC-44D8-9E33-0077E49EF029","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc1e66785cc20a46b532ca022a323aee5ae4bc87","datavalue":{"value":"7157062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287115$CC459616-2634-4E6E-A070-C855D71B7FFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb0f42bc4d740213abefb39a0d2f3f1fb2e40c4","datavalue":{"value":"bisimulation minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287115$AC18CD86-808E-449F-B813-1FFEFA5929FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287115$DE14D49B-312D-4E10-8A9F-59F6ABAB3355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f376b4cab41b5aaffe2e0559d180ac7d09f1764","datavalue":{"value":"BDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287115$09DBC94E-AC1B-4D12-B283-BB93982DFDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287115$E64E0B6E-40EF-4BE4-A400-ECE8D57054BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53027033cae6fbc26744a05040eb76af38465e6","datavalue":{"value":"parallel computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287115$5F6FF738-F626-49A1-B5F5-71822520F305","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":"Q2287115$44EB953E-50CB-4FDD-96FD-F752EAB08D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a61a7e506c7ded2d1972cc112a83cd92e3f9f133","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287115$D11AC67C-E6E7-42A9-889B-C0A90C227925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12d5222f0eb13cb32980810c205d4c3f3a92b0c3","datavalue":{"value":"W2910500738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287115$67622F83-D4FB-4829-AE89-6D51F3CA29E3","rank":"normal"}],"P1643":[{"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":"229e546ff9e1517978dfae8280fcd40e7d681c03","datavalue":{"value":{"amount":"+0.825152575969696","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":"Q2287115$07539D81-B255-41DB-82A8-030CD0C001B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb95de715584f764a7faef1bca34e017d2098054","datavalue":{"value":{"entity-type":"item","numeric-id":3617705,"id":"Q3617705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de70bcce2907964864622b5669cfe447b79c6f5c","datavalue":{"value":{"amount":"+0.770264744758606","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":"Q2287115$BCD48C7D-75E3-400D-AE7E-1EFFFEE1A3CC","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":"378f29b19d4a49f2312f19f506ef95ec47c85cd1","datavalue":{"value":{"amount":"+0.7669223546981812","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":"Q2287115$7B9BECE6-35FE-4E6B-A737-9C574B18B518","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":"63c8b267c6e99523146944924ac214c0ca897372","datavalue":{"value":{"amount":"+0.7576888203620911","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":"Q2287115$A70E7B94-E22E-4A39-B8BB-37E6C2AC98BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522982767c75e8d14e52b4f37fe47155ca25f3a9","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00baf80abaa323cb2f7ea800145e99abe4adcb9","datavalue":{"value":{"amount":"+0.7452716827392578","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":"Q2287115$BC1FA0BC-B755-4FFD-9E1D-D230A4862B94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2287115"}}}}}