{"entities":{"Q5707890":{"pageid":7737444,"ns":120,"title":"Item:Q5707890","lastrevid":48600421,"modified":"2026-01-05T08:34:30Z","type":"item","id":"Q5707890","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2232435"}},"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":"Q5707890$06501ED7-2F69-4019-86C9-69817AA05C01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f565cc8b09562bc08d7aae6d54c17ea562bfbc8","datavalue":{"value":"1081.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5707890$53D43B1C-6790-495B-AB97-44B11E419D3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f10e74d2799a0f84c55f8d253157b843029c56b","datavalue":{"value":{"entity-type":"item","numeric-id":926176,"id":"Q926176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5707890$5F4D6B92-6A3D-420C-ACBC-934A1288CBC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7667923e4c2f0c381f1d8e53941ec7d33d76af4f","datavalue":{"value":{"time":"+2005-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5707890$F5AFBD35-FC75-4301-9A71-DE3A5D0212CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5707890$3EF3444A-D316-487D-850F-5845EB029D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5707890$9CDD4099-3091-42EB-A2E2-80B1FDE8A269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5707890$95B4CEC9-2DDD-42D7-8272-680984AF6342","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4574601c42fd0e02f736953e81e8397c97a46c2","datavalue":{"value":"2232435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5707890$B78AE4FF-EA54-4E88-9E79-C01135EDE0A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$253DC899-CFD3-4F48-B7F5-3755E533D490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$5D11441A-BBB7-4D2F-9EC5-AEE965FB562B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$F7F6DAC5-1AA0-4595-8F68-D3A6D1F68355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$B0E98060-B81B-4E6C-95B8-4F29BA3C8882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180a85f246d90895c5c8cd8dc69eab7e4d2d18e8","datavalue":{"value":"incompleteness and undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$44176D21-1CEE-4AF8-B4E4-D89BE3276C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$76FF9B30-1D17-4635-8A81-FDA0322C935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$FDF1222E-C82B-42AD-9C6F-BDF864CBC87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$78EDCAF7-342D-48E1-9D63-4B13D9B0D854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$29BFA949-50C3-4E50-B3C4-D5CBACBABA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9312a66effd16b4915a655ffcb3bb61c43d2661d","datavalue":{"value":"graduate textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q5707890$17AD1471-BC32-4969-86BD-9EB1B565CEAF","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":"Q5707890$95FB9545-EC49-46DA-8F83-DB92E88D8666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2586adcb76f1fc852d4117084f617e3500e2ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":5920368,"id":"Q5920368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da0efc44913d379fa8082ade8be126807973052","datavalue":{"value":{"amount":"+0.8702046275138855","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":"Q5707890$6E4A0F6B-7014-45AE-9543-A9545934E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82901fd07db2b53f5a5065e9b8ad0027f840759","datavalue":{"value":{"entity-type":"item","numeric-id":5920562,"id":"Q5920562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf1e62dbe197cbc22eee9bda3296e1ea1881341","datavalue":{"value":{"amount":"+0.8623021245002747","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":"Q5707890$5E86DCE2-AA56-4722-83E1-14845F5C1F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0092451a9b0b6524771877fde8364e8d834da365","datavalue":{"value":{"entity-type":"item","numeric-id":5891797,"id":"Q5891797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b7cfcbd414cc4ca8047f9d0dcce82360f8590f","datavalue":{"value":{"amount":"+0.8515895009040833","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":"Q5707890$6E019CCA-F5B1-4B1D-B064-7CFB710E8076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87cd709aedb8a33a961bc58aa05a93fbef22d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5240881,"id":"Q5240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05906485ebe53e06946112c72a41deb3501fff8f","datavalue":{"value":{"amount":"+0.8493893146514893","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":"Q5707890$C850EF31-0B56-4909-A5E1-18551C7ABE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc7a07c6602f7951f67f5247347bead120d9ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4339021,"id":"Q4339021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801132821a0c7785b94614947c88e900608bbb64","datavalue":{"value":{"amount":"+0.8479770421981812","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":"Q5707890$0822DF7C-8A60-4A24-9275-95F6F3144E92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5707890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5707890"}}}}}