{"entities":{"Q4035314":{"pageid":6065034,"ns":120,"title":"Item:Q4035314","lastrevid":55236742,"modified":"2026-02-05T04:24:14Z","type":"item","id":"Q4035314","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176210"}},"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":"Q4035314$16BBDF84-E2EE-48FB-8CF5-68841093369F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d730731a054620c2a39b2917b89eb64b89dde13b","datavalue":{"value":"0764.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035314$FFE03AFB-57F8-401C-9FA4-ADEA94C30C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035314$A8B4670E-00DA-462E-904D-C241D5306A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035314$EDE1E359-878E-44ED-AFEC-B6196DF51373","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035314$F666B9AD-AB28-45DF-84FC-5B4A4095E927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035314$127C8C1C-281A-415E-A1AD-FB3135F9CAA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c32836384793a3238aa93c421510912263f72cd","datavalue":{"value":"176210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035314$B4CF4B1F-7287-44BE-BC8E-7BFE785FE123","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035314$16213DB7-1E96-4671-B148-32ACB91D272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035314$10FBF63B-3AB4-41CB-BABC-B948BF096776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035314$1D1E0A9F-64A3-45A4-8C4B-0A79F4A63387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5f928525857abbf5bf02e41c19ae8b6713e8af","datavalue":{"value":"bounded first order consequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035314$B83B04A3-0E74-4157-B5CA-52B912A43149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2ec1f8da7bf4472b672aeab199658f3bd04f2a","datavalue":{"value":"quantified propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035314$4B0193E4-AD5A-493C-9E87-6CECAC6E172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035314$2226A9B3-A85E-4C99-942E-F41F45DE760D","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":"Q4035314$97B6AE01-8141-4CBB-BB8B-CB9B982DB6D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8261886948f14cb59ff6658e1e67a5d38ebf9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4565103,"id":"Q4565103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6b295ca172ce75142d567f313d5ec47ee66555","datavalue":{"value":{"amount":"+0.7897689938545227","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":"Q4035314$6E1B86A9-7969-4E19-81C9-B9F112C48FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b43c1378cb3013a8fa80841628c30e063bffd1","datavalue":{"value":{"entity-type":"item","numeric-id":3476809,"id":"Q3476809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25d3a23d08c2c5504e6bf7b1db6dfd391eaf6a3","datavalue":{"value":{"amount":"+0.7731286883354187","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":"Q4035314$3377DA97-F09E-4E04-8784-2D15DB162323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b16fe4e50fb1ab446261c9c2e75253cfb69227","datavalue":{"value":{"entity-type":"item","numeric-id":3985100,"id":"Q3985100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6342eeb3fc0e5393e76df16f1de66cf2e142c94","datavalue":{"value":{"amount":"+0.7727422118186951","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":"Q4035314$C35F8CC6-E908-4DA1-BA0C-542BE58417D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4391ef12e51c3ce2230d0e5e03d87c41a53878","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9200ee579836521a6788457c247566e9c2edc282","datavalue":{"value":{"amount":"+0.7717882990837097","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":"Q4035314$B25A5350-A1B3-41F6-9B0B-4B7F394F7B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0ab44241ec90e3b1675b79ca068ecefb296f48","datavalue":{"value":{"entity-type":"item","numeric-id":4282609,"id":"Q4282609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e09ba21501cc6308c49e87e058a19f6ba63b34c","datavalue":{"value":{"amount":"+0.7708904147148132","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":"Q4035314$010A4394-66DB-4869-9329-17F85271A27D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035314"}}}}}