{"entities":{"Q4375800":{"pageid":6405399,"ns":120,"title":"Item:Q4375800","lastrevid":46994112,"modified":"2025-12-26T00:33:13Z","type":"item","id":"Q4375800","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114029"}},"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":"Q4375800$1D241D4D-D1AA-4DBC-8D45-52DF97BF0EEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a7377dc2d06f13cf745a3684f36b5464e3b384b","datavalue":{"value":"0899.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375800$749C3DB1-E148-4D8E-8120-A893FE8DF76B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef3f83b5be7a709f851a5de8e8d01061e550d67","datavalue":{"value":{"entity-type":"item","numeric-id":731896,"id":"Q731896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375800$868566D3-3DF6-47DB-957D-254D7AA48FB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaea8cb452e591c2b43bb59cc15f5525e92c8e85","datavalue":{"value":{"time":"+1998-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375800$42CDB3B4-1750-4BB0-B804-6840FAC26D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375800$9A5E85F7-98DE-439E-AB86-F3F98F2705BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375800$E90D1F2B-C446-49AB-81CA-60347744017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375800$5BFA5C8A-5AA0-43EB-97A7-F0CD42DBBD94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9164276632a61e96febe8db5152372f79713622e","datavalue":{"value":"1114029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375800$2DF89BDE-11F6-4485-9A2D-12748AC78503","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$9FD672E9-F4BB-4627-8E2C-76865430BFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce78868c0228cd5f001057215c1af0bddf572a29","datavalue":{"value":"axiomatic systems of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$F6280E3B-F0A5-4401-86A5-4B7ED73EFC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5bdaeb77de5bde26b6a976c47589e4175302415","datavalue":{"value":"introspective semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$0012BDAE-B236-47C8-86AE-3231B9D29AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab68f804bc898b9cb9d30ebfd6ca8a31843311d","datavalue":{"value":"non-growth functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$FC317E14-2A29-4971-ACA4-92C23DE36177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86f63fe1098dbc31c9ce39bff3551b474b42d9","datavalue":{"value":"arithmetization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$CDEBC3B5-10AA-4787-8BE7-5D6D54419FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$5141FC9F-AABD-4DC9-BF87-ACC3509EC93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b42119984f63b52438d37e899c40438893ea85","datavalue":{"value":"\\(\\text{P}=\\text{NP}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$83726D80-48F1-4FDE-AE49-ED38FD9FC07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375800$8DE11AB6-2937-4DDC-AF1D-B97FFFAFBD3B","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":"Q4375800$926DBE77-CD85-499D-9EDB-86FC5387B5C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48f520e453e565c429ffbb5883deb00579293a8","datavalue":{"value":{"entity-type":"item","numeric-id":2747704,"id":"Q2747704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cce21d77afe88946ae0e60ea4721e8ee894dc2","datavalue":{"value":{"amount":"+0.7434440851211548","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":"Q4375800$0F19E746-6248-4CFB-B87F-B733E0A548BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf3e1309b720aab4d5e3e6086f83e87ae9f0f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2383632,"id":"Q2383632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932f445c387fc4159e2aeaf038f46dfb9d863289","datavalue":{"value":{"amount":"+0.7383590936660767","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":"Q4375800$7212D469-7C76-41AA-A2C6-F3DA16093DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4594e569900b5da2f823938b9b7c7e19a7cfab9f","datavalue":{"value":{"entity-type":"item","numeric-id":4314671,"id":"Q4314671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e77bbfad15571e85b27d70ea2be6b1aa5168b9","datavalue":{"value":{"amount":"+0.7329261898994446","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":"Q4375800$5A86008C-6405-487A-950C-BB2AD2BD09F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a64e413bcc348b0079528608e6adaa66b936b4","datavalue":{"value":{"entity-type":"item","numeric-id":672742,"id":"Q672742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e357c76684075d6691871d9bc28113067b852117","datavalue":{"value":{"amount":"+0.7294905781745911","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":"Q4375800$05973779-D4E2-4FC8-92FA-F40FF01395B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375800"}}}}}