{"entities":{"Q3007576":{"pageid":3018300,"ns":120,"title":"Item:Q3007576","lastrevid":51269312,"modified":"2026-01-17T13:07:22Z","type":"item","id":"Q3007576","labels":{"en":{"language":"en","value":"Using bisimulations for optimality problems in model refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908625"}},"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":"Q3007576$BA1F92DB-65B1-4150-AEBF-B7C779E26264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36171a1b5687534db14b1874379eb8c9fadbf52a","datavalue":{"value":{"text":"Using Bisimulations for Optimality Problems in Model Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007576$35DE990D-DDB2-4DEE-879F-CD4A5C9D105A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6082838dc303050eefab9f823a6c01d1a521ce7b","datavalue":{"value":"1329.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$7741F056-404C-40F2-ABA1-9A177A1E1148","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04fc6e4d81b27929cfd5a36b851f926c0eb7af80","datavalue":{"value":"10.1007/978-3-642-21070-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$820BC4C4-5342-4E3E-922B-B9A333CFA679","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6603d5a122c81c71a14e46850256e2bf242289da","datavalue":{"value":{"entity-type":"item","numeric-id":406439,"id":"Q406439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007576$E1D3CFC2-C051-41CC-8CD0-9983F7560AFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007576$9E65D9CA-5BED-4AAC-8E8E-FB06452654D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-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":"Q3007576$2653A077-E9F6-49A3-A7BA-E39DDD764305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$F4B9E1C9-8C35-4409-8D90-A0FAFEF14C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$F8F64A4B-CE79-4E90-A887-B679D04D5631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeddafe52ef4e719651e2b59a6bc1ad91b4e9cc2","datavalue":{"value":"5908625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$BA558D6A-0436-42A3-9E69-160BE3B82A77","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"195c631b37b2cef297407a3032147049fbed258c","datavalue":{"value":"Q62039045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$C413BF73-8F38-407B-BA03-F5C8BC93FF82","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":"Q3007576$A842122C-8EB7-4584-B2B8-4B1CA7B35F2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00a7c919c7290942c7b04554537d40075df4cc9a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21070-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007576$EF4F823D-C5D2-4741-9445-BBBA71C82D99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92416260ed1d5ddcc8314d7c73c14c88d3ebbd68","datavalue":{"value":"W166961375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$23B023BF-AFA4-45CD-8D25-8EE20E0DEF46","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5b9c342f5a4f64599c599169e1970590bc86db66","datavalue":{"value":"conf/RelMiCS/Gluck11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007576$A2E137D7-ED08-4472-9297-F96B6FB1A0BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd9decbaba482f59b8298dae4a5da22d1dee5c8","datavalue":{"value":{"entity-type":"item","numeric-id":3067468,"id":"Q3067468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604df7b261ade559072a02193a1beba1fedf9146","datavalue":{"value":{"amount":"+0.8287150859832764","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":"Q3007576$794328CB-911B-499C-9688-AB15B66ED289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2858c5076197a7fd63a81478ab155075762ceb64","datavalue":{"value":{"entity-type":"item","numeric-id":2915147,"id":"Q2915147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6862994a2df177472927b7c0e5f888f60e7f47ac","datavalue":{"value":{"amount":"+0.7843347191810608","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":"Q3007576$0641A61A-95C6-4803-BB7B-266C4FCA3767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251aeffc6362135bd6c0f1c643958bea1f9e50bf","datavalue":{"value":{"entity-type":"item","numeric-id":3522930,"id":"Q3522930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3409d2897f4717028897dd7476d714b2934ec9b","datavalue":{"value":{"amount":"+0.728675901889801","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":"Q3007576$A70F989B-37DC-4A56-9563-2735EA9CB5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bbbebfbdbd14491d7ffdd034cc1b28ee81820c","datavalue":{"value":{"entity-type":"item","numeric-id":3172876,"id":"Q3172876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5915ed7316d812c163cf37a0e5fdcf6e6115123","datavalue":{"value":{"amount":"+0.7256547212600708","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":"Q3007576$A62B8137-BFEC-4BDE-9B8B-B43488CE6830","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":"f97921a39ea8202a20b864436483dcb97e115153","datavalue":{"value":{"amount":"+0.7237417101860046","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":"Q3007576$E0AF6DE3-C882-4078-9CD5-D2E2AD4740A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007576"}}}}}