{"entities":{"Q5485397":{"pageid":7514957,"ns":120,"title":"Item:Q5485397","lastrevid":92551811,"modified":"2026-06-05T01:59:24Z","type":"item","id":"Q5485397","labels":{"en":{"language":"en","value":"On the proof theory of type two functionals based on primitive recursive operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5050663"}},"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":"Q5485397$2E38265A-86E8-4A2C-811F-DAF8094E6D3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93c5d443ff41feaa26b57c7316a76239d314d079","datavalue":{"value":{"text":"On the proof theory of type two functionals based on primitive recursive operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5485397$7FC4AF01-7BC1-429F-8D9C-12594ADB1488","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"570665fbf9b85d09082f82880048cd0ee7a69f8c","datavalue":{"value":"1106.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485397$EE57B690-70D0-4D5F-BFCC-75FDA49536D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4166a710c9828258cbe6bebe7569cf02deab2ea","datavalue":{"value":{"entity-type":"item","numeric-id":904690,"id":"Q904690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$3DF070EA-6855-4B70-9B03-C645EA3989EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$D3BFC7B5-4EE5-4AD8-9314-6648013683AC","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":"Q5485397$87CA8702-80D9-4367-895D-8978AF326B3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce041d4734364c3a206df997bf620f42fb038366","datavalue":{"value":{"time":"+2006-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5485397$E979BB10-6D70-4552-9AB2-4CABA9C3397A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485397$12D2D29D-061B-4677-83B0-1CCEA93910AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485397$A39E9E54-92AE-4AB4-86B3-C65EC7CC23D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1fe7a59a0da0ca59d0efe83e1f4d83d024e9736","datavalue":{"value":"5050663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485397$20894623-A1B4-4387-A638-4CDC8EDC130C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485397$5D513F03-DC0F-4D97-A24F-FA69D029E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485397$9564E063-2F1F-4A39-A666-7343D4E6BE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d575b9d394286e11c3047f28603ab56f54b5f805","datavalue":{"value":"type-two functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485397$0D6ABFB1-CFB2-40EC-B04E-A8D42DE3AFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac91c497e5a12b747663afac74f58bf2ab28eb97","datavalue":{"value":"primitive recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485397$C2B7D807-0531-40E0-B699-6146FC33067F","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":"Q5485397$DA6A1FCE-D932-402C-A87C-0BF538279C32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cd5dd249b5911c16278650b6f07faf58d2c88ff","datavalue":{"value":"https://doi.org/10.1002/malq.200510029","type":"string"},"datatype":"url"},"type":"statement","id":"Q5485397$6C0FE715-1868-4065-9C66-B6820E67875B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89fb0cad51343c47109ea1c2058c0ccf1b57e22c","datavalue":{"value":"W2042394498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485397$C5A89E09-941B-4DD3-8F28-5188087DD236","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$FB11FF32-4F12-4F76-8DD9-8EAB2ADB1136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae978bd620b682123250e58a731aadd5413dc2a4","datavalue":{"value":{"entity-type":"item","numeric-id":1407533,"id":"Q1407533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$CEC67E11-FCF8-4583-85F3-D4DA8B667157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393d8e4708b8ba69e8861193f5071c32d4e881a6","datavalue":{"value":{"entity-type":"item","numeric-id":5702663,"id":"Q5702663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$937A106F-B7AA-47FA-8BAC-AE7D04744176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdb946f77f539e6c2ab8dcb097ea066ef544025","datavalue":{"value":{"entity-type":"item","numeric-id":4793035,"id":"Q4793035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$77E1C5A9-D64D-40E8-98FB-E27C15301CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b724e30ff53b009563e4451246f8778dce7a59","datavalue":{"value":{"entity-type":"item","numeric-id":1805407,"id":"Q1805407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$06A7E583-D47E-4877-94DF-D151B3A37523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485397$F0663112-8850-499B-9B5B-8B7449D12D4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5542dfef1796bab242f966be094a48c3f7fde24","datavalue":{"value":"10.1002/MALQ.200510029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485397$82178B01-2AED-405E-96BA-45216300D596","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c976ae508b1389dfb2d06510347902cd17bad895","datavalue":{"value":{"entity-type":"item","numeric-id":4793035,"id":"Q4793035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da974f713723ddce0519655fc08ad2e90e5d8b23","datavalue":{"value":{"amount":"+0.7618187069892883","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":"Q5485397$E7BCF792-7DB1-460B-AEA3-0AC96EFA083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fddbdda033a7b419354b1100634d9dcca272f87f","datavalue":{"value":{"entity-type":"item","numeric-id":706620,"id":"Q706620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b66e2283ec240481445be09343d169fa0798e6a","datavalue":{"value":{"amount":"+0.7605167627334595","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":"Q5485397$39AA9A13-CA82-4AB8-BEEC-8D1D1795D224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d3928d9d4911a9a74e9bcc5fb418bfa5065648","datavalue":{"value":{"entity-type":"item","numeric-id":1896484,"id":"Q1896484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15706de5d972d56d687e0dcbcf057ca29fbd5de","datavalue":{"value":{"amount":"+0.7595232725143433","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":"Q5485397$2C40F6FE-D866-4809-B21D-1E119E0D0D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a70ecf6905bf625ce4e76970bd590e0725c1bf","datavalue":{"value":{"entity-type":"item","numeric-id":3824312,"id":"Q3824312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265406a33ed6da96187750115a500007e8b70e2a","datavalue":{"value":{"amount":"+0.7466995120048523","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":"Q5485397$30A032CF-C1D8-4F8D-8689-61E12481DD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b71be1676baf7c82bdcc407454be076814d951","datavalue":{"value":{"entity-type":"item","numeric-id":3138832,"id":"Q3138832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a553ba2941cd76979a4a3888bae1287ed79aae","datavalue":{"value":{"amount":"+0.7435311079025269","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":"Q5485397$2F84B3C2-DD9F-4011-B6C2-2F19B9EB1B1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proof theory of type two functionals based on primitive recursive operations","badges":[]}}}}}