{"entities":{"Q2027208":{"pageid":2037950,"ns":120,"title":"Item:Q2027208","lastrevid":82388756,"modified":"2026-05-06T20:47:18Z","type":"item","id":"Q2027208","labels":{"en":{"language":"en","value":"Reasoning continuously: a formal construction of continuous proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350839"}},"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":"Q2027208$81976FBB-85A3-408B-B94D-200F5B6BD5CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08a4dbc1729e95650e84aad83a7982f2b1f5676d","datavalue":{"value":{"text":"Reasoning continuously: a formal construction of continuous proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2027208$CCD9828E-D2E6-4F15-9B0F-5098B19CB734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ede561b8c0a8510f6277d8ee20cb2e759e72df4f","datavalue":{"value":"1484.03118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$01C015D7-CBA4-4DAC-A699-01128826DA6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027208$84C5E484-C88C-4DA4-BA6A-F87ECC5BD13A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027208$7FD203F6-27FC-4904-854A-87B12EB887C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2027208$AA1E9D44-05CE-4E63-AB09-EC26017CF147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$C8320248-994F-42C8-B24E-6FE3FFC72310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$4BA96B5B-6A10-4482-AF78-9C7FEB573A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$A9640677-FCAA-4778-A042-CB49B9C40C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$912B752B-6171-4E2D-9F0B-73B6BF2DCE8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187d769e77d1c411c2ec9d31f03b29c5e521bb62","datavalue":{"value":"7350839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$FBC70ECE-6C9A-410D-ADB7-B7B38E28F1D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027208$CD34D4DE-B9E1-484D-B07D-AE5E33468555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027208$3928347E-430C-46B7-A9C3-A26B4BD5D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cbb56a576577859efdc725b8785988c0c562c9","datavalue":{"value":"constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027208$E3DCF2EC-27B0-43FF-AF0E-B213A15F755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027208$660E43F9-B17A-4075-9F9A-BC5FC391A99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca10254207c8c053e7b117214aaea2aaec63629","datavalue":{"value":"continuous proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027208$A54208F3-58F2-4D7E-A453-704F39BD2C51","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"54247010d24ae714feecdd2304b451a3cef9b945","datavalue":{"value":"Q113900499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$97EC1D57-57E7-4EF5-ABA6-70351F959293","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":"Q2027208$EAA5E8F1-E960-4554-AE15-61897EFEB875","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e98443e426db5529c894e5d3323002ea63b8a91","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09892-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2027208$B77947FB-BB82-4452-AC4F-650980F02FC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8bba4bcfdc1f8caac8eedfc43837fd49561362a","datavalue":{"value":"W3002865568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$D55AD316-A2A8-414B-98C7-33DF6B4818AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b430f731de5325373213e6159f39bfaec6a5a69","datavalue":{"value":{"entity-type":"item","numeric-id":1361168,"id":"Q1361168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027208$8AA2F2D3-43FB-4092-B335-EEDC1730057A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c184efecb4d9db60442c8204a1867a585fd796f","datavalue":{"value":{"entity-type":"item","numeric-id":1773217,"id":"Q1773217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027208$215626D8-DCDE-44CC-86B5-1715E43403C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82402d0b04fd70ff932fca0760d93c62bb3690b","datavalue":{"value":{"entity-type":"item","numeric-id":2259009,"id":"Q2259009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027208$7FA80932-AA85-4DC1-8023-BB680A7300D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98cbaea29394f509686cfd90bec5c9e02a39e42b","datavalue":{"value":"10.1007/S11225-019-09892-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027208$49208B19-A067-494A-81A1-CA42BA14C1C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad12851235ae3925eb643408c57dec44b357243e","datavalue":{"value":{"entity-type":"item","numeric-id":2505640,"id":"Q2505640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b987301e0fbd48e3bc6c86833a22348c39dce2","datavalue":{"value":{"amount":"+0.6983367204666138","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":"Q2027208$BCADEC06-41D1-4E0E-B1E7-31FE80CEC03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959efe7ffa388a0c3f8d087cc854d2999ffc7d71","datavalue":{"value":{"entity-type":"item","numeric-id":2753884,"id":"Q2753884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34261a72444f18f76d10406729d0749844926bf7","datavalue":{"value":{"amount":"+0.6972032189369202","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":"Q2027208$61FB99EE-1DB8-4003-B7A6-A573E2947C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93aa6ee66066416c88c248fe1f1b0b2348238ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779633,"id":"Q4779633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8591467894548fd81837086b1d94804da0fbc37d","datavalue":{"value":{"amount":"+0.6956770420074463","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":"Q2027208$AA98815A-594B-4E36-B3EF-0A19E923029E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbfce4353ff9de41362bc35eb9c34fad191972b","datavalue":{"value":{"entity-type":"item","numeric-id":5432960,"id":"Q5432960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2719f0552856876f3a97097e91486c4d465c51c","datavalue":{"value":{"amount":"+0.6919374465942383","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":"Q2027208$641FB0B7-F19F-46EF-8507-E6BA874B19CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0ce9ddb7a7bdec55056e761e94db0833448ce9","datavalue":{"value":{"entity-type":"item","numeric-id":918217,"id":"Q918217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4731c6440819428fb154c68999da4918e16da5dd","datavalue":{"value":{"amount":"+0.6879454255104065","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":"Q2027208$9B2D028D-096D-4288-9B6C-A8F83438C98D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027208$94D41E79-AF08-46A2-AAB3-A0F4F61E9426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning continuously: a formal construction of continuous proofs","badges":[]}}}}}