{"entities":{"Q2879138":{"pageid":2889858,"ns":120,"title":"Item:Q2879138","lastrevid":83971694,"modified":"2026-05-07T15:25:07Z","type":"item","id":"Q2879138","labels":{"en":{"language":"en","value":"Quantifier elimination for linear modular constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341327"}},"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":"Q2879138$DC10C719-D31B-4153-93C2-4680E88044AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dd939b462598da68acc599bbfb0652dbc06dc5f","datavalue":{"value":{"text":"Quantifier Elimination for Linear Modular Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879138$C1BF5956-F47A-49F5-9C2B-35BB5F4DEC04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de23f6cbcc4696f8f57f2eaa93955e48679fa7ab","datavalue":{"value":"1437.65252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879138$5929B017-E5C4-41DF-8FBF-80FE06313C4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1431a369ae14ab9a9244a1073ee005d1b731dfb1","datavalue":{"value":"10.1007/978-3-662-44199-2_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879138$33BF3BE4-BF6D-4D81-99E1-F54AE4B68C59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f0f19dcdb0972541d58a0e6c6c7b6e731cc2b4","datavalue":{"value":{"entity-type":"item","numeric-id":2363816,"id":"Q2363816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879138$82E79442-8BD1-466A-842F-0822F0905798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879138$4B638FA9-9613-441E-B8A3-F8A06CDE0798","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879138$D748497D-0223-43B4-B6BC-A3C7BC8D6619","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879138$3409909D-69F3-42F0-B8BF-69B79D529AC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879138$43CF6721-C793-481C-A258-6BFF472E8462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879138$C5F93C18-6003-4DE0-8593-3A41ACE1DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879138$DA53C230-3897-4241-A7C7-CD71B0AF6D29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efe4c64f19efeb14c0dd03b7f673bad206afdf3","datavalue":{"value":"6341327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879138$997D026F-4C34-4441-B21F-4B9771158361","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879138$0536AFAA-5A8F-41B2-A307-80FE8498B435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a89d79da5a436da2d413419f1d5e6e90c889fa2","datavalue":{"value":"linear modular arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879138$926408C6-017F-49D6-AF5D-AFDBC17A4D11","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":"Q2879138$CD30CEC5-217F-45BA-876B-8569FE2DF4B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed63cf22c072128563e17e686f4634bbfa80339a","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44199-2_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879138$254310E8-B913-4B6E-8825-4D3AEDFB6359","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"187fc68d0b0ba3057af0cbe3e4504a62158f2dc2","datavalue":{"value":"W2186879317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879138$C3AFF299-0A76-4EE6-9988-784299D41501","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1b07340d82cd39443283153419549226747183","datavalue":{"value":{"entity-type":"item","numeric-id":2363817,"id":"Q2363817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f202792b072a7cb69f89161f34f269fbd716d48a","datavalue":{"value":{"amount":"+0.9699015021324158","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":"Q2879138$C2BC27E3-0421-4028-A949-6C9685A11D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b29a58bfdb08b167a2789c424cb5f39e472e2d66","datavalue":{"value":{"entity-type":"item","numeric-id":5326316,"id":"Q5326316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb4a41befab5dd4ebf46ce1a6865926edbfff1a","datavalue":{"value":{"amount":"+0.9103407263755798","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":"Q2879138$CAABF018-5ADE-494A-91A3-2EE7FE313DE4","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":"d84d1252410e5c481e6bc3d7a887fd8a783b006f","datavalue":{"value":{"amount":"+0.8101235628128052","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":"Q2879138$9B16ECFE-98A9-4B72-8349-3FA6B75DB3DF","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":"f512ba07c56c77122e648d616117c72cf2d497a5","datavalue":{"value":{"amount":"+0.7685198783874512","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":"Q2879138$3CE8DF1D-D7BF-4467-B320-1ABCE72461D3","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":"9f5c417e1f300be6f97d135b4844766cbfe96b79","datavalue":{"value":{"amount":"+0.7513143420219421","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":"Q2879138$7B1F6C0B-36A2-4AB1-A1CF-A6C6A4CDB23E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination for linear modular constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_for_linear_modular_constraints"}}}}}