{"entities":{"Q3677753":{"pageid":5707659,"ns":120,"title":"Item:Q3677753","lastrevid":87746555,"modified":"2026-06-04T12:32:51Z","type":"item","id":"Q3677753","labels":{"en":{"language":"en","value":"Compactness=JEP in any logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898872"}},"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":"Q3677753$4717A42C-971E-41B1-A002-A99858F930AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90cb9c49691b06e68a58c9248c676c5ab85c3027","datavalue":{"value":{"text":"Compactness=JEP in any logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3677753$F7280D08-0786-47A9-B2DF-B47322CB5D56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fda32811853a341a2cccd52da2d19c3ed3629aa9","datavalue":{"value":"0564.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677753$7AB68921-9094-4B7D-838B-60D1CCA821A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677753$105B9F53-B0B0-4CDA-BF38-46DDD29198AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677753$9D380B52-F1AE-4F28-BCD6-CF52817A9F37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3677753$DCC3C336-9168-4897-96E4-6DBA72006DF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5744fe2b1893b335422991b725e8e2d63292e2f2","datavalue":{"value":"https://eudml.org/doc/211334","type":"string"},"datatype":"url"},"type":"statement","id":"Q3677753$677FC3CC-0758-4ABE-AD6F-A478FEB014BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677753$FC4FFC49-FBB2-4CF3-86FD-CB659641F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677753$620BA658-9D86-4A58-80FD-A9EA0676A2E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f42ecb8ca5f3d1bba6a7cdc1fa9aa6fd1c8976eb","datavalue":{"value":"3898872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677753$52BD72C1-7F7D-4711-8723-32E6264D8581","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c6ff24ecd5db31434342f13774ce9310be1924","datavalue":{"value":"L\u00f6wenheim's property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677753$DEB54F12-31D8-4A15-8923-87698BAFA4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53d549c4a2036b69b348b98329c40538d2a979e","datavalue":{"value":"joint embedding property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677753$A66E83D7-0B51-45D6-B401-8CED528E4B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16c69468df8dca8bb221540e9a294a97fed0dc67","datavalue":{"value":"Robinson's consistency theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677753$B73FFCFF-6218-4EB5-8BDB-BFF84E425F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1093f6950436e6545be25dd909b86fbd17fd071e","datavalue":{"value":"Craig's interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677753$9D1C5EC7-7A65-4A02-BD9F-F76406F7CBA0","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":"Q3677753$D190BF67-D25D-4CBF-88E7-E926EFDA0071","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f508dddc2cc3ab665763c18c14c21bdf463cd2c8","datavalue":{"value":"W957251772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677753$3915E203-BAD9-4D24-8EF3-BA9A11495F54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21fd80a5f0754a7d90eeed142f08fdb4e13199d1","datavalue":{"value":"10.4064/FM-116-2-99-108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677753$6D12A548-59D4-44AB-9FA4-08CA75D496C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5fcbfec548ee9133c940148b72ad1f911ff299","datavalue":{"value":{"entity-type":"item","numeric-id":3734379,"id":"Q3734379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebd200ad13c33c1926682a6b5c1fe568e77983d","datavalue":{"value":{"amount":"+0.8152937889099121","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":"Q3677753$B76248AB-2B46-4CC8-B2EE-CAA08DD0CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5fdef3e0d07467c8b13ad57cee78b38cc0fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":796519,"id":"Q796519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb7e89814f76203105391d89e93746a45bd5b89","datavalue":{"value":{"amount":"+0.7981052994728088","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":"Q3677753$04A0F1A0-8107-47A6-A978-9055C100AC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b02dba4bac582d776b2427b5e2e79bab85fda12","datavalue":{"value":{"entity-type":"item","numeric-id":3347866,"id":"Q3347866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f871c996f00b0492e068414e94849fb4a77db9","datavalue":{"value":{"amount":"+0.7930958271026611","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":"Q3677753$8AF8619B-BA06-4AD2-926F-08ADD09632B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251260806abc0f300ec5771aaca2ad69d4754335","datavalue":{"value":{"entity-type":"item","numeric-id":4288806,"id":"Q4288806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3fcea4d107659fb54b04d5c84b332a549c9b26","datavalue":{"value":{"amount":"+0.7886279821395874","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":"Q3677753$37CE2DEE-419D-48C0-8E85-1A284475C1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc0fe41500678282e2d59cd42a6b13166a7bb9b","datavalue":{"value":{"entity-type":"item","numeric-id":3340840,"id":"Q3340840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272368c57c68e64246ed8e58a8cd22ac10d80e43","datavalue":{"value":{"amount":"+0.7885817289352417","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":"Q3677753$6A50C398-99C5-4181-BD1D-088650589009","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compactness=JEP in any logic","badges":[]}}}}}