{"entities":{"Q1893141":{"pageid":1903883,"ns":120,"title":"Item:Q1893141","lastrevid":71087202,"modified":"2026-04-13T19:23:47Z","type":"item","id":"Q1893141","labels":{"en":{"language":"en","value":"On formalization of model-theoretic proofs of G\u00f6del's theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769232"}},"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":"Q1893141$50FC9608-1754-4926-99EF-0390389F2DB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4a2a288d850c66546ee1ec111c6b23bb2ecc7d9","datavalue":{"value":{"text":"On formalization of model-theoretic proofs of G\u00f6del's theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893141$51436CCC-BAF4-4485-9232-DB391BDBB2E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24d84cd7b0d2c342d9ec7ce54ff6c0e4a80c186d","datavalue":{"value":"0822.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893141$23D777F4-4F04-4188-9109-2D45C8A565DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28373dd70f177f8ebae250ded5af561ec2e0846","datavalue":{"value":{"entity-type":"item","numeric-id":312494,"id":"Q312494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893141$D3BD2250-5732-4FA7-9681-CDAA185C7034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea4f97108b5d4f7a0bd80664332764ce166d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":676309,"id":"Q676309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893141$FD471FFA-97D2-40CE-AAB6-97AFBA7FFF1A","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":"Q1893141$012BD930-A0F2-4081-8B0C-097FBA735C24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-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":"Q1893141$3D48FD63-77EA-4FE4-BC00-A892F43F9B1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893141$C57BBD44-62DF-4269-8AFF-6D96255CAAA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74c692ccbcfaa82a12a1a4f89398d3d055369038","datavalue":{"value":"769232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893141$06983EEA-9A5D-4F5D-9931-B711FB379889","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893141$6DFA9889-4197-4E14-AFAC-FB21129424E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950291c557f1ec9615a4390b1eafc3ec5c91cc12","datavalue":{"value":"first incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893141$4BBAC8CA-E065-4D52-9A4F-D870025A2815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d51924715dcac3a185a426298ae6e1340d23f7a","datavalue":{"value":"weak subsystem of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893141$981E4900-9667-4F27-9E9C-A9D2F07350FB","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":"Q1893141$A635EB09-C80C-4960-A9BA-E36EE29BC6F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd177499ac397805c2950f77a5e9dfb04fce6349","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040511346","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893141$7DE8FC40-D2F2-411C-9FD3-B0EA8B8B6889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f7d08c58242d9a5ce3064109598bbe7f0129228","datavalue":{"value":"W2035441142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893141$51BD015C-E84D-4BCD-8AFD-DF0314DDE9A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17de95e80c31ead6dc338e155f702c41c356d1e8","datavalue":{"value":"Q55969989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893141$A638349A-BCB5-49DF-A72D-AF6C9F811396","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0891913663d8f8db20e51f632db652b6e8ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4523482,"id":"Q4523482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893141$F41335DA-9B6A-47AA-8A37-11F900A0197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893141$65CC47C0-AC2E-4130-B40B-6949F8C6C56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff41b7a700847bc3ac8334b7706d84c7a7a1a30f","datavalue":{"value":{"entity-type":"item","numeric-id":4315327,"id":"Q4315327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893141$619F26EF-FB3B-4DBD-8781-EF6E7CE81BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb2941a3e085c50ca335c93e3017bbe297ced8f","datavalue":{"value":{"entity-type":"item","numeric-id":5799429,"id":"Q5799429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893141$86702E8B-6F7F-4CC8-B718-A03B8448541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893141$50048C80-66B2-4506-88C1-7F67BBB19E7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24681015126545f2d8dc9c9c577a19cb2c5ce994","datavalue":{"value":"10.1305/NDJFL/1040511346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893141$38C399C8-0168-4377-92D0-E5D95E0A9FE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdcdef4c5039a393a5aaa497f1fb9f71b14dfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3065d76635e45dded25f2b6ba538ea6efee3b413","datavalue":{"value":{"amount":"+0.8083154559135437","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":"Q1893141$E946E6D4-1A1C-4EA6-800F-270EFBE32141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5018a9e182e3ad69af540739373d49d1cae1857b","datavalue":{"value":{"entity-type":"item","numeric-id":4910867,"id":"Q4910867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f39c507f9aab5da72c25445725cc108a0c8a44b","datavalue":{"value":{"amount":"+0.795587956905365","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":"Q1893141$E9523864-6629-4C5C-BC3C-85F7A4E53EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2454600514756771921ca2d58e70225397847431","datavalue":{"value":{"entity-type":"item","numeric-id":2940885,"id":"Q2940885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b808c4cbba3b3fe626728367e420ef9922657675","datavalue":{"value":{"amount":"+0.7919303774833679","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":"Q1893141$9EBC0B84-7C85-4D26-B9F2-844CA68585EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On formalization of model-theoretic proofs of G\u00f6del's theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_formalization_of_model-theoretic_proofs_of_G%C3%B6del%27s_theorems"}}}}}