{"entities":{"Q4393165":{"pageid":6422764,"ns":120,"title":"Item:Q4393165","lastrevid":41772478,"modified":"2025-05-08T03:52:12Z","type":"item","id":"Q4393165","labels":{"en":{"language":"en","value":"Extracting Algorithms from Intuitionistic Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1161127"}},"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":"Q4393165$AAB0A2B0-6459-40D1-93BD-A8AC95B1B2AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"320831a934c7767b8aea6026631ddad530a5e6ca","datavalue":{"value":{"text":"Extracting Algorithms from Intuitionistic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4393165$E7478B70-9A3F-4EF0-B9B8-700464308AEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c24f0e486c54199dda7bd54bde8fb03fee405d26","datavalue":{"value":"0903.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393165$BEB5FE90-D08A-4E9D-B754-D48CF79470F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4393165$AD5BD7AE-30FB-4489-B5C2-CC3C666E9DCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0568f48c55e62ce7d58fe24349be3b52a52a8928","datavalue":{"value":{"time":"+1999-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4393165$0683155D-BA86-4E96-81C6-CC39E2ABE487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393165$040E378A-05EE-4039-8D42-A59E1144E026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393165$8018D747-B212-4575-B9B7-922735860E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393165$392C529F-9388-4122-82D7-0181579A36FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef6e062942bdc40104dc6ee46af05a89f3779bf","datavalue":{"value":"1161127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393165$21D3C2A2-2F19-44FD-BA18-D7B9FD5B5974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393165$38BA1C47-C8A1-4C5C-A0C9-222CD3F52BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4286d0dd23dad8bc85bd8372938d19406da1b8c2","datavalue":{"value":"intuitionistic subsystems of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393165$BD9D67C7-A223-4DAC-B1F0-13BCAB14C9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393165$1E63D423-2005-4D9D-AC9D-1597299BFD12","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":"Q4393165$B4C67E28-E857-479E-B99D-1163582482EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d5ef516cb81e658f33e98f3b2d6cb259b736346","datavalue":{"value":"https://doi.org/10.1002/malq.19980440202","type":"string"},"datatype":"url"},"type":"statement","id":"Q4393165$BB3DAA54-0E55-4864-A2D8-7BC673BC136E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b9622bf97ae62fd23905d5a0a5a63b95f5e692d","datavalue":{"value":"W2022907045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393165$56D81767-6D2E-46E3-A5D3-C4A951DA4DF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4393165$E9C2C193-C223-4A98-A8F2-F504322D3B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4393165$38DB2068-B558-4BC0-95E1-D9FF3239975B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e1706fd361abf6524cf4aebee849470d33b1aec","datavalue":{"value":"10.1002/MALQ.19980440202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393165$E9859B8F-0555-4DD9-AEBE-8768AAB5A890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050bf14540dca0b2c1e7c764593eec922c98e17c","datavalue":{"value":{"entity-type":"item","numeric-id":2908835,"id":"Q2908835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8801e42428eb97b9511dd023959b7a051422355e","datavalue":{"value":{"amount":"+0.9032367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$1DBFB881-5163-4624-8A4A-FDF5DE33A0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d21890c1496138948b96dc35d29ed108a275c","datavalue":{"value":{"entity-type":"item","numeric-id":2852367,"id":"Q2852367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40de98d7cbda44539231d38eb14c4d9f0993ec9","datavalue":{"value":{"amount":"+0.90217185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$7EECAF7B-952D-4D67-9F4F-EC86EB209DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b681b8f19e2d8c6c9e63744dd97ab3461df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4764104,"id":"Q4764104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42934217cc33a688ef1175e618ec354232996547","datavalue":{"value":{"amount":"+0.8995537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$90C6216B-F8FB-42D0-80A7-197CC0DDB4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec4a20e39cb469ea537165afb621af7169d4770","datavalue":{"value":{"entity-type":"item","numeric-id":6064277,"id":"Q6064277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf619a15609fa5113842551b64c71a01780551c","datavalue":{"value":{"amount":"+0.89944005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$F83F69D5-91B5-4F41-975F-0B0AE7A41E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e3d3670795b31d38c0853f7f79ca71b1eda741","datavalue":{"value":{"entity-type":"item","numeric-id":2703717,"id":"Q2703717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2c43ab5da111cb736dac2b63d6512377584745","datavalue":{"value":{"amount":"+0.8992177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$0EB74206-EAE0-4DF6-AC31-E19B67F75191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9528e6771ce6a43b6b480d58ae14f5b157c28792","datavalue":{"value":{"entity-type":"item","numeric-id":5463274,"id":"Q5463274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54995066299368028265e2131edb647baf9e0d19","datavalue":{"value":{"amount":"+0.8988383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$E2359BE4-2FFB-47BA-A9B4-DC4D71FDFFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49efe1002fe0ae12dff09a0d1de418844a82427","datavalue":{"value":{"entity-type":"item","numeric-id":4460836,"id":"Q4460836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86fbae15c2d78241f634e850679933cb435da39","datavalue":{"value":{"amount":"+0.8944479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$6D26604D-4E18-4749-ACE7-86A81F77116E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe38b243283fc6821c4f28d3effddb01c571fd4b","datavalue":{"value":{"entity-type":"item","numeric-id":3166530,"id":"Q3166530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df50eaf3fe8e912bc6c64a486a2d00b724bc618","datavalue":{"value":{"amount":"+0.89282906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$AFE509E0-6A95-41F4-89C7-BD80E79DF9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb51e6e610881ab2d045f5fb5a34194f438f40be","datavalue":{"value":{"amount":"+0.88914025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$4E05C0A8-6174-4181-9FAC-BD15D9954435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e6b97beab6b9c0e4899c288c9d56b6ae605b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4036572,"id":"Q4036572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f3b858394aadff4185346d71a1bd6c3ec4a928","datavalue":{"value":{"amount":"+0.8860407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4393165$61B013C1-0E88-44EC-9D9C-3912D42580C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4393165","badges":[]}}}}}