{"entities":{"Q2324001":{"pageid":2334744,"ns":120,"title":"Item:Q2324001","lastrevid":71843541,"modified":"2026-04-14T00:54:39Z","type":"item","id":"Q2324001","labels":{"en":{"language":"en","value":"Program verification by coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104906"}},"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":"Q2324001$5ECE4FB1-E1E1-4C33-8339-54DC3EB829C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb62bcb30cdd848dec79cd7499cde0d2cf04dd0c","datavalue":{"value":{"text":"Program verification by coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324001$9600C122-5856-487A-AEBF-8B92B4245AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a42b6aad0bdffd1408018fe5ff5afb717d760415","datavalue":{"value":"1418.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$623CF4CF-7C1A-4F96-B4D4-0D0F30402794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d17f256b57af079ffbe698bbfe1f9fc91061228","datavalue":{"value":"10.1007/978-3-319-89884-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$8D0E7DA3-52B7-4CB7-BA95-A6DA0ADCB4EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b452e2aab7b155c098ec282a031021f8b3315ba8","datavalue":{"value":{"entity-type":"item","numeric-id":2323999,"id":"Q2323999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$89FD7943-493A-4D11-B77A-F5F84F1752C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab1a2425f1792caba11ad88ac3b2b493998e4c14","datavalue":{"value":{"entity-type":"item","numeric-id":2324000,"id":"Q2324000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$0292B72F-5B4C-4650-99D6-E050789A3538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$1AA74D83-8DAB-44BD-91E4-70DAB9FA9350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-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":"Q2324001$2D85D3C8-3576-4EF7-ADCF-8C2871BAE04F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$8E66CD1E-F02F-4810-95ED-80CD8AD2C9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$ECE040C3-E771-4689-B04E-517EE51CE777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$CC1E5926-9F24-4398-81E7-1AFF424A09AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$C4241C39-938D-4781-9F5E-6F4C699901ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ff78dd8725e9cc1fc554ea5c67e14c1aca2f5fc","datavalue":{"value":"7104906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$51114546-9D34-49A0-BCA7-B95E3D3437E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$AE5E2F41-E63E-49FC-9AC5-3DC22EF88A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$B3D047D0-F54F-4A1E-A19B-E90B9838E717","rank":"normal"},{"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":"Q2324001$97408F64-347A-43F6-84D3-4AA8154AB1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$96F86AF4-D7C2-4FC8-9B21-1A6254B9FACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$E75CDA2F-FDC6-40BC-BD7E-A651E14728F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"408b5aaba7f2ea024c4a5a39c80384dc0e30166d","datavalue":{"value":{"entity-type":"item","numeric-id":30823,"id":"Q30823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$C9292566-D51A-4486-8A24-FAC96008F696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$B5384469-B814-404F-B9D2-80879F828DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$86A0DA1E-342A-4ABB-B4D3-EC9F619B5F41","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":"Q2324001$40553481-D93D-4EAF-BE0B-C1E11F1A023C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74c4f9dc1085dd7ce40a4b603233c8d23219381e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89884-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324001$EDC04EE0-D959-4E9C-A945-0C717691F501","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"470d04b4a00153e2b512112edd79f937265605b4","datavalue":{"value":"W1165569327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324001$8A4FEA98-DCAE-494A-897B-85188897964D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e6439c9ecc37247f435ac5bca7e4bb5111310f","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559a8e28f345549f5f4af3e00ac1d379a21006cb","datavalue":{"value":{"amount":"+0.7680150866508484","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":"Q2324001$F2AE1408-F903-4A58-B6B3-7E405214BE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbd36a7f35f141389198a9ec466617009c589f6","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64af6be8398b90cb1a29405899551060856e615","datavalue":{"value":{"amount":"+0.7456356883049011","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":"Q2324001$3B189F56-1C72-4585-BBB8-05294AA0D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67dd7d55f62e408d31f05e909152b0bfbeca90d","datavalue":{"value":{"amount":"+0.7446117997169495","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":"Q2324001$36AE059E-CDF7-4B65-8CB5-4580EB13EEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf782005bff7e563f45498cc946d95bcc9f03fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799160,"id":"Q2799160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8e5ce68588ed69730750baf1de8484e861cef3","datavalue":{"value":{"amount":"+0.7393814921379089","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":"Q2324001$5A180D06-48E2-41B4-AE68-A975BBC2831C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324001$C6B46834-3506-4561-B917-42C51E59B9EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program verification by coinduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_verification_by_coinduction"}}}}}