{"entities":{"Q1184352":{"pageid":1195101,"ns":120,"title":"Item:Q1184352","lastrevid":70212825,"modified":"2026-04-13T13:12:02Z","type":"item","id":"Q1184352","labels":{"en":{"language":"en","value":"Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 34352"}},"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":"Q1184352$84E6B5F1-E7E7-4660-BEE6-B445EF404AED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcee504368945ce508810b3b48b1e4fc2d9d1d1b","datavalue":{"value":{"text":"Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1184352$336947FA-AE83-4D1A-9194-2794FE9D19C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a8f025f7428727688a08dabec815dcf1bd8466","datavalue":{"value":"0745.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184352$35358FF1-BCC1-4BBD-AD06-27610F702AA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9a531c9e41488a78f224283d33a41488d9816ac","datavalue":{"value":"10.1007/BF01585709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184352$EF2DC23F-6B97-4C87-B21F-EC43E5E6FE57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"807d139e7481801e3775cff9547160267d064a4f","datavalue":{"value":{"entity-type":"item","numeric-id":333106,"id":"Q333106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$EB2DD954-11FC-4FD7-9657-A691AFAA3AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e12fad4b605ea66039755ac321f1ce8ec79fd6eb","datavalue":{"value":{"entity-type":"item","numeric-id":333107,"id":"Q333107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$F0075A23-B1B7-4B34-9A00-401A696E4355","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99da72655942e9c2c9c01874c026b7cceeb02de6","datavalue":{"value":{"entity-type":"item","numeric-id":163006,"id":"Q163006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$79DA312D-6459-4414-8EF4-5E322C958EC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1184352$33456DC3-04AF-4FA0-8F26-4486B290557E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184352$9F1612F1-B224-4F31-B3B0-A3F6FB3ED064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184352$D8D1A98D-807B-4711-817D-127DE910B33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184352$B5281A8E-3713-4308-9461-1AC09F7E485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184352$CCE6D136-597B-4839-B184-BEC797DEA51E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c073fc65ca80eb18ec77aa67a9793a4c818176c7","datavalue":{"value":"34352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184352$1598D11A-D470-496D-80A6-D228DCEEF47B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdae6483334a009b4e898c64794b67889a5295a7","datavalue":{"value":"linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184352$5FE6B4E0-15EE-4B06-A039-F0AD0D3D926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4506165d32a776df591a8ee50d08cd58602f0754","datavalue":{"value":"Dines-Fourier-Motzkin elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184352$03F1B4A8-9DBE-4DF3-B6B0-DBC9E2EC0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206791fab73a28f2f1bd6065c608624f65a8c0a5","datavalue":{"value":"ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184352$FD796D79-CB37-4D00-ABCE-245EB5C39063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c681a96dcccad8e4786bf58b5a108b5b3689fc","datavalue":{"value":"transfer principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184352$DA082A54-A1FF-4731-9F4A-7908DB86200D","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":"Q1184352$53D5BFF4-E16B-469C-A27E-0B80E1B31D6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5a0f9f45af46cd5c5d5e20fb87ba03d88a15e7","datavalue":{"value":{"entity-type":"item","numeric-id":5573098,"id":"Q5573098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$777069EF-EEEA-4F5B-BE43-C88C5AB49374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872f1a087e2ba7ff75b874ca2def77112ca9158d","datavalue":{"value":{"entity-type":"item","numeric-id":3802916,"id":"Q3802916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$BA8D9A96-CE93-4B25-BE3F-EC5368FF593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c172d45cbef8d755ebfddd2e9da874bd207243","datavalue":{"value":{"entity-type":"item","numeric-id":3827805,"id":"Q3827805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$C24B172F-7BE0-42B8-8317-86EFD6F4C655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089806a254bb4353e92daf6707e71b0c0ee19863","datavalue":{"value":{"entity-type":"item","numeric-id":919066,"id":"Q919066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$BEF114DF-8BEF-41BC-AD5E-71EA18F76750","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":"Q1184352$8CA9073E-7F2F-491E-99D3-AFA5E61DEDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe550f3549cdf995505ee8803ca92194c9d942d","datavalue":{"value":{"entity-type":"item","numeric-id":5328221,"id":"Q5328221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$10064BF2-2366-4B40-A78A-C2BDAC796CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$8B81C006-4F6D-49CF-AE98-D706348AA44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254c2576aea4ab0c444686d5989eb29f5d4d461c","datavalue":{"value":{"entity-type":"item","numeric-id":3885557,"id":"Q3885557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$C991E816-D05B-4D7D-A4E2-8E563BF899D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f00e49fcb12172c27504dfeecb9018f840f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2651859,"id":"Q2651859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$6CE42264-91E1-439C-A984-3431104D25EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$7F62357B-A1AE-4DCA-B722-30ACFCD00257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbd220c67b52d32f162f75a056faf0d3897288b","datavalue":{"value":{"entity-type":"item","numeric-id":3936723,"id":"Q3936723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184352$326FE5AA-A3D3-4521-9BE1-D7C679EC7E75","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":"Q1184352$2984B52A-7BB0-4586-AFDB-9B8EA210FE6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfa6815eed58ba49f6f537f1886742452f3bd26","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4234b08fed9d5223b98780f40238848409cf045","datavalue":{"value":{"amount":"+0.7717189192771912","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":"Q1184352$57503AB4-10E1-41C5-83A2-4E8703B22985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24d0eee19fdd190b82c19ee0fb6afdebc655947","datavalue":{"value":{"entity-type":"item","numeric-id":1368694,"id":"Q1368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4234b08fed9d5223b98780f40238848409cf045","datavalue":{"value":{"amount":"+0.7717189192771912","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":"Q1184352$5142AE3D-6BC0-43D6-8DF3-5573BC4CD7F4","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":"3438021b4854234ec182f1a277d8f52ed244e0a8","datavalue":{"value":{"amount":"+0.7519048452377319","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":"Q1184352$E44C94C9-F256-4BA0-ABD5-5B4D5DC4602D","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":"1939a9241b3e646d6a0ec3c1cd5088b3a47e37b5","datavalue":{"value":{"amount":"+0.741592526435852","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":"Q1184352$71EB9AF4-B7FF-416A-9CE3-B9E0615C2A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53bef492c10bae9b114507b7427c998cbe87c7a5","datavalue":{"value":{"amount":"+0.730707049369812","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":"Q1184352$0154EAE4-9EB3-4B9F-998C-1CB4C306F575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dines-Fourier-Motzkin_quantifier_elimination_and_an_application_of_corresponding_transfer_principles_over_ordered_fields"}}}}}