{"entities":{"Q5426863":{"pageid":7456437,"ns":120,"title":"Item:Q5426863","lastrevid":50211878,"modified":"2026-01-13T13:11:53Z","type":"item","id":"Q5426863","labels":{"en":{"language":"en","value":"RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211232"}},"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":"Q5426863$8DB2665A-660E-4E13-AA0C-450AB46A7707","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d159a9551f82bd775d70689f217e90910baf4bae","datavalue":{"value":{"text":"RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5426863$FD5D2988-9EED-48EE-8381-9A4743130AD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40c1f5f5342e9350d1667cd75720d709a7566458","datavalue":{"value":"1150.03300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$2787ED76-A616-4A58-9EBD-6254252C2F3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86023319c598932b5c58ed4f9d010fe1d1b0d571","datavalue":{"value":"10.1007/978-3-540-73001-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$A1807428-B07A-4357-9E66-F8C193A6618A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426863$95113F73-CDA9-495B-9CA7-BF1FBCC8863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7e9c9701e4401cd034b37600cd835ad215f6b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1854492,"id":"Q1854492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426863$01B0BABF-87D9-433F-A2AA-08FBA00F12CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426863$891BDA7F-7412-4C0E-ACA6-E4805070E548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5426863$B440039C-CF1B-4DC4-8739-A5353A1B13DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$FE535CB1-5802-4A00-B602-A56486E9FE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$A42855F6-A642-45FB-9C09-427068D1B234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$0BDCFAA9-BCA1-4E8F-A53F-3D72B3F21338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$F0982605-FDBB-45C5-8FF8-A6693176DDDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9bb0a09dd4dcee5da67aa0108dc71077d3d1e85","datavalue":{"value":"5211232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$907BE335-BC9E-43DB-8958-EA1A13ED0C20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426863$6F9E98B1-CC2B-4406-BD7B-C7842512C947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5138aa8b5d1aa4fce219e8bf51cff1589867ec5","datavalue":{"value":{"entity-type":"item","numeric-id":20769,"id":"Q20769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426863$6D776A6A-A99C-40FC-9432-9D06324885CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0fc5fe051378e5a736e0282825861e40f900b60","datavalue":{"value":{"entity-type":"item","numeric-id":14525,"id":"Q14525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426863$BF93A60C-CA9F-44B9-977A-86D86BA37B03","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":"Q5426863$7CDAD004-3537-47B7-B191-B233B39E6E8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3c74c6d2482a8d290a8b9b7fe2c54926c0a9982","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73001-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5426863$4BEFDC25-39E2-475A-8351-A113B7A0032B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6aaf3a911238d2d871aa517057e96b6addac29a","datavalue":{"value":"W1961244323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426863$31A929A1-3D7C-44EF-9074-CB4672275AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faafc47de9f3c5e5821d5fe8cdfa34a3c117b626","datavalue":{"value":{"entity-type":"item","numeric-id":3611720,"id":"Q3611720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b157543a135a6e73dad74292a2127efa31c13116","datavalue":{"value":{"amount":"+0.9718195199966432","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":"Q5426863$2423D361-5F99-4000-B4E5-E86AEA61916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e34e5dacaabdf8ff4d39aa3b4fa85758344e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4918049,"id":"Q4918049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92631cf948e9ee81011d859bb8f7bbfe1840f484","datavalue":{"value":{"amount":"+0.8126858472824097","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":"Q5426863$91A93C04-AD54-4558-B89E-CA1E2E7A9E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db5e6b59e015cf211e398c01960f3ea98149f04","datavalue":{"value":{"amount":"+0.7204688191413879","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":"Q5426863$D9D235A7-CB2F-4B9B-8AE8-9E0DBE90357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4c8b247f8f2b6f5773870112e144d613a43122","datavalue":{"value":{"amount":"+0.703170657157898","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":"Q5426863$F3064A86-8200-4304-A913-3843D3A80C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204a78e8fffb62f819779a61ddfe9e8668b5330c","datavalue":{"value":{"entity-type":"item","numeric-id":4340420,"id":"Q4340420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38762fc202b47007d0a62ac63352eecd81c622bf","datavalue":{"value":{"amount":"+0.6998388767242432","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":"Q5426863$B6530B56-D6B0-4296-888D-2F35F30828FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5426863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5426863"}}}}}