{"entities":{"Q3338236":{"pageid":3348944,"ns":120,"title":"Item:Q3338236","lastrevid":48739249,"modified":"2026-01-05T18:19:36Z","type":"item","id":"Q3338236","labels":{"en":{"language":"en","value":"Pa-Beweisbare \u2200\u2203-Formeln"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871344"}},"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":"Q3338236$A5160D0F-E18A-457F-BB76-491A6D6EA485","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5f4aeb1373cf4c41a2eb513ed517b3156a59388","datavalue":{"value":{"text":"Pa-Beweisbare \u2200\u2203-Formeln","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3338236$EE275447-1193-41F8-A297-31D0058168CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a78a807aa2b6f241994cd6d028ce1c3efcd74b8","datavalue":{"value":"0547.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338236$68263546-971C-4192-A704-2CB06952DB0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5cae2822f57b173060d0f48b344787ae9eb25d5","datavalue":{"value":"10.1007/BF02007139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338236$D157AD49-E35E-484F-976B-E3F466EFA53A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b177165b279635e3f7b47f887d592b8d325da9","datavalue":{"value":{"entity-type":"item","numeric-id":3338235,"id":"Q3338235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$1DF99EA0-3846-4488-8637-880AC788ED1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$EFC84D1C-0B22-4F98-9FEB-AD58CBF4F1AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3338236$4822777A-AD18-4E82-867A-D7A54900F0CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"867117caefb323ea3e5116729597d882c26ec701","datavalue":{"value":"https://eudml.org/doc/138021","type":"string"},"datatype":"url"},"type":"statement","id":"Q3338236$A2BDE47D-DBCF-4743-8521-A76FD00CAAB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338236$660E49CE-0B9D-4251-BA03-082A42347D0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdd250eac6f3fd95892b908e8056a6b4b07b2258","datavalue":{"value":"3871344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338236$622DCB42-3C97-474D-918A-1255743797FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338236$4AFE394D-29D1-44D9-BED2-D470849B909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671ec8f005a672c066705c17ed443ede3c15a2c8","datavalue":{"value":"provable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338236$A9E3B313-3D02-4CB5-84FD-9301535F21F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac65ef796c795e8be7dc594262f66962b1571e2","datavalue":{"value":"arithmetical function hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338236$6AAA3DDB-16A5-4098-B52F-A57A74CF08FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae3515f0689bb35be2b9df6decc0ebfdce05181a","datavalue":{"value":"subsystems of first order Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338236$080D02D3-7E42-42B3-AA9E-9D721C9738CE","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":"Q3338236$AFD0E06B-8B87-4FEE-BD4B-817499F46246","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$1F30FD75-3866-495D-A5FB-1AC9C17D1116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$298956E2-108A-4D75-8839-E31929F82E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$F6EBB548-3C70-4009-B9E4-2768A13FBDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$CF3C2C47-1225-4BA5-82B6-965503ECD196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$55675AF2-82EA-4438-8041-EC877F745D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a31652f30ee05544850592905d3ff797bda713e","datavalue":{"value":{"entity-type":"item","numeric-id":5343335,"id":"Q5343335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338236$D1BABDB8-D484-4AD4-8E8C-3AEE17C6EFF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98177fbf10ce707badca4635c26289d2eed802f","datavalue":{"value":{"entity-type":"item","numeric-id":1073791,"id":"Q1073791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744b2e1f3bdc9ff5e5ff95811dedfb8fdeae16ab","datavalue":{"value":{"amount":"+0.7407360076904297","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":"Q3338236$67528C82-8F72-4B0D-8851-F63D64BF85DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaf58864b6344903f4e733e071e29fea437a683","datavalue":{"value":{"entity-type":"item","numeric-id":3720596,"id":"Q3720596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b526537a290bd03ee24cb09e52526fbc3520998","datavalue":{"value":{"amount":"+0.7381138801574707","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":"Q3338236$BD80B101-B677-4D47-907C-944688EF142C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e250c9950b9fbb4fb32f1056f995f17bc1e86f4","datavalue":{"value":{"entity-type":"item","numeric-id":3788004,"id":"Q3788004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f7dca3b2846254bba0d4c9916bf8e296fa3650","datavalue":{"value":{"amount":"+0.7217695116996765","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":"Q3338236$B9E9579E-3690-4044-89F4-28AF4FFDAA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aee37ae2d278d5b9a55df6ae6a1eae9ac4a69c","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cfadd18f2e50d97e0e6c1013eae431993f5a32","datavalue":{"value":{"amount":"+0.720308244228363","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":"Q3338236$29867171-1FF2-4868-9539-B91DEB7BB775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3a956d4826a4b4fc8f02dcddca4964b2972a29","datavalue":{"value":{"entity-type":"item","numeric-id":558443,"id":"Q558443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f3ecb46943f02b7e49946884e02e90d9fbdb93","datavalue":{"value":{"amount":"+0.7198829650878906","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":"Q3338236$51FE39D1-435F-4F2D-9E88-CA4F83124091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3338236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3338236"}}}}}