{"entities":{"Q2844821":{"pageid":2855541,"ns":120,"title":"Item:Q2844821","lastrevid":51802745,"modified":"2026-01-20T03:08:53Z","type":"item","id":"Q2844821","labels":{"en":{"language":"en","value":"Refinement and the Z schema calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199485"}},"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":"Q2844821$653B8F35-2CF8-4341-8B2B-4B6D86EF5612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e41fecd900094ef5c3bf343d77dd2842fbca2ad2","datavalue":{"value":"1270.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844821$1AE6F04E-1711-4AA7-B701-0772271C12BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a8f0435668451d4af20db6101d27b6646d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":470037,"id":"Q470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844821$52DC2ADD-867A-4EA7-87C5-326037952746","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844821$96699CAA-8C3E-48B2-8C0D-E16A38E85172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dec0ef9c61b271762f3365433a37b68b9e392514","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105804864","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844821$4AB33D75-1107-416E-956E-D2592E00FB92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844821$0CBF6B95-D5C8-42B2-9EFE-86BDE4BA6B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844821$B340DFBD-07F6-4E01-8B5A-959CF2FE7172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb01cca8ffed31b643e86f2cf7313eb5ba884c29","datavalue":{"value":"6199485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844821$45B1E1BC-222E-4CAE-A4A5-F441F7BC1258","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":"Q2844821$16500B21-2097-405A-AA42-857E7A80DB15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa6fe65d6519ec6758e69e5852366c6a72d300c1","datavalue":{"value":{"text":"Refinement and the Z schema calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844821$53B2633B-4831-480E-A7B1-CE938B57DC6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf19ccfe7e11df8d4ff89bececa1df447d6b94d","datavalue":{"value":{"entity-type":"item","numeric-id":5703815,"id":"Q5703815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f63881bedf033120b0b37edc44ae0514d52dc14","datavalue":{"value":{"amount":"+0.9400042295455932","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":"Q2844821$FA31A4DB-1C5F-4D92-A4A3-F9B0CA30F3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81bcb71cf95c8c43c6093790378a95950ef9a40b","datavalue":{"value":{"entity-type":"item","numeric-id":4436963,"id":"Q4436963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b1bae243d8650f6b26bee70a613711435ccadf","datavalue":{"value":{"amount":"+0.8849295377731323","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":"Q2844821$34F87034-3C28-4F5A-BE46-22DA42DFA621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59fffe93b8140a5662a30d8d749a62d448a0230","datavalue":{"value":{"entity-type":"item","numeric-id":1583855,"id":"Q1583855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7364c17362f514e9b60216d28f80d34f30b5672","datavalue":{"value":{"amount":"+0.7928436398506165","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":"Q2844821$ED7F0468-4CBE-438B-985C-7D621642487E","rank":"normal"},{"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":"0a7971df25542a1b92ded6ab3c25f9cedf3f0393","datavalue":{"value":{"amount":"+0.7753186821937561","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":"Q2844821$C83F531C-A0A6-4313-9AE5-8DB6FB73A5D5","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":"49098a3277d7e975f030ecfcf277dfea54fe1d18","datavalue":{"value":{"amount":"+0.7622702717781067","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":"Q2844821$2C3676EC-FBDC-4238-AE8A-708877F316CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844821"}}}}}