{"entities":{"Q707743":{"pageid":709592,"ns":120,"title":"Item:Q707743","lastrevid":63782877,"modified":"2026-04-11T15:30:56Z","type":"item","id":"Q707743","labels":{"en":{"language":"en","value":"Linear quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5797498"}},"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":"Q707743$A103E11A-E34F-4084-912A-1496D197F4D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d1adbd0163b6fbbb579c03498e60b65df88f514","datavalue":{"value":{"text":"Linear quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q707743$B8D7B51F-5992-4D51-886E-3E64808C83B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59f4b4062982cbbab082fbdc1521570d0513996a","datavalue":{"value":"1207.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707743$734B9F43-7A9F-4472-B5B0-12EB6E4077DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$BCA8AF04-A63A-41D9-B1F3-36FAC59DF820","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$84AEA7BD-DDF9-4AD2-BDD1-6FE46223EE35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12116120e612da11bd56798b90a3c232b35a10bb","datavalue":{"value":{"time":"+2010-10-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":"Q707743$54BA72DF-5682-4802-AAE9-BBBE788E4C63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707743$073A639F-51EF-4753-AEB2-4F1441B78AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707743$D93FC577-4B62-4DEF-8950-F832759DF2C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a2831b4b0785c5187e33f8b72874a7ea71f2ade","datavalue":{"value":"5797498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707743$3F37E6DF-45B7-4315-9B43-58427AA460DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q707743$FCAB6773-B618-4F07-B772-C3C3025BB287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312ed6497197fe722552104318fb5c842ebebed4","datavalue":{"value":"linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q707743$FBEE8482-F456-4711-8813-263A614AF7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q707743$1D67A022-2169-4453-9380-7DCAF72DE0E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$28A78057-6D5D-4C03-9B62-1E609A513FC5","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":"Q707743$BF7371CA-B510-4F1A-8B6B-0CE4B6E9BEB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd3d67aee2407d3f6cc7ed35cbe08daa50137ad7","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9183-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q707743$77E57A81-48EF-4FEC-A0ED-961BEFEB50CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb47330eb7fdd50fe037bc82d5c0716bf225727","datavalue":{"value":"W1971038681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707743$72C7B712-5646-4B15-B19D-F07DE0FFAD48","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1a7072e45651274098e239c6ed769a8ecc9ba94b","datavalue":{"value":"Q56059277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707743$E8E0A35B-F98E-4038-924E-F6E99A75792D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$92E825F9-E9D5-4D14-946C-FED9D89AE312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf99a4f438802c0f173ce13dc96040bdb8d590b","datavalue":{"value":{"entity-type":"item","numeric-id":3613432,"id":"Q3613432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$502E68A7-8D44-4BF6-820A-09CEDF3560D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be7638796320e0bd21589c519d4a54a0b3ddeef","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$8A70F614-EB5E-412D-84A3-9CC0A1B73307","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":"Q707743$E6E973EB-176E-4D8F-BA10-6F1F852212AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$D3040730-8E21-4587-BCCA-962F31819A9D","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":"Q707743$AA67C9D0-7541-485E-BFBE-10A109908260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$E4A449C6-AE3D-4E34-B1BA-31F10B317B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$3B14A013-BD9A-40B4-9E18-C3A3713ACFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$3FBEA7CB-AE4A-4FE3-976A-F44D2138595B","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":"Q707743$7D633A56-3D33-415C-BE69-6E212E206C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$C775C5E4-6B31-46D0-BECD-BB9D57E28DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf17d7e8ba4c1ec3bdb69ab7c554b7d69f4507f","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$0F7A14D2-DA9B-42D5-B034-5AD74E7BB7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2c1fbb42c40132bcde18b08b5d5cb2763f5bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5760872,"id":"Q5760872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$3DACD451-7570-465A-8AB2-E227AC2E88CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d18a95fd2abb64fb3873cebae9515dbda415b84","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$91881B0A-9AA9-4775-80EE-2DE82456B719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$72DC21D0-9524-4F57-B045-8164B2D91F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f08bd5fb54cbe9466085bc1ecb3546bcc5e1f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3559760,"id":"Q3559760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$C260B0B0-ADB9-462C-A45E-82ECB5B71B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81f950b10cba627720e02347cb540992691eba3","datavalue":{"value":{"entity-type":"item","numeric-id":5477658,"id":"Q5477658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707743$73F6ABD7-A058-414E-8A03-1FA632C8B194","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":"Q707743$C6F353AB-348D-4E3C-9428-AFDABB1B53B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f7806eebd4ea8d8ebd3d088154605bb98958c09","datavalue":{"value":"10.1007/S10817-010-9183-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707743$70C109C6-0CF8-4770-96FB-107DD411C8BE","rank":"normal"}],"P1643":[{"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":"b8469536a6216b6e9146910b85936d8f045f802c","datavalue":{"value":{"amount":"+0.9757704138755798","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":"Q707743$49E5E290-2CC9-4B60-B199-354EF1B42D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddffa6647e1792ec256a15d45307fbd34b4fa72c","datavalue":{"value":{"entity-type":"item","numeric-id":3613432,"id":"Q3613432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd191d23003d49eb491e7bedb9684085b8d9384a","datavalue":{"value":{"amount":"+0.8650055527687073","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":"Q707743$59D2050C-6EC4-4601-B016-D57FFDFCA039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e276227318e6725fab8632c8a3a0db57cfb2367a","datavalue":{"value":{"entity-type":"item","numeric-id":5505503,"id":"Q5505503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67c0899aac05a41578cfba8d38ebad912b524b8","datavalue":{"value":{"amount":"+0.86473548412323","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":"Q707743$FF1EB9E5-2A17-41C6-96EE-F5F4529907DB","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":"8b5d0fb14ea8c878c8800fe2163292b6682ed7b0","datavalue":{"value":{"amount":"+0.841618537902832","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":"Q707743$6EFAE68C-CD20-481E-AA31-FBCBC0C24D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705cfccb5a484c9ef9db359fc2f57d981affb5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2147186,"id":"Q2147186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff9d71634e178ef3df685dece69a8613b124ac9","datavalue":{"value":{"amount":"+0.83143150806427","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":"Q707743$26FFA7F7-B537-40CE-B153-CF6E54AF520B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_quantifier_elimination"}}}}}