{"entities":{"Q3075213":{"pageid":3085929,"ns":120,"title":"Item:Q3075213","lastrevid":86150012,"modified":"2026-06-03T15:39:11Z","type":"item","id":"Q3075213","labels":{"en":{"language":"en","value":"Realisability for induction and coinduction with applications to constructive analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850103"}},"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":"Q3075213$25AB8668-FCF3-4F60-B0FB-AABC626D0E90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4f3dfb812a9048ac1130022adf8b478f57ded64","datavalue":{"value":"1219.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075213$97AFCC8D-A800-4C65-AF0E-3999D0BD3AE8","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":"Q3075213$69A02FE8-79EA-4579-9E52-77A81BCFE98C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c08091180089def748f7e20273d2f981bdee68","datavalue":{"value":{"time":"+2011-02-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":"Q3075213$18A7FACD-0BA1-42D7-B6FB-9A0304A5EDB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d1ba59e10d3007fb2425dda768954ca0b4c11c0","datavalue":{"value":"http://www.jucs.org/jucs_16_18/realisability_for_induction_and","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075213$5F0BBB90-1595-4C24-ACA9-CB3092C70AD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075213$ED48033D-53E7-40CA-B68D-339AD83339B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075213$A6853F7D-0328-48C9-9FBA-85DB8DFC9204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075213$2ECCE573-E5A1-41C5-8CEB-555781C30652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075213$C69379A8-403F-4847-8ED6-5385BB0638F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075213$50829A3D-5493-4003-A7DA-9F2B1DB2C422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"294defa454f5eb2c28a8d4014a258414fd4884f1","datavalue":{"value":"5850103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075213$56DBAA30-AC84-4424-B139-C3A2018FFA99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075213$D0E544D3-279D-47DA-B987-E83423BB2F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b7713f8966c02767fd8bed17eaea1d31c2453e","datavalue":{"value":"realisability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075213$BF7CB9BF-517C-4614-B0B7-12AC0328E433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af1e6815cfe8477569483ae5d4b29e62f3ac02d7","datavalue":{"value":"extensions of first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075213$A9F341FE-5C37-408A-9897-C663B8356157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d4522af6aa1e26051b0944653450dce3dc79e1c","datavalue":{"value":"untyped \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075213$A7B8D032-7CDF-40AC-B40A-4823F32AA965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075213$300DD228-8352-43D5-96A4-6C6531811607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075213$C99E309D-4324-4BC0-B338-635F308AA333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075213$459FDFDC-ED00-4154-B749-32519714E225","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c7eaf1f1f674fee56b8bc99c5be8be7dad6ac6d","datavalue":{"value":{"entity-type":"item","numeric-id":20940,"id":"Q20940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075213$7A31E163-26A3-4B8A-8611-BF54AD956BDA","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":"Q3075213$6B8D96DF-B76B-471C-879A-8BCEB92F2448","rank":"normal"}],"P1643":[{"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":"096cf5f85bf3a78dc7e731baa1e8a28873ce1433","datavalue":{"value":{"amount":"+0.9715086221694946","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":"Q3075213$DE2823A6-8362-4E24-A57E-EA7B0427A2B4","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":"0e0eee91b39ac4c6e661ec2f78d2cf627054d79a","datavalue":{"value":{"amount":"+0.8816027045249939","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":"Q3075213$CBD9E2D8-B822-463C-B921-A11FE4818B57","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":"2f2ba8b1182271dc2c71c35bd201b9bd3fdb5a83","datavalue":{"value":{"amount":"+0.862175703048706","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":"Q3075213$E0F2F2D2-1C19-43EA-89B9-2AFE5141CEFE","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":"b03b8b77a68b4e8b91048daccfbca98f601372bf","datavalue":{"value":{"amount":"+0.849118173122406","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":"Q3075213$5C21D08D-FD3B-44CA-B339-A99FBB956926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8edc5a612b90f8d69f8bf68bf3515d53be632eb","datavalue":{"value":{"amount":"+0.8268663287162781","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":"Q3075213$C7083C56-6A2D-47CD-82EE-0024D06B6002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realisability for induction and coinduction with applications to constructive analysis","badges":[]}}}}}