{"entities":{"Q4695326":{"pageid":6724903,"ns":120,"title":"Item:Q4695326","lastrevid":47168323,"modified":"2025-12-31T21:47:18Z","type":"item","id":"Q4695326","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 204999"}},"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":"Q4695326$D1DA03DC-E079-46D5-A59A-EA5A004CFECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dab27d2e33bfbf29a3fc1878f77efde100ce72b3","datavalue":{"value":"0777.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695326$AA04FC09-1E9C-4AC6-AE33-DC77BEB23713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73c1957dc5fcd980db26b42591096da769c6db34","datavalue":{"value":{"time":"+1993-06-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":"Q4695326$7C4C7AE0-BF48-488F-A147-C4D71F748B17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695326$8CA4C3DA-72E6-4368-8CDA-7355F8B8F128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695326$F2F63D48-65CA-4A52-B0C7-A72F5432470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695326$31AB2B78-946D-4039-8708-2759EFC4FDDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d90174da6ea98e9c543c33f082a6df338af0bc1","datavalue":{"value":"204999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695326$A922289E-5158-48AF-AE78-B14E37A343C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e0de32a4c7fc556ad371487b32f353f10a043b","datavalue":{"value":"theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$BC9742B9-D9EF-4216-ACE6-8D3608AEE3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a6e871a284af917cfc8de81b27bddc18a2460a","datavalue":{"value":"metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$066B26F5-1688-4FB8-BEA2-500C6AEA46D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$5410FA21-B74A-4CC6-9EE8-A91D6BDF8B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$2BB5943F-3D89-43AC-BEB5-8AFA88BFFA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$29EB6721-E683-45D2-918C-5CD1079181EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e10b01afe378318b61b3603d39f472c70c53a80","datavalue":{"value":"first-order calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$00D7C37D-029A-4B07-8361-A297A2DAB994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$2B12B057-348A-48AD-BA62-CAACC678340E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$382B2D85-E460-4208-87AE-027C51DA1ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dac3b5f911e04d9bf4dd01bdfd5187c344950f","datavalue":{"value":"cardinal numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$9FD616A3-C551-461C-BF64-F5971A393F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$26F802B3-EE62-452B-882A-179B70AB2AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3cc2be5a06c7a4fd42cfa93ab4ca67a19f07995","datavalue":{"value":"enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$653E4E9D-B2A1-4B13-BD78-86BC753AE4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb2406e8dae2ea6cb3081cae347f3e322f9fdfc9","datavalue":{"value":"recursivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$BDCA9A10-3722-45FD-BAED-E063C0DACF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$E8ACAB4F-5ADB-47A8-8A65-717FD255E7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde09b3a1223c82ce4de8720e31066874957efd8","datavalue":{"value":"G\u00f6del's theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695326$E4EBD15C-0C76-425C-927F-958A08AE16C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"693921056d1c1eb0fa48df6f4f7c30ca27c02563","datavalue":{"value":{"entity-type":"item","numeric-id":1891932,"id":"Q1891932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695326$5B49EE38-67A9-4F2E-ABD3-AB0F9385EA35","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":"Q4695326$88CFA91F-9EC9-4907-B77E-45ADC5A4C7B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f39a56e03732b4946c9b2c2f09777d208c44b60","datavalue":{"value":{"entity-type":"item","numeric-id":4239317,"id":"Q4239317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f9da68608180ff20d6fd76c59cf8075671341b","datavalue":{"value":{"amount":"+0.8657943606376648","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":"Q4695326$DBB809B7-C375-4BBA-B2CB-A21218A4E24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad678de063efb2d590cce52f01ca15cc46b1f45","datavalue":{"value":{"entity-type":"item","numeric-id":5485945,"id":"Q5485945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f9da68608180ff20d6fd76c59cf8075671341b","datavalue":{"value":{"amount":"+0.8657943606376648","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":"Q4695326$7AE4B8B4-3EA4-43E5-A578-2A4CD62EF18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2e81a516bee5fa9ede9f6df14029108b96e6e5","datavalue":{"value":{"entity-type":"item","numeric-id":2753072,"id":"Q2753072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c790cdda0049c3fb70c142b939ff6be9892e1d2","datavalue":{"value":{"amount":"+0.8319007754325867","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":"Q4695326$FFB63D94-1C46-4EFE-9558-181F7CBF642D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2754d71e7d51d131ba0d2f087046bb50ffab8259","datavalue":{"value":{"entity-type":"item","numeric-id":4004353,"id":"Q4004353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eddc93f7b28820dd33d14679f798ec60936af32b","datavalue":{"value":{"amount":"+0.8146876096725464","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":"Q4695326$8FAFFFFF-7FAF-40A3-8032-8B92FB2390FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12737f6bbfd1d70aa5fd7a00a4313607a30caf7a","datavalue":{"value":{"entity-type":"item","numeric-id":4301238,"id":"Q4301238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2c30bf3f795dcac1bab55146d8ac7e2929d092","datavalue":{"value":{"amount":"+0.8144611716270447","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":"Q4695326$65C66EEA-9549-4032-A8A9-3E3B6A9E4844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4695326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4695326"}}}}}