{"entities":{"Q4384146":{"pageid":6413745,"ns":120,"title":"Item:Q4384146","lastrevid":28584959,"modified":"2024-03-05T14:37:47Z","type":"item","id":"Q4384146","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1144041"}},"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":"Q4384146$3A53CD35-9053-45F6-BD6C-06CB2915E762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89c44e654b06f0f60c8f660ddcf28694602d1676","datavalue":{"value":"0889.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384146$C1111308-B59B-4FD1-8925-70478C4F6958","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4384146$4A925805-5129-47A4-B407-5DE7DA28D25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4384146$C289B776-2AF1-4323-827C-A78B36C33109","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e960b6031491651e5f121916383a51a169df87cc","datavalue":{"value":{"time":"+1998-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4384146$299CDD44-685C-45B9-80A6-0151D2EBD22A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384146$544F52C6-7A40-4B19-9F3F-72E91BFBC96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384146$05F59FAE-0257-453B-9F77-949A6A33230C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384146$3AEE767F-9DA0-4A04-B50E-21585EBF46E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d444caaeb0ff971b74dd81a5a1632391fab71564","datavalue":{"value":"1144041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384146$D3C3C539-E602-47C0-B3D5-C33C01063D0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e84cd3e501d16449966243f58d9257120e9c9700","datavalue":{"value":"foundations of arithmetic of natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$E8EF514C-E46A-473C-8C5B-676FCC1266CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$D34099B3-460D-4D4A-BE3D-9BCC104EA131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af0e1bf16378df0bb25f42418dfd4f2d4c37efbf","datavalue":{"value":"partial truth definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$C1BFAB9B-6564-4CBF-8669-5C4E00825CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$74AB55D4-8513-46DF-8118-EDCDC2E8E34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab385fa86bdad23c2a14574019def9d96ea3ab7a","datavalue":{"value":"combinatorics in fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$30D3D628-F562-41EC-90D6-21ACBAFE9851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$FB73FAC0-18A6-4E36-9F7D-01A6D5871342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a55c2247f1ec1afae79380a28ac8b326571bcfd","datavalue":{"value":"self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$8ECA1D2A-50EB-4B57-9B6A-D0DF35B83036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ea87a4ea379f3bcbe239867c425da4d87ac05f","datavalue":{"value":"reflexive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$B7BB5C6C-B311-464C-8560-A47C12779AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ac8f4ed5fe3210887012ddc31884c2438ccb67","datavalue":{"value":"definable cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$091C3C1B-6518-4652-B9EA-18EEFD915C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$58B29C8B-81F7-4BA4-BB4E-75620243AE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee99d1b29866c7873e9ce1d26b1adf170bfa5bbc","datavalue":{"value":"indicators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$150A3877-DC32-4B8D-A88D-5B85F83B86A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$1FDF793F-891F-4938-AD6A-5296557419EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$7E2BCA81-EEF7-4289-AAE4-F8A04A741A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$66488067-9340-42AF-9203-1CA2CB2655E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"391d5a95475e83c281cb138565ca674886263c24","datavalue":{"value":"witnessing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$6D3526C1-F98A-498C-8F9A-726388B48CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$9D321699-7791-4E8E-8EBE-439D77FA6CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384146$6E5E8E46-5FD0-4862-8E9E-01D3AAECE5FE","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":"Q4384146$C9CD61DE-5AA3-40FC-9038-828509572DB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4384146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4384146"}}}}}