{"entities":{"Q3085977":{"pageid":3096692,"ns":120,"title":"Item:Q3085977","lastrevid":85730555,"modified":"2026-06-03T11:18:56Z","type":"item","id":"Q3085977","labels":{"en":{"language":"en","value":"Equivalence-checking with infinite-state systems: techniques and results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5873447"}},"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":"Q3085977$F3422780-B774-4E27-BC19-784010BA71FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b34441346c7512b93c47edad2c1c6961fc79e4c","datavalue":{"value":{"text":"Equivalence-Checking with Infinite-State Systems: Techniques and Results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3085977$D6C3311F-BBB3-45D6-A462-3F34A1734FED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57cbba463cbf8993c9de924073f45686b289a40c","datavalue":{"value":"1278.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$D8762148-D474-4B94-8B19-0E32956E2A33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"863ee1aa0bfc242223ba8a5a07b6b239007112ff","datavalue":{"value":"10.1007/3-540-36137-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$18824040-2AF5-4853-A661-62CAC29F2F75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7de8909f75d69eabdb4030210315df4351b8204d","datavalue":{"value":{"entity-type":"item","numeric-id":3085974,"id":"Q3085974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085977$5781B383-6E43-4119-A493-EDA9750AF77A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"362da250e53eddf9b6ee15ba6fcae9e11b48d936","datavalue":{"value":{"time":"+2011-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3085977$3108196F-3396-4358-A435-EACF3A2BDD91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$A9BF0662-33FD-4679-9274-5F086F76FD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$C30C2037-12DE-4F76-8A22-81950DF7CD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$55595816-034C-4964-AA67-C455F4ED6846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$F6052B7C-97D8-4D0A-87F4-1B969E780198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$962965D6-31C5-445C-8979-3E09367A8214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab19008f39c7ac951efccca927a69c6453832725","datavalue":{"value":"5873447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$95834018-060E-4944-86FC-D31B4DC00F05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085977$CFFA359E-6222-4672-B0C1-BF3F8C8EB7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085977$3EA7A291-BB46-4918-B3F8-48F08BB126FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085977$F8A1C36C-285B-4D06-A5A5-A4978DB6058C","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":"Q3085977$B9631F82-365E-4F4D-91E4-9A4E58B9B88B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2292d1c9a8c459fb08293e8cc8202d5869396dd5","datavalue":{"value":"https://doi.org/10.1007/3-540-36137-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3085977$812161D4-0358-4AB7-9D87-F91D6756056D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91091afe95e0eecfdef1614c2ab2f32e292630b5","datavalue":{"value":"W1591409444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085977$32108958-4474-483E-ACC9-A52595A43109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410d14fb5dfa0577c6a059e916d185acd4ecbe50","datavalue":{"value":{"entity-type":"item","numeric-id":4665738,"id":"Q4665738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbef04e92a6601d59d990abfa999c445466840e8","datavalue":{"value":{"amount":"+0.8633261919021606","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":"Q3085977$3199C518-D882-4C24-8D75-D08105E4476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3efcf33ec2fb8c647218c66d32a2d1f92acc716","datavalue":{"value":{"entity-type":"item","numeric-id":4790409,"id":"Q4790409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35dfc4777c7076fa5f9d7711db11d4fe5683e331","datavalue":{"value":{"amount":"+0.8088653683662415","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":"Q3085977$8B8BA5B5-23A1-4CCB-B85F-ED444E56DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a940aece734b1d877648069c0845ae19d1514a1","datavalue":{"value":{"entity-type":"item","numeric-id":4355677,"id":"Q4355677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16b084cbe16f1707b890eba6d57f490841ed1e8","datavalue":{"value":{"amount":"+0.8007648587226868","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":"Q3085977$1113BC92-9B1F-42E5-B7EF-D08C62143EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c6d4aa6c503af5679d9438a120e89695833888","datavalue":{"value":{"entity-type":"item","numeric-id":4222875,"id":"Q4222875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4b15267ee5450d25bba1e99075de69ade61450","datavalue":{"value":{"amount":"+0.8005588054656982","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":"Q3085977$CB3C29D5-CE91-4E87-B54F-2F0B0482F614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efe397438d8868f9ad7154951845f18e8d77d81","datavalue":{"value":{"entity-type":"item","numeric-id":2503044,"id":"Q2503044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4b15267ee5450d25bba1e99075de69ade61450","datavalue":{"value":{"amount":"+0.8005588054656982","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":"Q3085977$FCDF1C6F-7DD4-423F-848E-07724E1ED20B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence-checking with infinite-state systems: techniques and results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence-checking_with_infinite-state_systems:_techniques_and_results"}}}}}