{"entities":{"Q918219":{"pageid":920067,"ns":120,"title":"Item:Q918219","lastrevid":65371116,"modified":"2026-04-12T02:07:26Z","type":"item","id":"Q918219","labels":{"en":{"language":"en","value":"Types and invariants in the refinement calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157901"}},"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":"Q918219$CA61F731-8119-469F-90B0-8576F87A400E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760243e81b50ed59a50654c9cf9ac59d0e17b022","datavalue":{"value":{"text":"Types and invariants in the refinement calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918219$A3B012CC-5464-4BD4-831F-EC8357838CF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"520583be5ed01abf15d2702774338d81c5548304","datavalue":{"value":"0705.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918219$4D98CC76-F16D-4057-ADF8-B7F2331E9001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c18e27ec56d6dcbff2c61ec8a318d80b790ae8f4","datavalue":{"value":"10.1016/0167-6423(90)90024-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918219$57D696F4-945D-401D-A918-66AD17AC14B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918219$4A880CB2-29C4-4A75-B2AD-D7B89EFAB8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ae9e99ea7addab9112f26a933a21c9c1ac1e818","datavalue":{"value":{"entity-type":"item","numeric-id":918218,"id":"Q918218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918219$F2E9BB80-2765-498D-8767-93A6B808448A","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":"Q918219$9E8F7694-780B-4AD0-AA85-6B2C198571B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918219$717DDE9D-7F23-4BDE-8C2C-1DDBA4E7109C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918219$E775E303-8824-4CF5-94E9-4292EFBE3394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918219$D39B74DD-C784-4F03-BC6B-C2D720C6656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918219$D3A86F23-3B34-4DFC-B8B9-F011742D656B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87154aead08ebb66b454d4a6ae0a98aff40dedb9","datavalue":{"value":"4157901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918219$99E2EAA2-040D-4BD1-A4E7-3503BEE4A7CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q918219$5E468188-4C9A-4B02-8E66-9B98697161E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q918219$98D1D13F-5C38-4869-8B4B-E4DC65605E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q918219$52D75CF6-6401-4FE5-894A-6FC3EFE9F827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q918219$32819750-2CA4-47D6-85E7-193C52AE8FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q918219$9E195360-B09E-4277-BEE4-C4B4316F3C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5e78b438b6b1c09f22af7529224da8edd3a394","datavalue":{"value":"type-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q918219$FB02D8C8-D1B8-40E7-AE3C-76B5D6C0BE99","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":"Q918219$0A17D1B4-3AA3-4F56-8E5A-5106AE636D59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5c4c5d6d37741905d53eaa2e859d4be01ad80a4","datavalue":{"value":"https://doi.org/10.1016/0167-6423(90)90024-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q918219$ED3590EE-2599-45ED-A4A3-EA65D078A1CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"422eb36441e3615b8578b43dd28a13efd2503449","datavalue":{"value":"W2173852369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918219$0B1C6C93-5CA3-4BD3-AB8A-23A0342E6115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9425ac4f2b0d553e23ac5338717734486a1b4b37","datavalue":{"value":{"entity-type":"item","numeric-id":3060978,"id":"Q3060978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4bab20400a344806cf750208e196419c485321","datavalue":{"value":{"amount":"+0.8049212098121643","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":"Q918219$BB1F6603-B001-46CD-B8B0-4FE17B05E5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d282b31cb4d4c03ed62746d9a29a1af5ef30f8","datavalue":{"value":{"entity-type":"item","numeric-id":4278674,"id":"Q4278674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b11fcd93741ef7d1f02b4bc0e0420ee54745a7d","datavalue":{"value":{"amount":"+0.8015641570091248","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":"Q918219$37DBB84C-74D4-4568-9BD3-3F91CF54A265","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":"ae5d102ca0101f7fdc9a531a28b9d4ffe9b3652c","datavalue":{"value":{"amount":"+0.7834396958351135","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":"Q918219$7C23B7B9-5991-4F90-8676-D9EC7488E9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dddef22978459d2b01a999c49af777dfeea14e0","datavalue":{"value":{"entity-type":"item","numeric-id":3612622,"id":"Q3612622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c471cd0e0b51b1751167285f5a3a8ed34bb3e404","datavalue":{"value":{"amount":"+0.7818053960800171","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":"Q918219$0F61F475-C746-4357-8E76-E345A1D426BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2d4dcc1960b15b4793a79b80662e02a9401a86","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c356810ae4f0fc28d975678490691e47d279a73f","datavalue":{"value":{"amount":"+0.7729867100715637","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":"Q918219$25098AE8-FAE4-46F4-9174-B8C462037F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types and invariants in the refinement calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Types_and_invariants_in_the_refinement_calculus"}}}}}