{"entities":{"Q1961429":{"pageid":1972171,"ns":120,"title":"Item:Q1961429","lastrevid":72038562,"modified":"2026-04-14T02:15:13Z","type":"item","id":"Q1961429","labels":{"en":{"language":"en","value":"Constructive consistency checking for partial specification in Z"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389836"}},"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":"Q1961429$696B2918-333D-40E5-BF82-77EB71019F05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cc05f4cf6fc135ad09b2001ca5628def0e7d3e4","datavalue":{"value":{"text":"Constructive consistency checking for partial specification in Z","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961429$38A2F2A1-CB20-4D38-AC10-0C26845188F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e5ed206ecc296e21be25033173d4cc2ab6b9a20","datavalue":{"value":"0948.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961429$C856B3E3-2B99-47D0-8170-59ADE9178635","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bc9988df0a88b836dd1fa34f5a1cdd8b0e8af14","datavalue":{"value":"10.1016/S0167-6423(99)00006-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961429$BC67FBD7-B309-448D-B29D-14842BF1833E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961429$7AB0709B-E652-4546-9AD5-9B6C25653E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48632cb946b309fd3abb1fcdf63d4308e9e5bd3d","datavalue":{"value":{"entity-type":"item","numeric-id":736843,"id":"Q736843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961429$8A56AE42-A5C5-4A15-9035-9A41A85CF2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1bbd7b0f1716022bdd3bf8a6eace09ad2456ca","datavalue":{"value":{"entity-type":"item","numeric-id":1193745,"id":"Q1193745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961429$937439AC-9016-4972-8EF9-12A32CE8C8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b894f3710481687b369f46573061856cdaeedab","datavalue":{"value":{"entity-type":"item","numeric-id":333508,"id":"Q333508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961429$42AFF93A-12B2-4E6F-A7B4-FF43B85B3BB7","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":"Q1961429$5EEBAF98-7707-4C62-97DC-920A49B7C8E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cd41bcd6eb3eaebdb801c878ba706a0044ed940","datavalue":{"value":{"time":"+2000-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961429$146AC5BD-6B17-4F05-9BE2-0ACED36AAA57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961429$37BF983D-BD04-4B03-9378-1F038CB4C8AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a0db7e46440624212e3be65a3b6c7e9be44d6d","datavalue":{"value":"1389836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961429$28E84D08-9E78-4BEC-8C98-1C818451C902","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcd5933fc8d00c2f18897769ccffb5ec1b80436","datavalue":{"value":"partial specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961429$244CB17F-0A54-4A89-B3BF-9A3995520972","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":"Q1961429$F1720AE5-1B4D-43AD-A363-333792CD1D98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e560863b6d9bb376dec052649e11fff837c5efed","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(99)00006-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961429$755A6EC7-7061-4953-8517-89B58D87A588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"878920bde74a14b767a7bd06bbd6f6410f61b0e1","datavalue":{"value":"W2005510782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961429$EDE2CFA6-2A0D-447A-A51A-72BEB9258B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f61c9aede3d60e9748bd045c50c99517650f47","datavalue":{"value":{"entity-type":"item","numeric-id":1177172,"id":"Q1177172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf655a290136286d203b8e36aa73c0ba200a5f0","datavalue":{"value":{"amount":"+0.8655923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$E57F0B95-EAC6-49BA-9D38-7F0EC261B8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3f9f239abaca026633b107a5cc8fb381479880","datavalue":{"value":{"entity-type":"item","numeric-id":959820,"id":"Q959820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21c8a021319bbd9942a707a727de4c5b4193887","datavalue":{"value":{"amount":"+0.8563454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$47CF12C8-E77C-4F20-9AF4-A3E91AE420BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb5ab1cadad42c03795494563e56a4da9a9b0a3","datavalue":{"value":{"entity-type":"item","numeric-id":5897505,"id":"Q5897505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21c8a021319bbd9942a707a727de4c5b4193887","datavalue":{"value":{"amount":"+0.8563454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$69FBE568-3912-40E8-9091-0D71A089A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cb1a60e68a2209f28ed72ef25da771b7175c3f","datavalue":{"value":{"entity-type":"item","numeric-id":4436973,"id":"Q4436973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a5b87fa7567ee2eea5acda854208d34dde0464","datavalue":{"value":{"amount":"+0.85364145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$F5241973-10D5-47A7-9115-1C873F630DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545b7bf9dce5cf86f48a34fb4db61cea8421329a","datavalue":{"value":{"entity-type":"item","numeric-id":2851539,"id":"Q2851539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7cb3e8e8d824a41e177fc394673347b7b07c49","datavalue":{"value":{"amount":"+0.8534554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$D3E9DA85-2808-42A0-A6FD-980EB5D2A42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d148f2efc7554233a315693343ea5700c2434da6","datavalue":{"value":{"entity-type":"item","numeric-id":5703821,"id":"Q5703821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fac13d035181955689e7be128810cc77f0210f1","datavalue":{"value":{"amount":"+0.8511654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$9596A823-4F8F-4FBD-A12D-76D1CD336A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d77daaa1fa03959a43d15746c90350064d5911","datavalue":{"value":{"entity-type":"item","numeric-id":2946578,"id":"Q2946578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc814a42ad36dab030203aa71199477d93d5acc0","datavalue":{"value":{"amount":"+0.84983027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$F49CE84C-50A7-41E0-BD6C-D73684BAA1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e391b0aa8c6dfe5663003fdb3f9604dbe9836802","datavalue":{"value":{"entity-type":"item","numeric-id":3842954,"id":"Q3842954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f08511c671c873df8906f13253c5208afd46d0","datavalue":{"value":{"amount":"+0.84394795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$71D8EAEE-372B-4572-A34F-4F8713B70A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee5bc3cc775a9ea3c4e9bfcc2e213fa4c95e2840","datavalue":{"value":{"entity-type":"item","numeric-id":3601886,"id":"Q3601886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d9650980c489195245a21999abdf0de7076a9e","datavalue":{"value":{"amount":"+0.84334046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961429$DCDE2683-D433-4F2A-8D79-93506B7E967A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive consistency checking for partial specification in Z","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_consistency_checking_for_partial_specification_in_Z"}}}}}