{"entities":{"Q5757925":{"pageid":7787476,"ns":120,"title":"Item:Q5757925","lastrevid":50160932,"modified":"2026-01-13T07:43:31Z","type":"item","id":"Q5757925","labels":{"en":{"language":"en","value":"Proving Behavioral Refinements of COL-specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188818"}},"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":"Q5757925$DF9E2AED-3617-4841-9244-15C1F4C3BC66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a223afcadcf5dd585965ea90fa18fad8f657758f","datavalue":{"value":{"text":"Proving Behavioral Refinements of COL-specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757925$60F41ACF-9F56-40FD-A928-B29DFC2107A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"375d4b2d08e4b25623cadfc895c2841af4ed40a1","datavalue":{"value":"1132.68486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757925$9A24DC7A-DDFC-4526-8EA2-49FC30152E1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3cc071e87b6b9886209c9962d88bd4fc24757b8","datavalue":{"value":"10.1007/11780274_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757925$2768CC74-87BE-4BD2-AC6B-1F8B83ECDF95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6480161792098e32949425ead8570d90a9967f","datavalue":{"value":{"entity-type":"item","numeric-id":671499,"id":"Q671499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757925$219BE24F-62CD-4CDB-B09D-DECE1A1069E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757925$F5546D1D-8C1A-44A2-8B02-AAC6130C5CB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bbd4504589019f211eb6322a1c0b2bc9e8c55acd","datavalue":{"value":{"entity-type":"item","numeric-id":5757912,"id":"Q5757912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757925$0001B048-883D-48AB-AAC2-CD9C5A58A7A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757925$B15ACAFD-6542-4EBF-A326-EAB222DBF69D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757925$DBC4B304-F44F-4FC5-BFCB-B7DB0B6ED448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757925$B362CAB0-D689-4FBB-841A-5767F1BA2FF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d5366561f5d4c47c79ab40023a326a7910af2b3","datavalue":{"value":"5188818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757925$FC8140DF-863D-40BB-A515-11F8645558AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757925$157B3A11-8E74-499F-B0E4-E24D2BFC446E","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":"Q5757925$63C5045A-10AA-427B-B612-E19299EE20BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04a7c63112ccff8460ff1944f7c9f00999fd0ddf","datavalue":{"value":"https://doi.org/10.1007/11780274_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757925$2B14D8FC-5C12-41EC-9026-F253751A6311","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da5ca8ebb18161596604e59242278cc0327fcd1b","datavalue":{"value":"W1529044004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757925$5130EDA1-2546-45F8-A5D9-58DF19AE528D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecad16126f644600fd0e7d51e1de674cf8436f7","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c0f30c23afd83034309bc075538431ca6171dd","datavalue":{"value":{"amount":"+0.841338574886322","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":"Q5757925$58E39AD0-11FF-426D-9E8E-5BB412EE46F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6f7274002e6416331721bde73b9862113d7da5","datavalue":{"value":{"entity-type":"item","numeric-id":5395110,"id":"Q5395110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a1e93742a5207d134913ec6db7c776009e1481","datavalue":{"value":{"amount":"+0.7721390724182129","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":"Q5757925$6904987F-046C-4ABC-B0F7-544AA0F26806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c5b68931cb6f92af8944912044dea6d82ae0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842536,"id":"Q4842536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532699330d8d96d87e4261a6293ca70abb4d9028","datavalue":{"value":{"amount":"+0.7672562003135681","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":"Q5757925$79FA098E-47F6-4741-B00F-4A77BD661B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c0b247fdf32a6c29e6de07d9e661fb11c73f45","datavalue":{"value":{"entity-type":"item","numeric-id":1127821,"id":"Q1127821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0e542a6012bbce24395218a126f49ffb20bd21","datavalue":{"value":{"amount":"+0.7641543745994568","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":"Q5757925$AC49957F-5822-4221-A2BB-D58A8E3CCDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdbf44bd84ca6bd3164e1de617a71c795737ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1853454,"id":"Q1853454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0aa34f8c188d45548bc5c107fe492d0e19c919","datavalue":{"value":{"amount":"+0.7404312491416931","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":"Q5757925$3C36061E-34F6-4997-B092-3C426EE64811","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757925","badges":[]}}}}}