{"entities":{"Q2500489":{"pageid":2511232,"ns":120,"title":"Item:Q2500489","lastrevid":49897021,"modified":"2026-01-11T19:43:42Z","type":"item","id":"Q2500489","labels":{"en":{"language":"en","value":"An arithmetic for polynomial-time computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047258"}},"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":"Q2500489$94FA41FF-D9CF-4DCF-968A-CA3125EBCD0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d75b236d31c2f460eb4776c8a5445a15deb7562f","datavalue":{"value":{"text":"An arithmetic for polynomial-time computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500489$21D4DF23-8E3A-476A-8651-4EB2071B5B6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91f87f520a9e55372dc46a8883386928150d5ab3","datavalue":{"value":"1118.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500489$159EED24-E2F2-4472-97D8-D4F11A81A795","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$7C4BE19A-5434-4518-9281-988858120223","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500489$7ABDF990-B449-49DF-A192-11BB3C82C480","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0ca36a002e20e7204faf0c2ba2b22c2cd051524","datavalue":{"value":"Constructive proofs theoretically allow for the extraction of correct programs for specifications. This paper is concerned with the feasibility of such methodology. The author defines a restriction of Heyting arithmetic which has the property that all extracted codes are efficient. These restrictions concern the ranges of the terms and the like.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500489$B63C7637-3511-443A-8DA6-824BC4093375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500489$655E45C5-7FB1-4B6A-892A-97972A8B6D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500489$B02E3D92-7C10-4139-BD8D-74C4B32F1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500489$A5A5BE13-C021-4547-86F4-957638295887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6437fdec393ee1d00214058c8f2f1bd68763711c","datavalue":{"value":"5047258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500489$B132AF71-AA1A-43E2-9BD8-3513FDF7B111","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a21313022617278de1c5b2c4dc21312ff98f970","datavalue":{"value":"polynomial-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500489$ABAF62A0-9722-456E-BA24-F859B89BD875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cab84d716515a21cec06ad6768dd938e7a3feff6","datavalue":{"value":"linear Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500489$A5838B64-0CA6-4879-8B61-1A7204818736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500489$EFA491ED-096E-46B2-8929-7817A17C0A9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$36605CBB-9E73-46D6-B802-F0C16653CC05","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$FF2ABC12-6D73-4CBB-896B-4F6D96486E32","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":"Q2500489$BA26CCD6-F781-4F91-9F29-BD626CA6C4A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"202635f834c2285e82db4a77e557f5b51656406f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.03.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500489$01FDC7F3-2BFE-4F03-BE8B-C30DE9D39C9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab5fb6498275e6d805f4f416760db86f8b0bbba4","datavalue":{"value":"W2093877547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500489$05F49B18-2E05-4163-9E6B-02DAEBB54D08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"189ec444e140dea96785e890cbc6ce172f9c56ab","datavalue":{"value":{"entity-type":"item","numeric-id":1827388,"id":"Q1827388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$59B09FC4-C7F5-436A-8978-2EA192AED9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12205ba67e6abe150ac8ed6b6a33a4b61aa8ac30","datavalue":{"value":{"entity-type":"item","numeric-id":5738960,"id":"Q5738960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$364CC444-648A-491B-8303-DA6401418EDA","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":"Q2500489$E10168AF-AF02-4286-AA97-3A6F2A8860F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eea653172c3c601a8223a9e4ee5db2057f2556d","datavalue":{"value":{"entity-type":"item","numeric-id":4532603,"id":"Q4532603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$6C3AAF6C-8BE4-428E-96AE-ED80A465792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31f2c064dbb4fcdff1fc3118ad6dfb9b36c8ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$A76D6A4C-53D1-42E1-8AAD-CFDDC4311EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$BD7B0974-EB25-421A-BC4E-FC6E13A4DC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$8FAA6335-C8F6-441F-A4DC-1FCF71C37CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb41c607988923790c09d27b16643fbcc2167fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192345,"id":"Q1192345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$2FD3AF2F-3F60-4DF7-9C80-D2EF02E8A32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b462873b75a514ad6c8f2994d63c7c697e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$DB503D69-C27E-4646-A895-0406BB4EBBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24767a8d698bfa7d4c473315d4d9fb022ab6caeb","datavalue":{"value":{"entity-type":"item","numeric-id":4035304,"id":"Q4035304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$D389BEB3-FC44-4853-8466-1AE5B4F4E84C","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":"Q2500489$ED5E96AE-CAE2-4B2B-A93C-35F6138C13BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4a9fab3bd7ece13bd33c98c73ac0aaa610d673","datavalue":{"value":{"entity-type":"item","numeric-id":4035310,"id":"Q4035310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$5FCB2AC7-B1B9-4A2C-B5C7-8027FF10F547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$6ED5F67B-8FEF-4AEB-9975-761ABB3AF625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458922d3171c52e76b99618d035744887bf64782","datavalue":{"value":{"entity-type":"item","numeric-id":5714440,"id":"Q5714440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$3D4A9913-721C-4428-B26A-CC2294FAE417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f0e684eee8dd3b64bd2e5e050579a4388e50e7","datavalue":{"value":{"entity-type":"item","numeric-id":4281479,"id":"Q4281479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$8397A821-BABF-4FE5-B9E3-B81B5B4C628B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$19B08234-ACD6-4248-9FE0-C28A47CB215E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742827733123234d013b9b3e7ae54cf5024ade98","datavalue":{"value":{"entity-type":"item","numeric-id":4785504,"id":"Q4785504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$EA1A017C-6E33-42C6-B57A-5587AAC16CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686b428dd84c9436ddadec1ef67a9a0f4134ad30","datavalue":{"value":{"entity-type":"item","numeric-id":1772782,"id":"Q1772782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$7D3390FD-0DC9-4CE6-BB7A-BEB7FDD8B095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a67ff14a0e3bc71f68408c7fb8f9673d792666e2","datavalue":{"value":{"entity-type":"item","numeric-id":4823143,"id":"Q4823143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$BC30AD95-A3A2-4D56-B271-F420663D4B79","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":"Q2500489$D3FB15AF-EDD6-49E7-AF67-190D2747EBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500489$C8B3ADE4-7993-498B-BE62-A5CF7A4C0D33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b058626233b90c1203c1c70965107ea178a8e79","datavalue":{"value":"10.1016/J.TCS.2006.03.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500489$213C52BF-C5DE-4FB8-AAD6-1CBC69CC83F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2b8deaf00c2e620a42baf0b6f9e20f9d1cf965","datavalue":{"value":{"entity-type":"item","numeric-id":1827388,"id":"Q1827388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20254d1c1196e410ef039db4c1a62d4149829b4d","datavalue":{"value":{"amount":"+0.8018361330032349","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":"Q2500489$90122E3E-6124-4303-BB13-1DCF59DABB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642b54462e773f684a1597a9291eb326500a3e17","datavalue":{"value":{"entity-type":"item","numeric-id":937902,"id":"Q937902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eed7c7dba4509cc5c45fc4afb5354ac3332d843","datavalue":{"value":{"amount":"+0.7852858901023865","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":"Q2500489$61602078-3FA1-4C48-AFBD-118BB9D3E0A6","rank":"normal"},{"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":"ef29ce46955b707be006ac94300baea037a6e6a7","datavalue":{"value":{"amount":"+0.7831095457077026","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":"Q2500489$19AB83BA-00BB-4EA8-96F4-0684CAD0CD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a741f151f47d158b53bb9e850d21dc719ee3167","datavalue":{"value":{"entity-type":"item","numeric-id":4532603,"id":"Q4532603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef29ce46955b707be006ac94300baea037a6e6a7","datavalue":{"value":{"amount":"+0.7831095457077026","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":"Q2500489$99C4175B-5490-4E23-9A42-3F7D3B6841A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6128a5ac998bfb5acd493393c7e67c7aef80ea","datavalue":{"value":{"amount":"+0.769657552242279","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":"Q2500489$FDD7A8C2-D1A1-4A36-A2A0-BB5902DDB579","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500489"}}}}}