{"entities":{"Q1370155":{"pageid":1380895,"ns":120,"title":"Item:Q1370155","lastrevid":68752896,"modified":"2026-04-13T01:50:07Z","type":"item","id":"Q1370155","labels":{"en":{"language":"en","value":"Supporting contexts in program refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1077911"}},"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":"Q1370155$2682CAA4-F887-49D1-BE35-673EF4B77CEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48d631e942f8355f9d5f2f28627e41588fc5f7bb","datavalue":{"value":{"text":"Supporting contexts in program refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1370155$AF5FB9B6-6D02-46AC-8CE7-DB87AD21112A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab20314a1fadf24a3756e3e8ec524ba476d8b0cb","datavalue":{"value":"0881.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370155$77A419FE-E070-45C3-A672-2BD0746DDAD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af42431b5f2bda1e3ba4c9d285c79705493113f4","datavalue":{"value":"10.1016/S0167-6423(97)00002-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370155$26F1A8D9-3B15-4505-88D5-9D6919BE0B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75898a5123f24d2694ce7df48e6c7c69dff7ed50","datavalue":{"value":{"entity-type":"item","numeric-id":1370154,"id":"Q1370154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370155$80AAE9F8-A1BC-4961-9796-50093EE66905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370155$8F7E710D-3C55-4E7E-810A-04E83E56E016","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370155$0C7F13BB-FC44-48DD-9A43-F56D21F92455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1370155$5F703C43-CD5D-4F55-AB00-8FFC02A902C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370155$B51CD5D9-B916-4026-8CA9-4638DA1563C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afc88d43e0a9a93bd4a8bb48fc5dabc7b89339e5","datavalue":{"value":"1077911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370155$AD03E47B-F984-4153-9CA6-DB769E629D42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc880899fa70b68fb94c4864067b2c100998ad19","datavalue":{"value":"program window inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370155$EBC805EF-598C-4086-9C7D-85A9E03889DE","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":"Q1370155$CF1EE9CF-1BCD-4E16-9DC6-307EE1B64DE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c8a229954a57da3ccd57fcc4d67e324fe00016","datavalue":{"value":{"entity-type":"item","numeric-id":4250673,"id":"Q4250673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2f7def52e6bd0aacd802c1ace4c3040f2bc18a","datavalue":{"value":{"amount":"+0.8479133248329163","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":"Q1370155$7DE922CF-37A6-40FC-A70E-7C9988424E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551c3030ce794fadfa9659c442c44464cdaf83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de7d8e2403484b8bf11eef5fae8e04cddf019c7","datavalue":{"value":{"amount":"+0.764561116695404","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":"Q1370155$10060689-6CE5-4DC9-8CF4-7DE79D4D0BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daf56642144f03efd4de438399ae9225a78121b","datavalue":{"value":{"entity-type":"item","numeric-id":4250652,"id":"Q4250652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89960a68b8fd14f4a2605129766a11d5ceb557a","datavalue":{"value":{"amount":"+0.7535916566848755","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":"Q1370155$8B7BC33E-E580-4F90-9D84-7E03E6AF6B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0ee11bfa6fc3e3b6b14705a8f669061dae5059","datavalue":{"value":{"amount":"+0.7449744343757629","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":"Q1370155$16EA62F2-A293-4CF6-B0FA-1DC4856606F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supporting contexts in program refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supporting_contexts_in_program_refinement"}}}}}