{"entities":{"Q4834551":{"pageid":6864131,"ns":120,"title":"Item:Q4834551","lastrevid":47322085,"modified":"2026-01-01T09:02:36Z","type":"item","id":"Q4834551","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759545"}},"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":"Q4834551$8DB5D7A8-B519-42CD-B8E8-4CD050A6B4FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f457f9bc1b9afebf53ae202b2a50bc458fe6d99","datavalue":{"value":"0819.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834551$EBAF069A-622D-43CD-A8BD-B9F09BBE0A50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65c3dddf5cefaa13db1a2b1918a1c8e7b7483348","datavalue":{"value":{"entity-type":"item","numeric-id":4834550,"id":"Q4834550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834551$DCCCD7C1-E0FD-45CA-B7DD-F2938772BA23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5aafab0f0283fb579671192b00b86c64468fcc29","datavalue":{"value":{"time":"+1995-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4834551$84891115-D89D-461B-ACE9-A1B3D839E4D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834551$DA807438-07CD-4D13-B0B2-2D275CC2A4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834551$1271C364-638E-41C8-AF9F-9678F4BB8866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834551$66B12263-D180-4F8A-BD19-7806E11230BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834551$BBB9B613-558D-4782-BE1B-BF50469177B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8af4db6cbc58ae1ed03f599e869b41ce6c14d50","datavalue":{"value":"759545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834551$CBDEEC9F-42CF-4671-AFC5-A28FD7A29564","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f19df59a97d6c2af7b8dfda190e0329e816bd8c","datavalue":{"value":"compact space of Henkin general models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834551$E7580137-EAAA-42FC-BCA5-A2B8C5E8EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a88963e986b35e6f4bdb0fe1bd2452b88993d62","datavalue":{"value":"G\u00f6del's incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834551$51680A09-A574-421F-BC84-49705DB7B148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3886fe387c38065e02f7d0b7be12e92045540299","datavalue":{"value":"subspace of standard models of second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834551$AD076282-96F6-48DC-A134-73280CB2E20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"956b0daefb775047c0f9a40d1ebd85e3a8a2099e","datavalue":{"value":"topological closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834551$706FE3C7-68FB-4CA2-897F-46B9D1105681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a8c6e8386b6933d2ff88f6d0111854eb085c3c","datavalue":{"value":"minimal compact semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834551$C9B6F698-D444-4B6C-9ABF-B055DF8DD7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834551$71D92025-2F35-4565-83BC-1612B3736BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392759172323534656368efabeb028254bbefbda","datavalue":{"value":"weak models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834551$E1FF4EDD-C175-4857-B519-0608EB2B3FB0","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":"Q4834551$B36EFC7B-1EE5-4964-8559-1C6D9455A989","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a433f92e2587bd2e8caa6c1ff2f546a2adbabcc","datavalue":{"value":{"entity-type":"item","numeric-id":2366456,"id":"Q2366456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6fcea61973f0bd2ef7b52d7bc406d1b83532e1","datavalue":{"value":{"amount":"+0.7612301707267761","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":"Q4834551$5D280E7C-6323-445E-B1BB-584A6AEEFEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60792fdce7385d9b1af2d3b78078c5677f4e873f","datavalue":{"value":{"entity-type":"item","numeric-id":796520,"id":"Q796520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c6f3547353a6e4ee4bcc198538429542597b91","datavalue":{"value":{"amount":"+0.7612300515174866","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":"Q4834551$B13BEA87-EA29-4BAC-A9BF-EB0C3541213B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f97f3fa462d72c686b4fd7737c0ee552ee92a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4532188,"id":"Q4532188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f236aa1e81bf22a54cd793ca53401b0db04d536","datavalue":{"value":{"amount":"+0.7486799359321594","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":"Q4834551$849E4456-0293-4C24-B6D9-F072ADE2F9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f363bae09f45ec7a3edc5cd8c772131468d3807e","datavalue":{"value":{"entity-type":"item","numeric-id":3767332,"id":"Q3767332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f236aa1e81bf22a54cd793ca53401b0db04d536","datavalue":{"value":{"amount":"+0.7486799359321594","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":"Q4834551$585B8475-455C-490D-BE6F-B0E88C45A757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830a540fe9b78c32bd704fb6a719a24c4af4d7d8","datavalue":{"value":{"entity-type":"item","numeric-id":4835620,"id":"Q4835620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272055a477767c0282d1fcc19f3b392afa3f5925","datavalue":{"value":{"amount":"+0.7382367849349976","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":"Q4834551$C9BB5FB8-7629-434A-9F32-C00F3AC9A809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4834551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4834551"}}}}}