{"entities":{"Q4532603":{"pageid":6562195,"ns":120,"title":"Item:Q4532603","lastrevid":89510945,"modified":"2026-06-04T17:33:17Z","type":"item","id":"Q4532603","labels":{"en":{"language":"en","value":"A new \u201cfeasible\u201d arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749900"}},"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":"Q4532603$B4E491A7-1B39-43C4-A0E1-CF8B0106AE7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"252b2a3ca66fb01aa869c232178e154e90eb1872","datavalue":{"value":{"text":"A new \u201cfeasible\u201d arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4532603$002C65B4-FAB1-4C39-B0B6-43CB244B36ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7da14edc61a144813b89a255f28b1384e00f5dae","datavalue":{"value":"1006.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532603$71A50B47-272B-48FD-84D5-6A95FA6E0F48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$14B71FD7-B638-454E-B2D1-5FF9BA1685CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b3d86172c740d91a8f9b42ff37d533fbaaf192c","datavalue":{"value":{"entity-type":"item","numeric-id":757037,"id":"Q757037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$66C6944F-5E87-470C-8C1D-972A73F52C1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$380572A7-B68B-49F5-BDC7-4B4387217542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9e86a8c56fde9f90dc8c251d5586de8d6671558","datavalue":{"value":{"time":"+2002-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532603$32DC464D-C614-4B4E-B565-2A34125A2267","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532603$4B9365E9-E351-494B-8D8B-D41F19485DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532603$96AE02CA-5E3E-4CEE-8274-E57DB9D91750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22d7adb992587bcd86dfacbbb7eb015d8ff00708","datavalue":{"value":"1749900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532603$5EE0037F-86AE-448F-8B2B-493EEE02EA03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab5d3b97dfc5f2e589f49312d0246a4c5544eb6","datavalue":{"value":"feasible arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532603$702EB752-2D89-4614-AE0D-1712F440B078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532603$4144C27F-F7CF-4BA8-9CE6-868CC0982223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532603$CD60303C-BB8A-4FE2-B351-8AE1CDA4735C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed18e75665574528a8ea0c82d162591a1bc5e17","datavalue":{"value":"polynomial-time computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532603$0E003B32-6AF9-4777-B704-8EFAD019FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532603$33285FC8-C1C6-42CD-BD7C-879E79BD7D68","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":"Q4532603$35E751C3-E9AF-417F-843F-D0F0BE18B4E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed9b81a51969ce701085c5a82c0d94a8a856dd03","datavalue":{"value":"https://doi.org/10.2178/jsl/1190150032","type":"string"},"datatype":"url"},"type":"statement","id":"Q4532603$C8FE087F-3AEF-48FA-920B-F6003E049359","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef6ecfeb30401cf066b2b8b84470a7d1798cf35d","datavalue":{"value":"W2149062436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532603$4E1EE44E-6DDE-48FA-8BB3-D8FA366F6987","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fb496a1395aedc98382b3dc8911378a03ce25f","datavalue":{"value":{"entity-type":"item","numeric-id":798616,"id":"Q798616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$5725CB35-11C0-4C22-8D14-E2D222773E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$530AFC05-A74F-4A1C-B0EC-EE939C11068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$E04FBF99-C3F6-4406-A7B4-F9C71E1AEE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$0394E378-AF65-43B6-8B56-7D53F79D7128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$3EE676A1-8911-4D9A-8888-24A4CC8F551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941af0e3a82c992cf2baafbfa07e81476dcf3487","datavalue":{"value":{"entity-type":"item","numeric-id":1896999,"id":"Q1896999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$CB333C00-2C36-4AB3-B101-AB8C58AEB5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$4BB592C1-40FD-4F84-BB4B-2A8FFC4D2A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f408f85e60a2998438dee117b91ae8d167e7e986","datavalue":{"value":{"entity-type":"item","numeric-id":3728881,"id":"Q3728881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$E580F95D-348B-4CEA-AA79-0111DF2B8C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$3DA781A4-2F29-400F-A018-0D694C68AF5A","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":"Q4532603$051C54C7-6683-4DCD-BCCF-FCEADA28A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a46b20ae0ee21789871d8e63f85f91d2a1e7cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1112020,"id":"Q1112020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532603$EBECF8DF-F4AE-4730-9DA9-AA9C635184EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96c9f7c9a7cedcf4552f07e9474ba84e999960e8","datavalue":{"value":"10.2178/JSL/1190150032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532603$EDBEB45C-005C-4B15-BD57-BA8C421C9303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f474feabc2fd6b3a2808b92c63c003e7643d246a","datavalue":{"value":{"entity-type":"item","numeric-id":4785504,"id":"Q4785504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4529f0256efd49a3235f1c2404036774d99a86de","datavalue":{"value":{"amount":"+0.8070712089538574","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":"Q4532603$41C6AAAC-94AD-4802-8371-EEC266DFEC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccb27d047c72219b5e53b79a1b9773d81b035f6","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4529f0256efd49a3235f1c2404036774d99a86de","datavalue":{"value":{"amount":"+0.8070712089538574","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":"Q4532603$3E6E0C2A-64A0-4620-B496-CE5FFE5520FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd9f5bc98894e657089966cf51110ac623e0085","datavalue":{"value":{"entity-type":"item","numeric-id":5277700,"id":"Q5277700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc97b0355629b91c8505eb2dd11318124ff6b85","datavalue":{"value":{"amount":"+0.7786423563957214","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":"Q4532603$4E02D4F2-3C11-4A24-B484-3C3368990A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951a54839547a168d04382ee480a7f9638ff7828","datavalue":{"value":{"entity-type":"item","numeric-id":3472100,"id":"Q3472100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c829d2cffe4343a816e9bc41e0248be374beb3a","datavalue":{"value":{"amount":"+0.7687074542045593","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":"Q4532603$3AE61D97-ADC7-4040-B1EC-62F72CB9998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18660033b36defdfeccc77ff17176ee196d07ad","datavalue":{"value":{"entity-type":"item","numeric-id":4314687,"id":"Q4314687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6809ade3c456530ce1eb90fef5a7c4648488f83c","datavalue":{"value":{"amount":"+0.7636274099349976","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":"Q4532603$9B2D8277-062B-4D17-A58F-CF97DF2FCACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new \u201cfeasible\u201d arithmetic","badges":[]}}}}}