{"entities":{"Q5168474":{"pageid":7198046,"ns":120,"title":"Item:Q5168474","lastrevid":52036640,"modified":"2026-01-20T19:37:00Z","type":"item","id":"Q5168474","labels":{"en":{"language":"en","value":"An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313909"}},"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":"Q5168474$AFBBA8ED-BDC9-4B95-AD1B-CF568A6EAB50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"169a8003981fe71a9c23e756c8c46fb7f31f38e8","datavalue":{"value":{"text":"An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168474$6FB45823-43E0-4C65-B2DC-554FB83A13FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3cde91a608015548f00cdacc6bb728f72df7390","datavalue":{"value":"1411.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168474$5A6A1255-5E41-4728-B2B6-C7A2A1A15304","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"631e6c7ed06e185dcd96a7343a9593438493f675","datavalue":{"value":"10.1007/978-3-319-02297-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168474$4672F7D0-E757-4D07-8B22-C4CA3A825168","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168474$A8B24754-7A2B-46AA-8DDD-D9D7210D11DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3a27227a03474553626bb833870e205f9c23c0","datavalue":{"value":{"entity-type":"item","numeric-id":5168473,"id":"Q5168473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168474$16ECA93A-ACE2-4ACD-87E4-0BDA50154F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168474$64867E50-C92A-4390-8F94-E02AAF05466F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168474$413EBF59-E543-4F79-97C8-2B225A87E537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168474$61B67DE7-E43B-4D71-AA1B-62013D0B494D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b5d6d23c8b26178140ca6ac5eb7dcf6d6bf035f","datavalue":{"value":"http://hdl.handle.net/2324/1430844","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168474$B73CD33B-E39E-4FC4-B62F-16DEA1D0E167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168474$268BF0DD-52C0-4AB3-8741-EF968D42E37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168474$477AF778-A32A-46DE-AE8E-51690218E1C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d972dee5475b4b6230ad9013b36a58606f28a9c","datavalue":{"value":"6313909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168474$050A28AB-80D4-42A8-88B5-16A00F2C4008","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168474$6C451F6D-76A7-49C7-89FA-F15B4CD23B18","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":"Q5168474$05C642DA-5254-4EE5-9286-C143717E95CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59ee2a6096a42c7955bd38283a873830c3792b0","datavalue":{"value":"W2161761977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168474$BFEE98F9-3A8C-4045-B8E7-E6D60F57099C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8159f4fbe3efad3709cd06ddca28209db8eeaf7","datavalue":{"value":{"entity-type":"item","numeric-id":2830000,"id":"Q2830000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dc7b4ce0d09502b9745e6345c1f1e6d501b694","datavalue":{"value":{"amount":"+0.8553139567375183","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":"Q5168474$4C7605B1-EDE4-4B79-B981-A533F68BD0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7135882e640389f0b1d270ebae0d2162510a4107","datavalue":{"value":{"entity-type":"item","numeric-id":5119942,"id":"Q5119942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0068f798dbdf2c7de349a89208e474791ba25f5c","datavalue":{"value":{"amount":"+0.7958353757858276","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":"Q5168474$9BCF67C5-7F7F-4C01-AD78-F31B3DF9CBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed55aa69c1542e26183b39d20550e6f620970d0d","datavalue":{"value":{"entity-type":"item","numeric-id":480651,"id":"Q480651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7608bc38c79552491cceec6f0f8f485dff19e4","datavalue":{"value":{"amount":"+0.7653115391731262","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":"Q5168474$9345C903-242A-4EFB-9422-4F251BE6C5BA","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":"d2955f72c4b79bd60dc599b5b3c6093c39082298","datavalue":{"value":{"amount":"+0.7628532648086548","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":"Q5168474$8E7CF59F-956F-44A0-A50A-2BEA80A4327F","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":"d2955f72c4b79bd60dc599b5b3c6093c39082298","datavalue":{"value":{"amount":"+0.7628532648086548","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":"Q5168474$5191DA28-8CA2-4F2B-8533-923817DC72FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168474"}}}}}