{"entities":{"Q3842954":{"pageid":5872859,"ns":120,"title":"Item:Q3842954","lastrevid":54504656,"modified":"2026-01-27T14:01:36Z","type":"item","id":"Q3842954","labels":{"en":{"language":"en","value":"A Weakest Precondition Semantics for Z"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1192539"}},"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":"Q3842954$839A5A16-F85E-41B4-8459-9A7D229E3698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c99e1a6bcd097c44b71c493bb7bc1583bbfd1e81","datavalue":{"value":{"text":"A Weakest Precondition Semantics for Z","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3842954$FF3197D9-4A8E-41DF-AD5A-3DDC85CA255D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c166c638915b3d366d551d98ae2d0b1cd484e72","datavalue":{"value":"0906.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3842954$B9691C95-E790-49EB-9273-8C1B20B9527F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3842954$E87553EC-75C0-45B4-8E80-4EB7E7A2DF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3842954$5801F972-8435-4585-8FA2-15999954F15F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3842954$E6705296-EC92-42D4-8DFA-C096D38E3421","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31865ebef8c534af5190673dcbd870c8ef3b53f0","datavalue":{"value":{"time":"+1998-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3842954$364C9526-8B36-461F-AA8A-E8219D53EA50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fd9eeb1fb6237c233a12ce2dd2a4f6cc0ef41d5","datavalue":{"value":"https://semanticscholar.org/paper/e9b897389d1bef36521d3d3f023280986b7224aa","type":"string"},"datatype":"url"},"type":"statement","id":"Q3842954$283FFD3E-C473-45C7-A501-FD8CAEA884AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3842954$BE53B35F-7CCE-4CBF-AA06-087EFBA33895","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa003fe77fcf977f6d26943f0f8e9b0301ce1ca1","datavalue":{"value":"1192539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3842954$13A54C41-8D39-4DC6-9C6E-57C64767E79D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9db0bf4ba91f1be304051d24a2294aca023a62","datavalue":{"value":"Z specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3842954$A56487F3-EB31-4BD9-BC1A-708D35E5373D","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":"Q3842954$34D8AB70-82D8-4C65-8CE2-B250400BEE10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ad2f7beae8ee276ce81811d4673bd180cfa53d9","datavalue":{"value":"W2132644164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3842954$526CB7EC-F47D-406E-B879-5910D39E45E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be452d2c385c1d254b7142d5c044b0e8348c85b6","datavalue":{"value":"10.1093/COMJNL/41.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3842954$C61FC121-6EAF-4C8D-9DC2-BF3D71FE56FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7af1a657a12dc87f9b83ab25dd90841e1f2197","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2438bc66c3b096bdf3be40090172334e49cc0468","datavalue":{"value":{"amount":"+0.8059794902801514","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":"Q3842954$F538BA58-83A3-41EC-A016-DC2E14D071F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf40fe6e41abe507700f2b9818bffab569481e9","datavalue":{"value":{"entity-type":"item","numeric-id":4281676,"id":"Q4281676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5d68b195ca5167e3d20fb65d9439d9517fc9d5","datavalue":{"value":{"amount":"+0.7994303703308105","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":"Q3842954$1CBC4294-3A1B-4965-A21F-74F037CC9198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88e7fc444b61b2c5fd045c40ec97d8427b63ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff367731786f48eed94ba14eb0287dd035be8c97","datavalue":{"value":{"amount":"+0.791483461856842","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":"Q3842954$036B083A-EC7C-4CB7-A7B1-0BC1FB01A97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4ed5f4daea942b59c8d279fcecb4d9b6135ab2","datavalue":{"value":{"entity-type":"item","numeric-id":789174,"id":"Q789174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b130936b567372a24928d11a88a5991d46db57e1","datavalue":{"value":{"amount":"+0.7771289944648743","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":"Q3842954$CA58ED8B-D642-4154-9078-26C157F66587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a0626fef48a0fe0955dd4d1bfff167635e9099","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a640c0e27029d1c3fd827e29ac9a9abcb7b9e105","datavalue":{"value":{"amount":"+0.7668079137802124","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":"Q3842954$FFC742F1-0200-40A9-8863-B34A2F015BED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3842954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3842954"}}}}}