{"entities":{"Q3612501":{"pageid":5642407,"ns":120,"title":"Item:Q3612501","lastrevid":88530710,"modified":"2026-06-04T14:46:23Z","type":"item","id":"Q3612501","labels":{"en":{"language":"en","value":"CIRC: A Circular Coinductive Prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527249"}},"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":"Q3612501$C696D651-984F-44BF-BEF2-6B7F46F40D8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2621a4c203f06f02eaacaf0b5752990e9e4f25b","datavalue":{"value":{"text":"CIRC: A Circular Coinductive Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612501$A5FBA385-20F8-490A-A6C3-A843675201BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6e0bd3ab8299f663bc1a2f3f69c80f56c808b53","datavalue":{"value":"1214.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612501$8E947835-2053-4119-8DF8-61C6CD19C015","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d19d9ebb659969b4256def7cf2d35028cd045eaf","datavalue":{"value":"10.1007/978-3-540-73859-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612501$637C587E-C874-45BC-8F2C-ACC76BAE6F09","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":"Q3612501$D6EFA6EA-7170-4850-AE44-34BB4EE0CCDD","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":"Q3612501$84E14358-BBA4-4A27-8166-C2633EFB7F74","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":"Q3612501$2A25B927-4F1D-4470-AC1D-2ED76FAE88E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612501$2B9B7EFB-EA94-42C1-A840-EFBA69290338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612501$2E010289-559D-421B-A57A-8BB914E29DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612501$7F11CE47-A40B-4555-BAB1-142D70D2F047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06d8b68e760a510c145ce4b2ab9e9a48cd5e27c2","datavalue":{"value":"5527249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612501$0222E5BC-7511-4CAA-8DE4-ACA75E97E88A","rank":"normal"}],"P1463":[{"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":"Q3612501$AE66F1C9-9505-425B-934C-CB50B6759D7E","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":"Q3612501$C713C41B-391B-4187-8F7E-68F88D8720E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6acf051e2c50f1c174756a19d660e747e66ae643","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73859-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612501$24E26153-CE8F-4E6E-9A91-D95859D4BB9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30a50e9d346d032fa5cff85044026bff725a2b8e","datavalue":{"value":"W2158409018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612501$4E39EA6D-1B1E-43A3-8B7F-D654C6F5CED4","rank":"normal"}],"P1643":[{"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":"4604668ff7b974db866aeec7267fe6326cc1dce1","datavalue":{"value":{"amount":"+0.9107480645179749","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":"Q3612501$A619CC98-DB33-43A1-ACDB-EC614A49C89C","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":"8a1f4f4970aef2a485577f31bbd81fce7bd7efa8","datavalue":{"value":{"amount":"+0.9096496105194092","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":"Q3612501$D4E09F26-FE80-488F-A836-AD7F74DADD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"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":"Q3612501$0B54A969-8066-4671-86BC-3F942BE34219","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":"8e3cb592efba424c80d55ffb2203e4fee21ab6a1","datavalue":{"value":{"amount":"+0.811610996723175","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":"Q3612501$60D813C5-234B-4508-B2EC-93D912B46193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5065466a7633bd531b5488ad49b124a5a0cfb0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5316440,"id":"Q5316440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4196bac6e7996a0f4e8bc8e39e23ba364cc6ec3","datavalue":{"value":{"amount":"+0.8005394339561462","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":"Q3612501$EB4D7E26-7A66-434D-BEBA-0B3230AEF1D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CIRC: A Circular Coinductive Prover","badges":[]}}}}}