{"entities":{"Q1368694":{"pageid":1379434,"ns":120,"title":"Item:Q1368694","lastrevid":43064922,"modified":"2025-07-17T09:28:26Z","type":"item","id":"Q1368694","labels":{"en":{"language":"en","value":"Simplification of quantifier-free formulae over ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067883"}},"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":"Q1368694$2C4B343D-A2B3-4471-B230-016BE0D715A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c40b4ba60afabfe2a69bdb9dc88674be824d0fb","datavalue":{"value":{"text":"Simplification of quantifier-free formulae over ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368694$B254F240-0B56-4F81-99A3-39A216D69D66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cba32d721141392c287bd5b79519e22df2857a2","datavalue":{"value":"0882.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368694$7315C29A-2BA6-4FD9-ABE2-39F4FA83312C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c7b0c0c4bae4a4e96b20c68ad3b1fd9d820e544","datavalue":{"value":{"entity-type":"item","numeric-id":898259,"id":"Q898259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368694$AD4307CF-B411-4014-813D-5CEC4139BA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368694$F16A5287-464D-4665-88D2-6B10EFF19B12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368694$26971035-6B54-40E9-A27F-41C9EAC47686","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d250258e50f25ba7a5c107932b647b4e128b8c9c","datavalue":{"value":{"time":"+1997-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1368694$75601BA2-0EFB-4348-87D9-C1FA19923F9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9fdd3281155856dec00e2010880806c00d30708","datavalue":{"value":"https://semanticscholar.org/paper/c9f5bd60982356b8344bbec90dac616d971e0fe2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368694$207E5443-30EC-4301-89AD-504069CEBE72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368694$789523B3-C0BE-45CF-9992-5C176000BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368694$B861131E-9461-49CE-B8EE-44709A47B721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48a1415dedfeab16102e2da27b57d050d8869d50","datavalue":{"value":"1067883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368694$B3F8EDEB-C20D-44CE-B478-05759092B8B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a018f90d162ea964837c1dcfe22b58e55deed08","datavalue":{"value":"REDUCE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368694$21A3B9EE-CC8D-4375-9982-CABAFC81B607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f42857f29f9b38fbc862daba7ec3a95e758247","datavalue":{"value":"automatic quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368694$AB886038-B26D-4B94-BD39-2E5A8CEC464E","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":"Q1368694$CA0A6285-945C-413B-88D0-34797F7E556E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368694$AEA745E8-0CDE-46DD-879C-646BC7AFC2B8","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":"Q1368694$3899884A-5055-4EAE-B7B4-D5E7A295A41B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c1f7ca6aca01a5305fa07d65be0eb5b3cae235b","datavalue":{"value":"W2007600823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368694$AB588558-D249-4C67-B420-80956C32CB03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aed04c18ac87ac40b254f18218b3910d43f315f","datavalue":{"value":"10.1006/JSCO.1997.0123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368694$64B2014A-2072-4A31-91DA-FBA17D886952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf4c967b02721535b6e4e9457e5405916b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":684955,"id":"Q684955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e480f005958a48c3d401cc10b89da276e895851f","datavalue":{"value":{"amount":"+0.8903724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$B3CFB042-4D31-40A1-B422-0FDC6886F082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf70fc4006165321afe8c3a2017afd3e9646ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3582707,"id":"Q3582707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ecccff6bfc1f864527a611bc5bf7780856889e8","datavalue":{"value":{"amount":"+0.89022505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$843BB192-FDC3-4C04-8548-E01DF43F14EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c1404fe9c3ccae8960f7971a036a7dd5151a1c","datavalue":{"value":{"entity-type":"item","numeric-id":3481680,"id":"Q3481680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5847446881e1aa581c4ae3b65456d3482eeb65f","datavalue":{"value":{"amount":"+0.8895422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$17DFBEFE-C652-4125-8778-B6FBCBB42873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8078124aaf87f586f663af579195c08bd2b0641","datavalue":{"value":{"entity-type":"item","numeric-id":4135500,"id":"Q4135500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bcba0ba7a539f0d0dd2224d072d399fc67b5d0","datavalue":{"value":{"amount":"+0.88804585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$6A7500E4-A877-4547-93F4-4609D4C3B097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed35c47223a16298842485a66014826d905e4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284d48d760109cfedda193674ecc09b3ea7df192","datavalue":{"value":{"amount":"+0.88376844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$BFB74100-01CC-4198-9FCB-578AA01379DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4239c089ac0408418931dea7f4c5b2656f76029","datavalue":{"value":{"entity-type":"item","numeric-id":4842632,"id":"Q4842632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00111f5a073062284e4437d75db76eee7692208","datavalue":{"value":{"amount":"+0.87894714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$C4D7110D-78FC-4F6A-84C8-A6010F299F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e2b87fe37be185c54b708ffa8c226dab94df9f","datavalue":{"value":{"entity-type":"item","numeric-id":3762295,"id":"Q3762295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb74a2fc07821d939800bd0df7733013ab60883","datavalue":{"value":{"amount":"+0.873648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$45C5EED5-F93D-4DC1-8845-D2E2A4CEBA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522e6f55dcbeca6885b6895e5ff51e2b379652d5","datavalue":{"value":{"entity-type":"item","numeric-id":3690798,"id":"Q3690798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb74a2fc07821d939800bd0df7733013ab60883","datavalue":{"value":{"amount":"+0.873648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$57FF896B-93D1-4BCE-943F-72F416215721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a2c13536b4fc97f8ca31f1fc0797e92c9dc170","datavalue":{"value":{"entity-type":"item","numeric-id":1680265,"id":"Q1680265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fc1a2d36c1977392db98c308d3f8ead22ca51b","datavalue":{"value":{"amount":"+0.8710417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$3CB048CB-82F0-4CE6-A314-472EA4D37669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cbfaf6ccc009798011dbd1583888fa29d2f119","datavalue":{"value":{"entity-type":"item","numeric-id":1127836,"id":"Q1127836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8441a2c087387e0ca76772802dc7763469acd61f","datavalue":{"value":{"amount":"+0.8690773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368694$F7E77FE9-703A-47E7-A079-43768B693D2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1368694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1368694"}}}}}