{"entities":{"Q1670722":{"pageid":1681463,"ns":120,"title":"Item:Q1670722","lastrevid":68107248,"modified":"2026-04-12T21:29:04Z","type":"item","id":"Q1670722","labels":{"en":{"language":"en","value":"Optimized program extraction for induction and coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932459"}},"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":"Q1670722$6F20DFA6-768B-4ABB-879E-FBEAE492136D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a83bef14f500c9232abd5d3ad9a34c5c7533630e","datavalue":{"value":{"text":"Optimized program extraction for induction and coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1670722$0CD14C3A-5C44-4EF4-8E67-47D32E89F873","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"229feee628f4b1a08d3e8d4d7afc4f86d0831867","datavalue":{"value":"10.1007/978-3-319-94418-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670722$772C515E-B0AB-4B7E-B84E-CCBB43E12942","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670722$F22377F1-3B22-4CA1-9223-C82A0048FE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9839f5f1ea45e75034218d0db6bb60bd39ca129","datavalue":{"value":{"entity-type":"item","numeric-id":1670721,"id":"Q1670721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670722$2F9C9E05-4908-4F27-AE58-57112765C29A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1670722$2F7A7D4E-21ED-4903-A6FD-1FF32D78E8AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5db71ba51340c8f663005030a9e0ff382b2537e0","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa39885","type":"string"},"datatype":"url"},"type":"statement","id":"Q1670722$F91A64E1-20AA-4697-BD56-4D2EB9873CA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670722$E54C7A6E-A7B5-4074-B0BF-FAA151B617B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670722$490A4B77-BA75-49A5-A00B-375C89B30DAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c448b33596fac8c9b8ad6201c6de55a9cc6f1bab","datavalue":{"value":"6932459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670722$392D3A49-2D9E-4C0E-AFA4-DB249E1B982F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670722$5807573B-AB8D-4616-9B61-FC17DB398C9E","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":"Q1670722$D5B6E925-A2DF-41CF-A285-A7B9A97D4B3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c93f9250ae6bd0e5d4ee58666a9c063a0ddfe64","datavalue":{"value":"W2810388871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670722$DD88BA6C-60A4-4BA7-A2E3-71E86629C2CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8756e9e4eccea7c1c9607cc1d6c70268f8d219a4","datavalue":{"value":{"amount":"+0.8103215098381042","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":"Q1670722$98A9FF00-AED0-4CA5-97CB-60854FD4A43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d80213a2c062f7c2f483fcce36adba4f0d8444","datavalue":{"value":{"entity-type":"item","numeric-id":3081640,"id":"Q3081640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ea998fc6acb68fc6cff40d6e7676a40e25fe0f","datavalue":{"value":{"amount":"+0.8092888593673706","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":"Q1670722$97564467-28E4-41A0-B390-6652E2385DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6f4914cfd704d6ad9feca7c791b1fcae893d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2917339,"id":"Q2917339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f7ac244be8aa4b1df1eeb5164b5b0e9798a704","datavalue":{"value":{"amount":"+0.8018536567687988","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":"Q1670722$391FA164-0FA4-4568-8709-BFAF16666090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43c8caecbde7694f12ec3164da9e4d96d586bac","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12361e988847cecd4ca8e1177b97d4c8f2bcb7e1","datavalue":{"value":{"amount":"+0.7978850603103638","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":"Q1670722$DC3C0DA2-A9EF-4F38-BC7E-E11AD8953513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6b13962684c8466629888c66ea6edcf94e7000","datavalue":{"value":{"entity-type":"item","numeric-id":3576189,"id":"Q3576189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1dff8eb61428bc5d4c1395b8abd256d37b2528","datavalue":{"value":{"amount":"+0.7925671935081482","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":"Q1670722$2BAA3632-A699-47FE-BB27-1F5D3E2EC60C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimized program extraction for induction and coinduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimized_program_extraction_for_induction_and_coinduction"}}}}}