{"entities":{"Q2883815":{"pageid":2894540,"ns":120,"title":"Item:Q2883815","lastrevid":51466145,"modified":"2026-01-18T09:28:33Z","type":"item","id":"Q2883815","labels":{"en":{"language":"en","value":"Variant real quantifier elimination: algorithm and application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6034136"}},"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":"Q2883815$5F6411C1-E94B-4223-8C05-81F2DC46C055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0231dc9030b2c81ea71b7f8b1cf4c877cb4e2b64","datavalue":{"value":"1237.14005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883815$9E9F1646-10B0-40A0-BC16-363ADF0277BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43f04b2ca9a5205a0936f3cc4d861b029c8c988c","datavalue":{"value":"10.1145/1576702.1576729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883815$8C93CFC3-0410-4663-94A5-AB5AB189DB2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8940a924cc70434cc44db4ccfd35fe33b3c08aaf","datavalue":{"value":{"entity-type":"item","numeric-id":171462,"id":"Q171462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883815$F67651FD-216C-4B06-A123-179E917B5B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b4561f4f1bd6be074efad8a4a00192171f743b6","datavalue":{"value":{"entity-type":"item","numeric-id":247236,"id":"Q247236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883815$D565778D-F611-492C-B848-69CD9A00ECB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9b4d6f20c3ea217f735a561dce8ff350d45ef38","datavalue":{"value":{"entity-type":"item","numeric-id":2883791,"id":"Q2883791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883815$DC64D785-F7A1-4062-AEC0-E50FC9F5013A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43d88f7d78ed551eaafdba0e8b65f63e3ea90e6c","datavalue":{"value":{"time":"+2012-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883815$03C0BFAD-BAFD-4CA0-80BB-77E46DEA316D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883815$23E1F85D-4B1F-4BFF-B027-4BD1A794ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0483f1f08dda98e2cde8f6b99e01d2b3fd8ed748","datavalue":{"value":"14Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883815$948E5389-581C-4ED8-9BF9-7E1B93398FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883815$0F21F32C-D817-4B34-95BF-0C984BB36425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b66422e53198f310598767edb0ddff1b6c3f450c","datavalue":{"value":"6034136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883815$D6A0E5ED-121D-4815-B5C0-17E79336C03C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7309d61f3c6ff659c918babd6f2f6b5470aad301","datavalue":{"value":{"entity-type":"item","numeric-id":13522,"id":"Q13522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883815$0BB6AF63-48CA-4D55-A068-1EA04BD642AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31a461888bfe9315ad7d7f5e0da5f5d5d2bfb22e","datavalue":{"value":{"entity-type":"item","numeric-id":13048,"id":"Q13048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883815$F77BCBCD-C8FE-4EF8-B1A6-6B2776F97302","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":"Q2883815$06B54B5D-C30E-4DF4-81E7-5E9872F7BDCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34b90e9e515adc370a53cdee94247cf231602640","datavalue":{"value":"https://doi.org/10.1145/1576702.1576729","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883815$064BDFE5-686A-455A-9A47-48C34F3E3EC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b0e0a6ed4d89c89229a95e152328d842abd4aaa","datavalue":{"value":"W1973815481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883815$5DC24811-CFB3-4460-9223-20AB35691556","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebff85085c94b47a6e8160da1d0e856336d92212","datavalue":{"value":{"text":"Variant real quantifier elimination: algorithm and application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883815$44E3FA51-AFE8-4C90-BC01-03042496AFF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4222cf47cdeff379be292ad010834daf7cbb2e","datavalue":{"value":{"entity-type":"item","numeric-id":420753,"id":"Q420753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98903cb4d1057cefb280af921d19b6ea2761a8f","datavalue":{"value":{"amount":"+0.9804325103759766","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":"Q2883815$49F4CA23-CB09-42D5-B2C4-5C8D211EFA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1a05c808bf466dd00f66d61cf3d32549744757","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfcca7ca474ee2fc7e75b5c181c38a4d83995b3","datavalue":{"value":{"amount":"+0.8055042624473572","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":"Q2883815$65C8787D-C8DC-4656-80A2-ECC4A30DB0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997de36261e0867a60b2567661a557bcbfa01853","datavalue":{"value":{"entity-type":"item","numeric-id":1565849,"id":"Q1565849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f18dbdeaf13b7ce606992d2cf2633c7a73abf4","datavalue":{"value":{"amount":"+0.8005132675170898","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":"Q2883815$DE5B4CE3-4876-4CAA-903A-DF0F92EA6DA4","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":"873340092e35f8e24c926c403823d8fdd961be57","datavalue":{"value":{"amount":"+0.797529399394989","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":"Q2883815$FDB43224-9404-4C9E-A387-5F2F5EE6AC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16adcd137bf5c2cd4e8289d9c68c2f4e37db7505","datavalue":{"value":{"entity-type":"item","numeric-id":4234321,"id":"Q4234321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873340092e35f8e24c926c403823d8fdd961be57","datavalue":{"value":{"amount":"+0.797529399394989","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":"Q2883815$2ABC62C2-1C05-4705-9E76-5C5451929D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883815"}}}}}