{"entities":{"Q2576578":{"pageid":2587321,"ns":120,"title":"Item:Q2576578","lastrevid":48612022,"modified":"2026-01-05T09:30:00Z","type":"item","id":"Q2576578","labels":{"en":{"language":"en","value":"Refinement is complete for implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238122"}},"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":"Q2576578$1EBDB70B-73D9-40FD-B707-EA8A1ECFCD53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb21cf1a7235bd4c5c3e338648e2f117821f7337","datavalue":{"value":{"text":"Refinement is complete for implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576578$8C420B1A-AC3C-448F-9D12-AECC9DDD46A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c481a913d0b6d6c018aaca47c0d08aec9ca266f","datavalue":{"value":"1101.68682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576578$6CAB4F2C-F484-4B35-ABC7-899603AC2FDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576578$42676D17-CCB5-4B03-A95C-94CC1AD74042","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576578$BC22EDCF-6154-4EE1-A167-9F9C82407E63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872b3ec3e8824551f65a9a9d299f4b9d6894a9ac","datavalue":{"value":{"time":"+2005-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576578$16CF2CB0-3A1B-4B8B-A2C8-D5FA5B3AA984","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576578$877493A8-6DC7-4A39-8D4D-C1985F2EFDD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e62385ebc439e123eae5cbd722c4b40f8f42bce0","datavalue":{"value":"2238122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576578$69AA0816-360B-4561-8C4C-C689D103395F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576578$850DC69F-CFF6-4CF4-9D01-CF9DC8723F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576578$DE47DAEC-099D-4F46-B4F6-144094299C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443b059d867afa0a3c6049b787a58dc35ce2d4b3","datavalue":{"value":"Modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576578$6785B2B4-3244-4FED-8B50-1A55ABBB2978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3391f6b33ae7e6768aec282148a2081e132a1f9d","datavalue":{"value":"Implementation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576578$11DB6921-3230-4BF2-A9AB-45B14C04616A","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":"Q2576578$194F799C-502A-44A4-B985-29B4C5C8E11F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"284e008b398dab29410af0c5818a4a4ebf70a7ad","datavalue":{"value":"https://doi.org/10.1007/s00165-005-0063-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576578$D11B37C6-F085-4647-94BE-0FA3B193020E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9525fe4cc6c59888b5947bba6d859960694afda1","datavalue":{"value":"W2035675534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576578$76F8D278-E517-4852-96BF-4BF668ECEF17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b9f21bcf47de411dfa65d6f7e264b6a3fbb62b7","datavalue":{"value":"10.1007/S00165-005-0063-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576578$10C69D15-8687-4E12-A947-7A45516E9786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fedac2374420c26f94c6d0c4142bf94246149e","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0650341bc7af1b1ce7bdb47aa5a3d564210d27e3","datavalue":{"value":{"amount":"+0.8741030693054199","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":"Q2576578$3B85EA52-6012-4261-80DB-05260D403316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1f6a672b82dda9b05bc8b203bf4cbb141fcde2","datavalue":{"value":{"entity-type":"item","numeric-id":2863878,"id":"Q2863878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fc8318aae960ab0367f8cdc36e5a37383aec4a","datavalue":{"value":{"amount":"+0.84624183177948","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":"Q2576578$ADE16D85-38E4-4B72-A910-A34E1072EF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ec441c3d44fca65d57104a393f9283143df5c7","datavalue":{"value":{"entity-type":"item","numeric-id":2340259,"id":"Q2340259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81e805d313b2026c4383126bcc215c7f6ec8ba9","datavalue":{"value":{"amount":"+0.8149052858352661","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":"Q2576578$52B153B3-5D00-4659-B1A4-C8AE42E7C82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6920ad3ec6d4a15b214a79ea7b4068d40052b0c9","datavalue":{"value":{"entity-type":"item","numeric-id":2851908,"id":"Q2851908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0c58f58664fcbb406a35ff6b7d222ff4a058b5","datavalue":{"value":{"amount":"+0.798337996006012","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":"Q2576578$B2B05FCC-D478-404B-93EC-ADE19C400D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171fb79828f2cc360c236b730d968f0a696ecb3b","datavalue":{"value":{"entity-type":"item","numeric-id":3400926,"id":"Q3400926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd85826c2b31918b222dc7a3783ad0cf4c49312d","datavalue":{"value":{"amount":"+0.7965701818466187","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":"Q2576578$FF2EFDCE-E661-491A-BD3D-4D7C6D903FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576578"}}}}}