{"entities":{"Q5919243":{"pageid":8050632,"ns":120,"title":"Item:Q5919243","lastrevid":53533100,"modified":"2026-01-25T04:49:25Z","type":"item","id":"Q5919243","labels":{"en":{"language":"en","value":"Abstraction refinement and antichains for trace inclusion of infinite state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106027"}},"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":"Q5919243$49C73F41-46CC-41A6-B9A4-3AE0C31E8B36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47316b222e4de80a84db569462fbee10bb17ad54","datavalue":{"value":{"text":"Abstraction refinement and antichains for trace inclusion of infinite state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919243$5C34B2F2-6FDD-45F8-8B91-1B57E1DC51BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b93a09d8fee4a896f82f1f21b569690545221295","datavalue":{"value":"1420.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919243$9E7F4800-B8AA-4194-ADBE-9BD585D3F6C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b791505d6015bc28333029a5b08b13a37c92bcc1","datavalue":{"value":"10.1007/978-3-662-49674-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919243$267D0852-4D4A-4484-9F06-36E568DCFA47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919243$13154CC4-5552-4327-A24A-BC3882532487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919243$A348C939-4F87-4241-BCD8-BF2276F1422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919243$A800B162-B510-426A-B66D-A372AF8C9EE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919243$CCBA99C2-10EF-445C-BCD6-9D7C9A8F2038","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5919243$8D3AD44C-2FD8-476C-9422-7464D5A69564","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919243$4B7897C0-5447-475E-A23F-748C24ACA9E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"835c1d84dd45217c757c497789027e3f6542aaaa","datavalue":{"value":"7106027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919243$28E013A1-287F-4CF6-A579-1AD5B1C4E93C","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":"Q5919243$5F1EF37D-1E7E-4DC0-8715-511E4A3EAEC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7924980c89d675df98868eec7ca2a7dd76b9e263","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49674-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919243$BEA048C4-5AF3-46BB-8745-F5A58FBF3352","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77d9b267e4c1a1cf17a119580f9d256257f37982","datavalue":{"value":"W2468374495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919243$8AF97700-E115-4BC8-BC3A-DF166A969732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e330ad884531a83a883cb9196dd68b4fcf727fe","datavalue":{"value":{"entity-type":"item","numeric-id":5919079,"id":"Q5919079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83adfa01e040533e23b7ad7f8944accf8cc4eb6","datavalue":{"value":{"amount":"+0.925482988357544","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":"Q5919243$A9D763C9-5D0C-46A6-ACA8-F885388CC3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc092105d94b8572030033b080298718d2b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2558326906915f2c72ceca5fd52ae9d6a7052efe","datavalue":{"value":{"amount":"+0.7846084833145142","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":"Q5919243$BA234CEE-B021-4D16-8506-F76CCA97664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0bc38bfa76c830f3c2b58c99129c4b3e7a123b","datavalue":{"value":{"entity-type":"item","numeric-id":2486398,"id":"Q2486398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88691de45830338ae77b5077a99f30811b9cd168","datavalue":{"value":{"amount":"+0.7356124520301819","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":"Q5919243$7CD2D666-A1F4-4E05-9D40-7F24023319A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f80bb4bc37217d18962b905d5f13fb1b586d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5900692,"id":"Q5900692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e152c4249fdde2ffe48c9808acb4131eabfccb","datavalue":{"value":{"amount":"+0.731749415397644","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":"Q5919243$9F767E9D-1F95-464E-8060-E86191271EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbe632a0b297f0680635d38f64812e52ca73f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8cd5a6ec25a6b128c3078bde138d0b7d9921b9","datavalue":{"value":{"amount":"+0.7266499400138855","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":"Q5919243$B3FED62A-F3A6-4692-BBAB-B3D270E518AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919243"}}}}}