{"entities":{"Q5937853":{"pageid":8114655,"ns":120,"title":"Item:Q5937853","lastrevid":41739606,"modified":"2025-05-07T18:53:21Z","type":"item","id":"Q5937853","labels":{"en":{"language":"en","value":"An open formalism against incompleteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620848"}},"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":"Q5937853$2CE5411A-15BF-42C9-9AD9-14CE9584B61B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3e79100a6f260d0cfb209d8d58269129dec609e","datavalue":{"value":{"text":"An open formalism against incompleteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937853$C9F57877-CA15-40FB-A796-F5ED2DA1FDC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df10acdcfd86dd1da9d659eca02b53c0e617a68","datavalue":{"value":"0972.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937853$9E6F9821-98FB-4B0A-B854-5ACC80D216B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfe4396c844eed959d99cbcf79b80c097e7197c","datavalue":{"value":{"entity-type":"item","numeric-id":190351,"id":"Q190351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$81D9772E-9179-469E-A2E2-348408E2AFF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$128E38FE-AF5A-425A-9D34-935A9E2B6F0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937853$A85EE606-1064-4C59-9B39-A24095F7B23E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937853$08CF68EC-F8A4-40CA-BF0B-B06CE6FA8AE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"638ea97710b10799f21587ad3bf0fb87a9c4d69c","datavalue":{"value":"1620848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937853$75B66CC1-EE09-4E48-B0E0-9A746F1E7AD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c667f8f9dcb41a0a0d2174a83c595f6badf19","datavalue":{"value":"open formalism for arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937853$C8816BC5-3D8E-485A-8444-DB1A518236AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937853$225509A2-677A-4BC5-BF6C-A60C27DF8413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11b8ca84e4bb6b6d269686c64208c414da75007","datavalue":{"value":"omega-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937853$97577C26-A183-4694-813D-862F58ABB647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937853$7739430C-DDCC-451F-838B-F7D263F84ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937853$103BABA7-80D1-4809-B0E9-6F3E33823C8D","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":"Q5937853$2F6BFF27-0ECF-415F-8E80-D7334E35B953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7314192e69fcf17867e3555840de46e52210c0bc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1038949537","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937853$EB10806B-0839-4017-B52D-4FB2142285C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81cc242fb57a22503a4cc41c214c3eb31b843213","datavalue":{"value":"W2057099403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937853$2542C467-464B-4F2E-9BA6-276B3AF0546A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$25B47690-BFDF-4711-908A-9004B3416512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb044c7442b7a1aa13f726f8f2ea257954ae384b","datavalue":{"value":{"entity-type":"item","numeric-id":5769518,"id":"Q5769518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$EE77E3A1-0AD8-4601-9F22-F9B0CD91DC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$268BD54E-E35F-42CC-B4BA-E600B9EF8659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$59AB5584-BDDA-4D8E-AD96-9F3495D201F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$07CFA6EE-AD38-4FA1-B206-D765B87CE0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$8AC41918-CAD6-4F40-81A3-EFCAE6ACD86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$F1B7582F-F794-4101-89CB-C5D55B8A023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3647fe00e3b83141b14436c1949063f538c83988","datavalue":{"value":{"entity-type":"item","numeric-id":3997075,"id":"Q3997075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$83510768-391A-4F06-B11F-AD165E317979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d166c595463016c0b570c34684ee79c3e592e","datavalue":{"value":{"entity-type":"item","numeric-id":4292612,"id":"Q4292612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$ABADA786-F119-4350-A90A-73D71F2BC5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b456fb79fc915712735b16c81d19cda85b65b9","datavalue":{"value":{"entity-type":"item","numeric-id":3986352,"id":"Q3986352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$E0CF7F78-D6BB-402B-A4DA-55E09A3CF1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa23cbf3c17dd9906cf44fc92a6448101d6f154","datavalue":{"value":{"entity-type":"item","numeric-id":4323053,"id":"Q4323053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$38BABF4D-7803-4F66-9E1A-008A126507B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$CDBA044C-5A0D-4769-A2BF-82CE186B266E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5f35c8e0f29fb78791fd1699a3f62b077a8018","datavalue":{"value":{"entity-type":"item","numeric-id":1148900,"id":"Q1148900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$EB92CF64-77D0-4D5F-B710-63637814EAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f73b96d1fbc8191af9e33657432fbd034faf4f","datavalue":{"value":{"entity-type":"item","numeric-id":5686039,"id":"Q5686039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$39AF6DE7-BB49-4747-9E9E-E7058DDE624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$F62B7911-4D21-408F-8F5B-FAE774C7B78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937853$316440ED-62A5-4F2A-9D41-709CD4B396DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8f295a8147fd220808fd2772eff1ab473219efa","datavalue":{"value":"10.1305/NDJFL/1038949537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937853$BD1C6C2B-14B3-427E-87CD-D1D686B2D870","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965ef981a88f68c9bc25d87eaf82779a309524db","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4607de44d7cb052abc8e86af4f4da45e71a524bd","datavalue":{"value":{"amount":"+0.854607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$19F54108-9E53-4F03-90CB-147E75513AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1aa0e043265cab923720152d40b59852784c144","datavalue":{"value":{"entity-type":"item","numeric-id":4411846,"id":"Q4411846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8e96a0be39549c6980f9156d949bb796c8bab3","datavalue":{"value":{"amount":"+0.85126925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$5234E5F8-3F2F-425F-9AE9-43D621FCEC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e3669d7a230a729e57dd506bdae15234d774f7","datavalue":{"value":{"entity-type":"item","numeric-id":2964466,"id":"Q2964466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22482f89e02644a6f532aed83337013a216b3df","datavalue":{"value":{"amount":"+0.8484555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$BB6861FC-AE88-4A78-80F1-D441FAF2F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f94021b8390bd794d54b93d5bd77a333b1a344","datavalue":{"value":{"entity-type":"item","numeric-id":1337603,"id":"Q1337603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a135b3214efdf8e12d0bd8311a7439831bb97872","datavalue":{"value":{"amount":"+0.8473865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$F5841842-66ED-4BD3-BFA5-EA566AA62757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11471a6b090db2b0618c36023c78d22ccc6122e6","datavalue":{"value":{"entity-type":"item","numeric-id":5313054,"id":"Q5313054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb6b58b1bac8832ceacec2877655efed68e35d4","datavalue":{"value":{"amount":"+0.8434252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$E76358B8-0890-4E6B-90A6-F9397A7F3E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbe6c00b7bded1ef85c14119437fe835c7d194e","datavalue":{"value":{"entity-type":"item","numeric-id":3989922,"id":"Q3989922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0fd0c0d3d55f3d4917840e7cd01ac28c59aa09","datavalue":{"value":{"amount":"+0.84309036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$139DD330-6EB8-4C4C-AE12-55A8D0587960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dd535bb544868e377d65a39562f1938d60635f","datavalue":{"value":{"entity-type":"item","numeric-id":3654823,"id":"Q3654823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5157c2710083c596f318bac21e7d811749b358","datavalue":{"value":{"amount":"+0.84285676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$0FAE4607-CDA0-4836-8AB0-D09852FF9DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40549692d414ce364cfeff2a42d1ceb3b3d42b31","datavalue":{"value":{"entity-type":"item","numeric-id":1297717,"id":"Q1297717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab23d509477bb20b8417910bda6ab4479a2d6500","datavalue":{"value":{"amount":"+0.84185165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$80251ECD-5F6D-4608-8298-09AC00C22743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779559de1dfa70ce6f15fa7dea4b910f18f251b5","datavalue":{"value":{"entity-type":"item","numeric-id":848254,"id":"Q848254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adc8027fb703e9c600967efcfe7ad912ae09729","datavalue":{"value":{"amount":"+0.84019554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$0FEB0FF0-C639-4CD9-861F-7F13738236B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf27804f4f8b51bfe21a904acb7bbf8d2961cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af93bfce9f9b473f40071975d92fca7bc8c1746","datavalue":{"value":{"amount":"+0.83807194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5937853$223C8223-DF38-4F19-8F23-C65C18735A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937853"}}}}}