{"entities":{"Q2888482":{"pageid":2899207,"ns":120,"title":"Item:Q2888482","lastrevid":51478004,"modified":"2026-01-18T10:50:37Z","type":"item","id":"Q2888482","labels":{"en":{"language":"en","value":"Circular coinduction: a proof theoretical foundation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040159"}},"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":"Q2888482$4CCE5702-F1B2-41F0-9A84-E5792210413D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe15d43042a3214bed9400adc3d66ada625f5e52","datavalue":{"value":{"text":"Circular Coinduction: A Proof Theoretical Foundation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888482$3B2147E6-34DA-4BAE-9C76-6AA3B5C26F5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1be102173156662fb2d3b9dfac8184eeaca2a6a","datavalue":{"value":"1239.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888482$18E77F05-9F0C-4C8B-9786-2F6375603FDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"299025edeafa1c3c75ffba3ed788e0b4402c6706","datavalue":{"value":"10.1007/978-3-642-03741-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888482$A30C8FD8-E506-4A7B-BDBD-CEA803D524E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$0A258C24-230A-413C-B8F1-FCE6DB91B827","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":"Q2888482$16AFB542-9ACA-4947-AEA2-A29D314AB230","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$CD21945E-843C-42C1-9BBA-0F6FFC9013B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888482$D29BCCE5-3965-424A-9AE7-EB60208A3ED1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f79453ccb3ed33ef57cc683740f859a1e964b82","datavalue":{"value":"http://hdl.handle.net/2142/10840","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888482$A681013F-807C-477A-9F7D-E37ED6486A84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888482$781B879A-33B9-42A3-90A8-0F427E3916F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888482$826865C4-5A96-4F63-A474-156551A536C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888482$9640AB35-8A08-47BF-8FDE-FA93212D6D6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e07e1475897023c336160710d27883dd977d8a8d","datavalue":{"value":"6040159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888482$41922289-450F-46A5-B697-EC4A9A78D6B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$FF91D6AB-DADE-4E7F-98E2-7362A775C1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$60111857-6293-4F61-A2A3-E49A65800C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$11BD121A-05EE-44F8-8D40-6AAA37180D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$407507D1-4715-4318-A0DF-2F27E2FE6592","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":"Q2888482$17F884A8-6DA4-4097-A76D-929685B9CEE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12b18ad8e572cb3de098a6a2e73a3fcf2b32f7bb","datavalue":{"value":"W1498001169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888482$2D526D9B-4B91-4FE0-B354-41EF61B582AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223550176370d5043c2c4ccaed292fb5cb47cccf","datavalue":{"value":{"entity-type":"item","numeric-id":4330617,"id":"Q4330617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$9776AD3F-0663-4217-A83E-F00A1A36F31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$FBE1D00B-9DA5-4A3D-BD52-59C825A3BDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$98102E62-77FC-4FAB-A8F7-FB1D8B969E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf132045a21c8f39d628645d0f41b0ba009c190","datavalue":{"value":{"entity-type":"item","numeric-id":5900823,"id":"Q5900823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$32D480CA-AD93-447F-8810-4D960AB0BA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$4C1B9371-C2DF-4CF8-878C-0F881A1D8B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaf6437fe1af4176d3c1c9cd63223d13f97c9b9","datavalue":{"value":{"entity-type":"item","numeric-id":5316440,"id":"Q5316440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$D780AD9D-97DA-4786-9C56-DBF3C94650DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bb4d13ba9b44ec359f7e88a5b3439acbd7bf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1179807,"id":"Q1179807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$AD520F84-91B0-4665-9B3F-662968213BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35062ed57b0b6abc8e529ecc41b02bf58ebd4c6","datavalue":{"value":{"entity-type":"item","numeric-id":2888503,"id":"Q2888503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$7F1686C8-E9C7-4205-95CD-F51B9C631B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0f21077419bb3e23f4e63ca54f333d1d198be4","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888482$E51A56C5-1D45-415A-8B7B-6E3C4481A050","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88d5c4105bd54b2dc07fa9bae0d1279569ce522","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefbaddfd2622035efb1464c63485cbe0e249dcd","datavalue":{"value":{"amount":"+0.8699819445610046","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":"Q2888482$C3297F2D-132C-43AE-96D9-D67948C3B1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6f46e533af3c3dc8fec333d6bd3830c74bfbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2873678,"id":"Q2873678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969760b9b5c41eca589a6424f398070c385e8798","datavalue":{"value":{"amount":"+0.8220359086990356","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":"Q2888482$480AEFAC-4C1F-4B93-92FF-60AB9A71E373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058d0a25272db99d2dda9d0b9e29bc68206441dd","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77214b3dc49b0e9716077599b49f223938b92cf1","datavalue":{"value":{"amount":"+0.8140464425086975","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":"Q2888482$B3741776-A919-4296-A044-1B87AB30464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012b3dcc839d68d8a000fbdc331f32456ef77b32","datavalue":{"value":{"entity-type":"item","numeric-id":2888503,"id":"Q2888503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb58f1a446650981236c3f03658bd279e554eafc","datavalue":{"value":{"amount":"+0.8086360692977905","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":"Q2888482$3E123DB0-C5C1-48A6-ACE7-FB39F4A5850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2c18fecea17b612f87443f804a3ed510fb2be7","datavalue":{"value":{"entity-type":"item","numeric-id":5900823,"id":"Q5900823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b20206afd0e60ecca6a5879ed250e09a74e7106","datavalue":{"value":{"amount":"+0.8068469762802124","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":"Q2888482$8DB958B3-B61C-4210-9DA4-7C19465505EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888482"}}}}}