{"entities":{"Q4804174":{"pageid":6833754,"ns":120,"title":"Item:Q4804174","lastrevid":74524770,"modified":"2026-04-14T23:08:22Z","type":"item","id":"Q4804174","labels":{"en":{"language":"en","value":"Consequences of neocompact quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1896665"}},"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":"Q4804174$FF8F495A-93F5-4655-909E-6FCF169DFCEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38e7ac2ca16792acebc24fe452c324c35a07caba","datavalue":{"value":{"text":"Consequences of neocompact quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4804174$2700B802-1C37-45A9-989F-B171BC88EEA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2e19fe38e28eb7b7f6dcff66df7c5428d200b30","datavalue":{"value":"1020.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$52FBFF82-7FFB-4087-9CC1-DA59568DE0C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804174$CBBFC6CB-69AD-4DA1-ACF4-0FE7F0F81751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6934c0b3627e9d7027d9caec01bb318e06c6a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":200744,"id":"Q200744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804174$FBDB9DEB-E25C-4D15-937F-4A0ED56812D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804174$7971D768-B573-4F5C-853D-8E8507EC5D1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c82779b21e083bd1cf024ff0b633233b5f9a39","datavalue":{"value":{"time":"+2003-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4804174$934B372A-1BE9-449D-85D0-B8D2D4B54F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$5A62D833-95E0-4C54-9CC8-DE2A3167699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$5FC53731-D240-4D13-B729-2D37F386E9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$3735728B-65C6-4A5E-AFCE-5222E2B8E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab4f17f4414e5d0850354fd0de3dcd90c1a3b6c8","datavalue":{"value":"46B08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$B15A55A1-22FB-41A0-8627-79570B7D7BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e4f2bfccaa61587ad8d69971363a1729b74bde5","datavalue":{"value":"46B04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$A0CEB2E0-FBC7-4CFE-8312-88E7073E778C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12227657a7dab0eb7d10f56a2023f92c01a2bc3b","datavalue":{"value":"1896665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$63BC11E6-7258-4A1E-961C-52D06227E74F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a52656df71594de47c0d989c854842879eb96b1","datavalue":{"value":"neocompact formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$062C9EFC-3B46-4FDD-97CB-56797231CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a77d51cfb7db9bf6b7bba318946f2295e7a6fb18","datavalue":{"value":"neocompact sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$8327EA0A-06A0-4B0C-B192-50D22210F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad9f39b443cb0feee3904dc7de4caca6830a980","datavalue":{"value":"positive bounded formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$2AF2A386-C099-4F61-A02F-357B86C0B926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0af97877fef6ef86a0fe392e07672b85099766","datavalue":{"value":"nonstandard hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$0B0FE91A-C954-48FF-AF99-2F475A81F637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$E1A18101-543B-4528-86E9-0548C0A42214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6310975396333c887205332dcbf16c6f69ee45","datavalue":{"value":"Banach space structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$07542E2D-B0F9-4824-89ED-EB5103284ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ddfead8541d4e6d861cad09fa5ec9e2362e59f","datavalue":{"value":"quantifier-free definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$FF23D542-5C15-49A8-876B-108B563E30DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"629ead839812a24b64f94940b0e25984614350c4","datavalue":{"value":"strict convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804174$07904758-8B84-4A9E-92C8-8FC56977218B","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":"Q4804174$A6F415A9-ADD6-415D-97B7-ACE2C999F59E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"773c46f5040dfa7109ad31361c5000574f2ece77","datavalue":{"value":"https://doi.org/10.1002/malq.200310014","type":"string"},"datatype":"url"},"type":"statement","id":"Q4804174$64FBD7C7-205C-45FC-8F23-3A1BC8349CF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d59e3d7bade8ad538ea3541a0d9fbab48bd1af","datavalue":{"value":"W2009316932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$135E8B50-CDDC-4E9D-A8F7-1EC1C9BFB2BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d81cf0aa96a98df5339d07f11050038c15f38e7","datavalue":{"value":"10.1002/MALQ.200310014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804174$72210752-9B33-4AD2-AEBB-BA0D252AF80A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9a8d551f6faa7c64973915475d9ef28999e969","datavalue":{"value":{"entity-type":"item","numeric-id":5942464,"id":"Q5942464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5342cc53f96c5d779caef4adb7ddab40090b0abd","datavalue":{"value":{"amount":"+0.8417700529098511","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":"Q4804174$67B169D3-7C78-44BE-AF9E-3FB902CE97D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52102876e81d6f90b0ae9e656d8390608d2a52c0","datavalue":{"value":{"entity-type":"item","numeric-id":5894809,"id":"Q5894809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115ee48a00f3e76a8cc9753b7cb511fbdc4021ed","datavalue":{"value":{"amount":"+0.6971733570098877","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":"Q4804174$26ED6DDD-94DA-4B88-9491-1B9323A20EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa04e1abdcff11c16e19bb03d7b93d9984dd5262","datavalue":{"value":{"entity-type":"item","numeric-id":5109215,"id":"Q5109215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942826ad8fce9e3c9bf33094182530b00dd81677","datavalue":{"value":{"amount":"+0.6903631091117859","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":"Q4804174$F8EF3759-53D4-4AF4-949A-0514738051E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b36c9e1b64bd7d9144a6d2b6c43a093eee0d0a3","datavalue":{"value":{"entity-type":"item","numeric-id":4254692,"id":"Q4254692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5520e866c3f512b2f889e300a61ed28233f18c8d","datavalue":{"value":{"amount":"+0.6800992488861084","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":"Q4804174$E132C3D3-D2AE-47AE-BCF6-74D358908F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735cd55eaee1b916a1454f2ddeacda7873d3ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2019416,"id":"Q2019416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc9d24d4333d0982e25c146c37d90faf35654a4","datavalue":{"value":{"amount":"+0.6793435215950012","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":"Q4804174$377E9BB8-1197-485B-A14D-39D6ADC8AA18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consequences of neocompact quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consequences_of_neocompact_quantifier_elimination"}}}}}