{"entities":{"Q1293891":{"pageid":1304641,"ns":120,"title":"Item:Q1293891","lastrevid":70084902,"modified":"2026-04-13T12:19:59Z","type":"item","id":"Q1293891","labels":{"en":{"language":"en","value":"ZRC -- A refinement calculus for \\(Z\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310404"}},"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":"Q1293891$C134FA8C-BDDF-4782-9435-6768136FE23A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e8f9d7d606df0a8014559cbffba67dff754c737","datavalue":{"value":{"text":"ZRC -- A refinement calculus for \\(Z\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293891$8DF297AE-ECB7-4D3D-95D0-70942EC7775C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8c795fda9d1a106bd50fb4c2efe6fb94123342b","datavalue":{"value":"0934.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293891$CD926E03-0029-4546-B462-BE56BBA250D6","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":"Q1293891$D77C15BA-EA89-4241-847A-03A589DAF59A","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":"Q1293891$22ED5EAC-A38F-41FE-8430-80ED9125609B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293891$DE2EFAEC-92A3-48FB-86D7-56BA01B04B52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293891$1616AD7A-CA76-4723-BEA3-8209D70922DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293891$3940D814-09BD-4296-84E4-5A8AB4DEAF4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0263932858a09d0a2130a4dc59d81c4d7ded1517","datavalue":{"value":"1310404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293891$E2AC121F-6507-4E27-A5AD-B1D75ADFD783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293891$54A222AB-11C0-4E99-847B-C6EB41F43D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8862bd03e02cecb4ee490c02a09cfc2ce9312b82","datavalue":{"value":"\\(Z\\) specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293891$8129922F-AA19-4A5D-ADFB-6662C78EA4DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50f64be83cd865b14d65168a98dcda7f24e44b9b","datavalue":{"value":{"entity-type":"item","numeric-id":33627,"id":"Q33627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293891$B38F5A08-2B86-40C9-A02D-15158B529A1D","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":"Q1293891$5CEDCE97-43B0-4908-9DFE-85EC1EF6D519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7995ad24c10110dd2e47dd816e04d357e677661","datavalue":{"value":"https://doi.org/10.1007/s001650050016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293891$B347AD71-3C2A-4079-A0CB-6DC61B1E840D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd7a505e380c15e4f9830a099bfe7a10595b334f","datavalue":{"value":"W2098243945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293891$87D80B34-3EF1-4D85-8BF0-3EBF0AAD3333","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"427c227082e7c6f2929ad822e58eb7051a6e5ea5","datavalue":{"value":"10.1007/S001650050016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293891$75F5EEBD-D77D-498B-8CEE-192E2B533B00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5fc9ae7c3385b007e01a98e44ebd6206621dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4472185,"id":"Q4472185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c32f6ba6f0830e4db1b0cd381707e90ac40575","datavalue":{"value":{"amount":"+0.8218390941619873","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":"Q1293891$D5B1D295-58B8-4015-BBE5-479ABFCAF2C3","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":"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":"Q1293891$14EB72A0-3871-4100-ADAF-589E45C12B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ec5be43d26a98ab8adc424df1a8a3499a14cda","datavalue":{"value":{"entity-type":"item","numeric-id":706506,"id":"Q706506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc84dd10c8f85db44214c6d993a562d04904988","datavalue":{"value":{"amount":"+0.7983461618423462","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":"Q1293891$298A7A3E-8594-4749-8F64-A7A09A40478A","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":"5d5c7ebcf5b506eb52c9bd2b6a9a7496652008a1","datavalue":{"value":{"amount":"+0.7931855320930481","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":"Q1293891$4BD486A3-0D90-4B6D-9C04-BC77E52271D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0a27d6cedd069ef29e0aa4b685e5c4ccad24b8","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0b530a2bbff318245470ddbab1d1ef0c90622b","datavalue":{"value":{"amount":"+0.7898011803627014","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":"Q1293891$9449F451-843A-41ED-890B-ABDACBCC58FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ZRC -- A refinement calculus for \\(Z\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ZRC_--_A_refinement_calculus_for_%5C(Z%5C)"}}}}}