{"entities":{"Q945000":{"pageid":946848,"ns":120,"title":"Item:Q945000","lastrevid":65534055,"modified":"2026-04-12T03:16:08Z","type":"item","id":"Q945000","labels":{"en":{"language":"en","value":"Weak quantifier elimination for the full linear theory of the integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5324353"}},"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":"Q945000$1DBDA892-3667-4526-9DF6-BAED524967E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21baa9fffa6687d83272f93a4d23b33351e5b712","datavalue":{"value":{"text":"Weak quantifier elimination for the full linear theory of the integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q945000$387AB66D-4CBD-4018-896A-1C606DF9C772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e935850d1a8c54e03316028e4c85da9040d61517","datavalue":{"value":"1154.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945000$1FAD1FB0-1073-40B8-9FDD-F31561F3CE0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"caefdc2ec0149f5ea19b0ef3938409e39c57b960","datavalue":{"value":{"entity-type":"item","numeric-id":944999,"id":"Q944999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$F1FA9757-B38B-4E25-AE0C-3D3A2B881F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$214EBC91-FF4A-4584-BD75-0DC6E61A442F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$4BDF5AD1-29A4-459D-8640-97BB90285709","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"131b596fa601c3661806f2437747b7af2f563219","datavalue":{"value":{"time":"+2008-09-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":"Q945000$E962AD48-F22B-44D3-B867-96ED2C54CDB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945000$A029E2FE-B72F-4E72-8FEF-E230BE758021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945000$67A2A2E4-BAB0-4EDB-A6DF-F10DA639C060","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"894ee7698b137fefafae357a503aef493200da3f","datavalue":{"value":"5324353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945000$76C60F68-4315-4BD1-A850-94B478BB8BD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q945000$1B9DED69-FD8E-498D-8CAF-1C962D6A1B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe43956e310c97f54122ca4bfb11e43035842dc2","datavalue":{"value":"integer constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q945000$0A8A1279-565E-49BA-872F-37ADAE3FE278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q945000$9A1AA878-7B75-4F4E-B6E1-D15B8D929F75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$D6C09DAD-3DF5-4FD6-9661-26F9E65EE09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$42C36299-249C-49FC-BF6A-3F604F44CFB1","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":"Q945000$B0D27072-18D0-48E8-9CAB-443C4C4EFBBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ba77ecf9d5497b8a87b99b555ba24a184b4b498","datavalue":{"value":"https://doi.org/10.1007/s00200-007-0053-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q945000$7B00AD02-1CE9-4B2E-ADC1-A7E816C74001","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d06d77ef58494b9961bd9eec503172216f3f1a2","datavalue":{"value":"W2097821910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945000$3F1C8240-DC27-4666-817F-A3F85ECC7B06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$460D7214-AD15-49B4-B373-3DD64E106350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$DBDEA413-7468-4CF2-886E-0B8167C66735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$1C274890-A185-42E8-8D6D-E1CD8A3E990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761b4fb149d65ccc6cbdebe305cc6df78b50fe79","datavalue":{"value":{"entity-type":"item","numeric-id":1368694,"id":"Q1368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$27AB8083-B931-4D9C-A96F-A57FCC94534B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$1CFECA19-4CE1-4CEB-9CA4-829D94FCBB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$EADCBD56-0A35-4C58-9EC6-323D92A510DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$F6F28AD4-7E32-49A4-B883-9EBA1203FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$A686D02F-6CEE-4028-8A3A-B5FC86E1DC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480ed92cdc81c1b695ab095610a1821532023de6","datavalue":{"value":{"entity-type":"item","numeric-id":4181607,"id":"Q4181607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$221D07A4-C22B-4530-8A59-EF4D38406AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$18C87491-03DF-48E2-96B4-7830F9588494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$71CF0C5A-B8FB-4FD6-92E2-3D137E574AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a6f95af143e58ef934fa5625132cc5fadb4225","datavalue":{"value":{"entity-type":"item","numeric-id":1582303,"id":"Q1582303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$85E25443-E814-48E8-A8B7-61AC2115BBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4a19d9dbed301aeb354eba1f20965bb47218c6","datavalue":{"value":{"entity-type":"item","numeric-id":1081532,"id":"Q1081532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$82AB7854-A13C-4164-A76C-2EBDFE7A93F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$5BBEFBE8-CB7A-4C03-9503-E64DD5200068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73915bcd97bc7bb9ece7f65069678107a79a338","datavalue":{"value":{"entity-type":"item","numeric-id":753494,"id":"Q753494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$86C26052-330E-45B3-AF56-DA9D1AC3D4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef87c90b25e8091918151481848c197b18b9425","datavalue":{"value":{"entity-type":"item","numeric-id":4226937,"id":"Q4226937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$BEF0B1E5-9B19-4C0D-A2DA-BA899B7E5424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$8ED1C179-2419-4086-9740-E4A5751AF360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74607d01c06049a8aac2fe2de49727d33a53eef3","datavalue":{"value":{"entity-type":"item","numeric-id":1368693,"id":"Q1368693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945000$3994CED1-710D-4E74-B0FA-83AE7AE75BE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"608d0d838c2b3cba18c25ca1ec5b25a567b9b85b","datavalue":{"value":"10.1007/S00200-007-0053-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945000$A8CED198-F03F-4C7C-B979-2605E2306129","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656691a6dfe72dd1e1d960ea2ef56902193d8abc","datavalue":{"value":{"entity-type":"item","numeric-id":3508492,"id":"Q3508492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da39120967fb50826efe304738325738be64edca","datavalue":{"value":{"amount":"+0.8888438940048218","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":"Q945000$528F32F4-BBE4-4F86-AE17-797FD4D61B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488344e517f490998946113a8b27a39e41b9289","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5063d37c62b2238ec2fd9ce331b2851210091f","datavalue":{"value":{"amount":"+0.8015199303627014","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":"Q945000$CE2528BF-24FD-4E6F-BFC2-296C33E3B8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4826a9ebcee41c22e639fb6a714a4c993eaa4703","datavalue":{"value":{"entity-type":"item","numeric-id":707743,"id":"Q707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5115a4e67e2e7803ae0cb4a707365ef6ee7411a3","datavalue":{"value":{"amount":"+0.7911556363105774","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":"Q945000$947162D8-4950-4B42-BA85-5A7B4E5C5A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89eb090975b6463ec6771845be69bd1293bd25b","datavalue":{"value":{"entity-type":"item","numeric-id":5747770,"id":"Q5747770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2b4c81fb1ceaab77cb1a0663bc8b4d0e189a9b","datavalue":{"value":{"amount":"+0.7886328101158142","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":"Q945000$D60467D6-8F36-44A4-8140-39DAB5BFA7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19f108f54644f0ec26605a1f87cb8a667d4c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e275dbd6a3bee8eedda56014d3d74e775c38a89a","datavalue":{"value":{"amount":"+0.7860534191131592","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":"Q945000$CCA2C895-0A99-4A23-B940-DD06274D3709","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak quantifier elimination for the full linear theory of the integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_quantifier_elimination_for_the_full_linear_theory_of_the_integers"}}}}}