{"entities":{"Q1977488":{"pageid":1988230,"ns":120,"title":"Item:Q1977488","lastrevid":73743951,"modified":"2026-04-14T17:07:04Z","type":"item","id":"Q1977488","labels":{"en":{"language":"en","value":"A bounded arithmetic AID for Frege systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1448521"}},"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":"Q1977488$C95BB27D-9846-4375-BE58-1E6F528A7A8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7f1ee71062a082f040b909218038e7abfd0aa43","datavalue":{"value":{"text":"A bounded arithmetic AID for Frege systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977488$1EA665E6-06D2-48B2-BBFF-833BCAC4FD02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12a998a3871bcf17c86f6264279af45daa4cac6b","datavalue":{"value":"0959.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977488$9BDF9B78-1508-4599-9766-9034E05DFB7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e02bd5efdaf1ba863f2f859f81bc7aecd68f6ff","datavalue":{"value":"10.1016/S0168-0072(99)00041-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977488$C29FBE8B-BA38-4769-A95E-054C28C9213F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$4A786CFE-F65A-42BC-B869-DB1988659E64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$8082850E-90D9-4F69-9C7C-64E49B21E5CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965510c2bc86d2c445b669bbe56a3047f175e67d","datavalue":{"value":{"time":"+2001-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977488$11BA1D6E-FF4C-4980-8343-5E7B0A696D00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab78c0392532e92d1965bff23d408e32f95170c5","datavalue":{"value":"https://arxiv.org/abs/math/9809205","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977488$E0D5DCB3-ACE1-401E-9D3F-7904EDC96EAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977488$6C6458C8-3121-4891-A283-36264D7C7468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977488$F31B58DB-3902-459C-8F0F-3398371A84B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977488$EC0DA69E-F008-4A1E-8EEA-9180994ECC24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51922f7687a8eb22ac3d409c9ffd3e1eeadb2c2b","datavalue":{"value":"1448521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977488$CD1E6165-9AC7-4C6F-BE42-616C67C01087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8cb70894e2a9655efdcbcc7408847d5fa4f57c","datavalue":{"value":"Frege system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977488$5C5DCD42-224C-4BA3-B77B-5066571E7C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da01d7f989b881e687d01648fb24a19aa7164834","datavalue":{"value":"ALOGTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977488$425BA20D-1DE0-4909-8B9F-C41D18424CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71e21c498a4a8eaa55d92d533dda63796e442c68","datavalue":{"value":"alogtime inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977488$9FEA2591-8F34-4B0D-908E-F284D1A670A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977488$ADE70A10-112D-4E3D-A0D8-6CAF43DC2A90","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":"Q1977488$11F5BA89-3798-4B11-AA6D-B03F5F03BDA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$E32BD651-0F52-43F8-A5AD-80A2E4022DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cb5c2591c3b4779c32d742e1061633a99acbed","datavalue":{"value":{"entity-type":"item","numeric-id":4850545,"id":"Q4850545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$DBEE07FF-0E3E-4253-8A75-62512BCCE299","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":"Q1977488$9C748711-C5DC-47E1-BDA1-AA950DC57E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$A8B053D0-3FE7-459C-88D2-EB4364546C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$B580A80F-F08C-459F-ACC1-E71C70EE7D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb001c29fa98112c587c6f1dc6c42a414cde8c4","datavalue":{"value":{"entity-type":"item","numeric-id":1190513,"id":"Q1190513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$40A0BB0E-5B86-4EB1-8361-A57F284591E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d76a8cc0e2db7b2fe667c0ce2455c20994ee07","datavalue":{"value":{"entity-type":"item","numeric-id":3140633,"id":"Q3140633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$E720BCDA-2331-456A-A2AE-A08DD284288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311a34b230176ceecc0b30267639c631ee13e2ee","datavalue":{"value":{"entity-type":"item","numeric-id":4035303,"id":"Q4035303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$1A8DF121-C030-4E3F-9F7D-1BA117E9E653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25258644e2a2a844863c36732650f33cc995260","datavalue":{"value":{"entity-type":"item","numeric-id":3140635,"id":"Q3140635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$9FE0D712-6814-47C2-8962-53F46E79A890","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":"Q1977488$6CA1DA07-9E58-40CA-B389-1A2FC7CC2A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99809d749d7665c1131e4aeff813c9213a6aba56","datavalue":{"value":{"entity-type":"item","numeric-id":4850548,"id":"Q4850548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$70E6FF35-0201-40D6-9E80-FDF0E1C2EA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$3C871D21-52FD-44B2-8274-133DAE955AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f47d935369c84fd40f45ed37a1e6a1d3ed93b5","datavalue":{"value":{"entity-type":"item","numeric-id":4375787,"id":"Q4375787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$0D680294-0DDA-42F6-808A-2F1E74240B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c40eb8635c062f163a63f14d78d82cee97719ef","datavalue":{"value":{"entity-type":"item","numeric-id":4850552,"id":"Q4850552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$F85DFBCF-6F37-4441-8694-5F2F888E7E24","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":"Q1977488$9E0AB683-78CA-4790-B774-3029DC89D921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0839bc907cbeb8e435103f263793499d5d3292db","datavalue":{"value":{"entity-type":"item","numeric-id":4375797,"id":"Q4375797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977488$9FFFCE8E-036D-4D81-A36C-ED41633CFE5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486daf5d10c024d3f73c26c6d7ba7f9e081df61a","datavalue":{"value":{"entity-type":"item","numeric-id":2904624,"id":"Q2904624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d206617936b979ea9e30bcc732b63dcd82805d","datavalue":{"value":{"amount":"+0.9107762","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":"Q1977488$F57C9E62-1487-4A98-A847-A5D696FBFFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86231e4e67892f89f90c476142cc7b38b5fd05cf","datavalue":{"value":{"entity-type":"item","numeric-id":5425319,"id":"Q5425319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c586dadf3203b9de1907e5115f8e7bb0d30aaf","datavalue":{"value":{"amount":"+0.9019178","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":"Q1977488$1FF5078B-DE92-4343-AE0A-C45559BCE4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48df2ed64dac1e71e24bad9fbb0685bf802012","datavalue":{"value":{"entity-type":"item","numeric-id":4694224,"id":"Q4694224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee6a5a15b85e0f1bb5b8673f8dbea0138fba5cf","datavalue":{"value":{"amount":"+0.900758","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":"Q1977488$594D2C9D-D667-4584-9E2D-9361D6C75D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651c38ccbb6958d181d6d0c8d3af193004f78b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5465358,"id":"Q5465358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfbc881339e1fcd1b5090fe9b21e65f565c63cb","datavalue":{"value":{"amount":"+0.8953852","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":"Q1977488$8B107F1A-C83E-4E86-AD4E-B13E02DA1CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48080e5f99870dfa5e8068ac9dbc61dc60e706ec","datavalue":{"value":{"entity-type":"item","numeric-id":1915125,"id":"Q1915125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdce05c114403b7fa2ec3849d83052aea27c931","datavalue":{"value":{"amount":"+0.8887572","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":"Q1977488$7B5332FE-FFF3-4289-812E-D11AE5DFFB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1383d6587f1d644c4b58d97e20f66c370f37d7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3360848,"id":"Q3360848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170885a088831ef238ed501391b62faee416423d","datavalue":{"value":{"amount":"+0.8839852","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":"Q1977488$E6D63CD8-BDB4-486C-AA07-DF68BA662BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8e6d90fa6a0f290bed41d32d30a6d3dee01de5","datavalue":{"value":{"entity-type":"item","numeric-id":3434694,"id":"Q3434694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6f4d3e22b5a909f8996abe0792485488c4ff9b","datavalue":{"value":{"amount":"+0.87380886","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":"Q1977488$1582B88C-3D6A-47CE-BA10-505E01A2087F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbc9b7a9853e525e6be999e38d2d59369fcb8ca","datavalue":{"value":{"amount":"+0.87196565","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":"Q1977488$E960B3AA-8F7C-4FB6-A200-73B75CEC998F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6e52a8b5d8242e64c42bd7ba849ea74ae8d1ab","datavalue":{"value":{"amount":"+0.8681308","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":"Q1977488$AC7A51E6-919B-4612-B9EE-AE27AF8127ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075935af3b36c64ace0df4989d85eaaccff64a85","datavalue":{"value":{"entity-type":"item","numeric-id":5391544,"id":"Q5391544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3a37a9d8364fdd72773a48dc15ac70de4048ce","datavalue":{"value":{"amount":"+0.86488706","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":"Q1977488$1EA177F8-544C-4847-AC05-1026627D89B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bounded arithmetic AID for Frege systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bounded_arithmetic_AID_for_Frege_systems"}}}}}