{"entities":{"Q4254692":{"pageid":6284293,"ns":120,"title":"Item:Q4254692","lastrevid":46677693,"modified":"2025-12-25T09:31:05Z","type":"item","id":"Q4254692","labels":{"en":{"language":"en","value":"Quantifier elimination for neocompact sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310806"}},"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":"Q4254692$1894B25E-3865-481D-B931-9A584EA89FEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1584d7c2d5041c6177a5f4422cf5c8530051beaf","datavalue":{"value":{"text":"Quantifier elimination for neocompact sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254692$DEA1F81F-85B9-41A8-8384-CC5575E1EC72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e6ab54e6a855084fff3392cb4d3d1ac45b02ab7","datavalue":{"value":"0928.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254692$E32D0B20-E772-4063-8F89-5853741F5544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b3b01a00eae5b62e62e434887793f6789eb982b","datavalue":{"value":"10.2307/2586661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254692$CF21A1A4-D283-4415-9524-3BD8A122967E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb0aaf2cb17a70a009b0ece4f2356bce41c3167","datavalue":{"value":{"entity-type":"item","numeric-id":386148,"id":"Q386148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$410485AB-3D04-48A5-A575-D1D616CF0482","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$2C04949A-C231-4DB6-8514-618E538C73AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d604edbdec21d88f35e4a6e416134363ddfe3b58","datavalue":{"value":{"time":"+2000-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254692$391A557A-0E14-473C-A02B-A9BDA7BCC9F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254692$BB031267-6DE7-4EBE-8BD6-0684FABEEF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254692$C39DAAE9-7CD9-49F2-9971-FA84F98C0523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254692$A7ECAA8D-37B8-4C93-977D-199E38C3CB0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1be6a28f7edac74c5a2a713dc5ed668fd672da8a","datavalue":{"value":"1310806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254692$80706ABD-838E-4D96-8131-9789C6748F09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254692$344FFCB8-4DF3-4F2C-BC46-4A4E66D5BB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a77d51cfb7db9bf6b7bba318946f2295e7a6fb18","datavalue":{"value":"neocompact sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254692$876750BA-C021-43CD-96A9-DEF7F5A48E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dadc6894ce823b53a702762949ad101656ef7aff","datavalue":{"value":"neocompact formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254692$097F2861-CF33-4DB0-BC07-B3741A8D96CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea99d44ff19a3d87e17b0de96979d31df1b9b49","datavalue":{"value":"law structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254692$6947FC12-010C-4549-874F-0FACAF2AEDA2","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":"Q4254692$790A78AB-9AEC-4644-86E8-56148F8FACC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7a046791d7dbfa9dde500b95fe4ea02074d7554","datavalue":{"value":"https://doi.org/10.2307/2586661","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254692$50D34C2A-CE5D-4CAB-9EEE-8B3B6E8EB09E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f451daf2fff3a320098d9b11f2dd34b878f67500","datavalue":{"value":"W2130012710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254692$CAC73F4C-F53D-4F0C-B383-1A9A2B69D7DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8de19ebba1539fa82a241fb95521ea0336dbf30","datavalue":{"value":{"entity-type":"item","numeric-id":1920452,"id":"Q1920452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$C56B8CC9-FA91-4ED8-AC9A-33264C9CE3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac89c6d52a7b4808087c3b5979aefa227f2f15c6","datavalue":{"value":{"entity-type":"item","numeric-id":5560061,"id":"Q5560061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$DA4D945B-8BC5-464F-8370-A5157295CF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa98c4e99f58941598aba5d01331c82a7d56a71a","datavalue":{"value":{"entity-type":"item","numeric-id":1341981,"id":"Q1341981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$7C56AE0D-FF79-40BA-9262-C6FAF70C4AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0135e9a14ba1b47608b436bd9b7d6cdb96b9828c","datavalue":{"value":{"entity-type":"item","numeric-id":1915386,"id":"Q1915386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$04F93C25-6DAC-4C57-B231-694D29183684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db91d0badb6ed8a95dd159415a3f7364396a9558","datavalue":{"value":{"entity-type":"item","numeric-id":1177039,"id":"Q1177039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$EE9C9AA2-81D7-4B75-B9F0-455DF58CC34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925138c8e342b7d781495abbd96f7a91c7f0c63","datavalue":{"value":{"entity-type":"item","numeric-id":1234461,"id":"Q1234461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$F4DE0DBB-D8B6-4A77-A300-8B25B92270C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254692$53F4B492-AFEC-4BED-B0BD-B90F0692BEEE","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":"303891d77785fb064d10d6c62b626621b87dcf74","datavalue":{"value":{"amount":"+0.751277506351471","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":"Q4254692$88BE71A1-988A-4C94-936F-8F110DE008F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0d5eb4e4a03d365212944162e21afbf8cbe06e","datavalue":{"value":{"entity-type":"item","numeric-id":4804174,"id":"Q4804174"},"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":"Q4254692$FE49009C-34A7-4AB4-BB22-5FA1B3FAFB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af74531bf202809482c6ad64eaa1565c9bb67f3","datavalue":{"value":{"entity-type":"item","numeric-id":6096330,"id":"Q6096330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d7469be05266ecd5be9c5e5f7d764d9121c737","datavalue":{"value":{"amount":"+0.6773945689201355","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":"Q4254692$BB21FFE0-83DA-49E5-816E-8BAE593E4974","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":"336d2d637c2dbea2873643c476e7f8561032ed54","datavalue":{"value":{"amount":"+0.6745021939277649","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":"Q4254692$A740D07E-834A-4598-BDD9-D29C37CA4E66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254692"}}}}}