{"entities":{"Q2844820":{"pageid":2855540,"ns":120,"title":"Item:Q2844820","lastrevid":83853479,"modified":"2026-05-07T13:00:30Z","type":"item","id":"Q2844820","labels":{"en":{"language":"en","value":"Refactoring in maintenance and development of Z specifications and proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199484"}},"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":"Q2844820$95BA1D86-BC0F-4FF0-82AC-B2A1EEF8D1B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2cb8fed229185f159aef17339b48ca8763e8873","datavalue":{"value":"1270.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844820$EFD87D86-16D8-4458-8C95-E9BDF69D8A76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fa9ebf2704b0b5e819d28e6b0a71fa6957a8f06","datavalue":{"value":{"entity-type":"item","numeric-id":933422,"id":"Q933422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844820$07A08189-1155-4F70-8D93-216E1BCD0630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e318e2d9e3b60c42602703ff9e804e23abb7e15","datavalue":{"value":{"entity-type":"item","numeric-id":1752830,"id":"Q1752830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844820$9D11AB5F-F2EE-4690-BF28-28C9BF267C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1873135ddb84e62914de120cb624b94d4772ad50","datavalue":{"value":{"entity-type":"item","numeric-id":1082791,"id":"Q1082791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844820$81EFBFCD-9427-462B-B6C0-4D6F97B9369F","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":"Q2844820$7F85D1E2-6FC9-48D9-ADC8-58FCF5EB52E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc18cd549ed041dc1bbe720a8e56b923e0a7a5c0","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105804852","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844820$5492A0AD-56FF-4CBB-97B0-BC0ADE85F4DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844820$53FE5F64-2DC5-4E49-9B1F-75EA7E87A0BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4f8a2cba766e8400455000bbac05d96b67cb8fe","datavalue":{"value":"6199484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844820$DABB2930-78F8-40E5-B590-2251919CE54E","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":"Q2844820$AB7E8CFE-9398-4CF6-9ABC-D621690D7982","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46cff9618c38eea2779307f31986ef9205f5ea35","datavalue":{"value":{"text":"Refactoring in maintenance and development of Z specifications and proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844820$9F2127AA-2DA3-4436-BF6A-4E242FBA92B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cdca6f60ebeb82c5832da4e4dec6e63dc57b0b","datavalue":{"value":{"entity-type":"item","numeric-id":5428914,"id":"Q5428914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5cfc19344b202b2843c1b777c71f750e3dfed8","datavalue":{"value":{"amount":"+0.7875645160675049","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":"Q2844820$F9EEE305-83A7-4BDD-AD6E-C4CF02CE9295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4713ac259a3870754ccd26930792fa02c8e070e","datavalue":{"value":{"entity-type":"item","numeric-id":5428879,"id":"Q5428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ec10fee68c23f3bec84072337704a27e36e9b4","datavalue":{"value":{"amount":"+0.7668445706367493","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":"Q2844820$7CEEE42A-08F1-454F-BB7B-FD2F63AFBCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6802b362c841273e3825818c6b0ee2cbfeabcf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5200123,"id":"Q5200123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4626e86d60244f11f9af9268d9726812cad6693b","datavalue":{"value":{"amount":"+0.7638673186302185","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":"Q2844820$438E9182-0BE3-439D-A31C-A27BDD10EC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696cdb0eecdd39eb5dd814feb85a6efdb9e26a7","datavalue":{"value":{"entity-type":"item","numeric-id":5403473,"id":"Q5403473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f53f44ef46921bb2f557ac5a9b752684b03c43c","datavalue":{"value":{"amount":"+0.7614521384239197","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":"Q2844820$6B64AE11-A5A5-4CB7-BEB0-AAE9DF79196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f78de6b81fa264dcaeb661e0cfd7326ba27c76","datavalue":{"value":{"entity-type":"item","numeric-id":4436954,"id":"Q4436954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632af7cbb73b0652fb50a651822fbb4b38259e8d","datavalue":{"value":{"amount":"+0.7388617992401123","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":"Q2844820$63A1E968-2526-41F9-8117-3EE81DEEC3B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refactoring in maintenance and development of Z specifications and proofs","badges":[]}}}}}