{"entities":{"Q5472879":{"pageid":7502438,"ns":120,"title":"Item:Q5472879","lastrevid":49858081,"modified":"2026-01-11T09:10:23Z","type":"item","id":"Q5472879","labels":{"en":{"language":"en","value":"Proof methods for corecursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5033840"}},"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":"Q5472879$4BD84F63-183F-44DA-A468-A3E6A075D927","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02cec5b7d8fcba060454c3ab7119c6dd146008b2","datavalue":{"value":"1098.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5472879$64C8049B-8CC4-45A9-A7BC-4F9422BFA7EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3da5af6d886e65f139e3efab93130a6bb9396a","datavalue":{"value":{"entity-type":"item","numeric-id":265823,"id":"Q265823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5472879$989F5262-998F-4A96-ADF6-7B4B5D113EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8622c8ee6ed76364e1c43c69cb8b509147e932ce","datavalue":{"value":{"entity-type":"item","numeric-id":1603475,"id":"Q1603475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5472879$465C0BA3-DDF6-43BD-8BF3-D8C1A173D49B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59ff43f5dab5df8752aa6cb52233a22107fdacbd","datavalue":{"value":{"time":"+2006-06-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":"Q5472879$5E3F9AA0-16F2-434A-B5A6-D6AC2E42B3C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5472879$CC3CEFDD-516F-47A8-BE2F-3C07162EA532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5b972364e3e8f5a60695fc35c708ef7ed910850","datavalue":{"value":"5033840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5472879$F8EA7B25-63E1-44B1-80C3-FCA24E52DB8E","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":"Q5472879$CEEEB9AE-2772-4CC7-BB93-7FC740754F27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1750cf619f2658beb138f04da8c0ae60005f4a","datavalue":{"value":{"entity-type":"item","numeric-id":639643,"id":"Q639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea9e652bbe8a20c0ab82565c5e4d61f1a5e5d74","datavalue":{"value":{"amount":"+0.7290763258934021","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":"Q5472879$D614B2F1-6CF3-4DB9-8C08-88F945142383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5e3d6f4afd8e41814f819c21c23f4499f8380f","datavalue":{"value":{"entity-type":"item","numeric-id":2718773,"id":"Q2718773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27381271f39fbb5fa52d347459109502423c24a5","datavalue":{"value":{"amount":"+0.7193643450737","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":"Q5472879$E1D92139-32AE-4AC6-8DFC-04AFD4ED7977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050e4f10bad351589ecea90ae0d370ca31ec5469","datavalue":{"value":{"entity-type":"item","numeric-id":2981955,"id":"Q2981955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6f96ba5c30bd67f557b3d1af035002a09bfb9b","datavalue":{"value":{"amount":"+0.7161241769790649","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":"Q5472879$C7C3DD53-BBBF-423E-9AFA-DF703A147EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9d288117a949f2fb16802ab321043e1ba144dc","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517b97b86766990ff0d5497345041badce1f234d","datavalue":{"value":{"amount":"+0.7138501405715942","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":"Q5472879$1B439C3A-A7FF-49D1-BFC3-EAB281E840F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2331ec4df3b5429b5494c641126472a7edd5ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a49f7fbccc9519176407a622725cb620414658","datavalue":{"value":{"amount":"+0.7133645415306091","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":"Q5472879$E9F02FE1-37CE-45FD-93D1-3F65076F49A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5472879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5472879"}}}}}