{"entities":{"Q4386982":{"pageid":6416581,"ns":120,"title":"Item:Q4386982","lastrevid":46523586,"modified":"2025-12-24T23:25:21Z","type":"item","id":"Q4386982","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1149459"}},"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":"Q4386982$C65A9836-29B1-4889-8EF6-AEA69860D275","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f011dd80678964e8e71537ed0ad6ee1039280bfb","datavalue":{"value":"0889.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386982$DA57305B-9987-4F7E-969E-8FD7707240C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4386982$C7F354E3-92D9-476E-A359-8100F4839C1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f20d8cf2ff795ea1fbd7a9a0fd2ec0032ccd6f37","datavalue":{"value":{"time":"+1998-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4386982$7958BDB1-742B-455A-86BA-D6D563E0F340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386982$75D50BCE-B82C-4A48-B2A1-CAB0FF456182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386982$35F80483-EED2-42DD-8834-4281357B4294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386982$A982076F-5CFA-44FE-BFD1-600368B4A391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"731fcfc7140b154dbfba8c35a2d05efb67352ce8","datavalue":{"value":"1149459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386982$6D97089E-A409-4263-9301-C6BCCF408DAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4386982$B29615AC-5A7F-4FDB-B9CD-DDDF3F0EED54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d23d8a34634c953cb0999eb94a9f95124e72b4b","datavalue":{"value":"definable sets of natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4386982$D90AD2CA-9598-4398-9020-E2F1B42626BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b544c29ef2332a7ac7e48f9d6728288c581f4fd3","datavalue":{"value":"constructible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4386982$492BC15D-9BF0-42F5-891D-9268D8FB76D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4386982$770AA6DB-E092-4A2A-91E9-B1EF2D7DF67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4386982$943AEE03-09AB-4263-926B-C1A932777F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468019f5ee0d44c89b0171c3e2d4ed3cb3bada8e","datavalue":{"value":"\\(\\omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4386982$579D2B81-60FE-41CC-9DC8-44E16CA7A7BB","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":"Q4386982$E84DFF70-6966-45FB-B262-8AB88CE6F08E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251c095c0cfbb9f9fca38e6a1d4c00adbdbc91ac","datavalue":{"value":{"entity-type":"item","numeric-id":283132,"id":"Q283132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d976a45daf3fd4da9e67cc3e3bdbb18e3a92b5c4","datavalue":{"value":{"amount":"+0.7191059589385986","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":"Q4386982$C92210F9-E2AB-417C-A557-99043E095EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259e2808d1849574ef7fc82812d310ce23fa4ba","datavalue":{"value":{"entity-type":"item","numeric-id":4204147,"id":"Q4204147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221042191bfe43ccc632a51c99b082d94846a96d","datavalue":{"value":{"amount":"+0.7189855575561523","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":"Q4386982$2AF5B883-7F78-41BA-8BF8-CC4ABC28BA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7976d912fecd5683a1f57959832ce8dca91be1","datavalue":{"value":{"entity-type":"item","numeric-id":3800028,"id":"Q3800028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7dffdb6f80d29c5ef406bcf650aded454c871d6","datavalue":{"value":{"amount":"+0.7090510129928589","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":"Q4386982$913DA405-2FDD-4C58-AE95-FD71C77B902B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba423d59bafa06b8a776b37ada6bf919ebfda381","datavalue":{"value":{"entity-type":"item","numeric-id":3318773,"id":"Q3318773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa268bff92225e50f0f14b17f6c5d7f3e54abaab","datavalue":{"value":{"amount":"+0.706831693649292","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":"Q4386982$18806B52-89CB-418D-8E17-EE59C11D72A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f7101e1dd1cf5d23b172fcc6c6f305df9bafee","datavalue":{"value":{"entity-type":"item","numeric-id":3840398,"id":"Q3840398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36f108ef16637ea69196b33e66003af72a5c5f0","datavalue":{"value":{"amount":"+0.7063225507736206","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":"Q4386982$46ED057C-A018-4FFE-AFAD-D4A5CA8FAA75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4386982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4386982"}}}}}