{"entities":{"Q1680265":{"pageid":1691006,"ns":120,"title":"Item:Q1680265","lastrevid":68124864,"modified":"2026-04-12T21:36:01Z","type":"item","id":"Q1680265","labels":{"en":{"language":"en","value":"On simplification of formulas with unconstrained variables and quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807237"}},"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":"Q1680265$5C6DDF49-B0F1-4B4D-9F28-B6DEDE8BEA4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a4597ee9d7a69057c1e54c469c12a2f0ea9001c","datavalue":{"value":{"text":"On simplification of formulas with unconstrained variables and quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680265$7E4CB20C-8897-45C1-93A6-696ADE991E50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75c9fdc74438b8e8b0176eaa3604b57d35528259","datavalue":{"value":"1496.68369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680265$A8FC0B72-A7CD-48FD-BFD2-8BE259C20092","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6782b87c89cdc8994c3a863471d1e502e13bd25b","datavalue":{"value":"10.1007/978-3-319-66263-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680265$F828DFE3-CF8F-41A5-8C52-D2FB5EE126A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ddb4098032df6ce539b1158bb4b49fd29d7ae1d","datavalue":{"value":{"entity-type":"item","numeric-id":831941,"id":"Q831941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680265$E391EB24-35F4-4EF5-B21B-32B3B79E2BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"952e13cf13a37e2b25a37008848ccc82d63b7b29","datavalue":{"value":{"entity-type":"item","numeric-id":832316,"id":"Q832316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680265$F739F181-9248-4435-92F6-20A198BA38BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680265$80887C7A-5540-465E-8A39-B6BF6B67FBC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680265$70ECA8BB-EC4E-4785-972C-6804A61D855E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f505efaeeb39b4e2ad712e0bf4f96e85fad3868","datavalue":{"value":"6807237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680265$31B2C75F-115A-4C93-B1A6-A4FCDE298E37","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":"Q1680265$E2032798-0681-4D6A-AE45-E3A02C0C8113","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb40b9d1f342b73b4d0bb4fb97096c98a2e2e470","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680265$31CA071D-83A8-4F5E-94DA-21BFA1CB7B38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b7c8880490f1080ee57afb32551f891f72065f3","datavalue":{"value":"W2742322653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680265$1DFE7011-F442-4D4B-8D59-74FEDE8E1E8B","rank":"normal"}],"P1643":[{"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":"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":"Q1680265$A1356FAD-E0CC-4068-BB36-A62EEDDBE1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84776a8fd6924f38916337bba931c20d740a647c","datavalue":{"value":{"entity-type":"item","numeric-id":5187860,"id":"Q5187860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfa457ce2c54c11f515fdd0f06f5c5d748a8b19","datavalue":{"value":{"amount":"+0.8599376","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":"Q1680265$AE39AC1A-4931-45D8-A3A6-0133BF055C5D","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":"a6a8d0e2fa81a3cc42bc794d6bf6f7b4b252bf98","datavalue":{"value":{"amount":"+0.85873646","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":"Q1680265$8B71E7AF-C486-411E-914B-8F5B25FEE603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d471b616dd482e47e595284e09aacecc7ead486","datavalue":{"value":{"entity-type":"item","numeric-id":3237136,"id":"Q3237136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1f3294118c1033950019fcad5bac5f175a79eb","datavalue":{"value":{"amount":"+0.8581487","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":"Q1680265$FD5229FC-B653-43FC-A2EF-20C0A952A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc11d2af4c886962d5c21ce4af9c998a5a0ac090","datavalue":{"value":{"entity-type":"item","numeric-id":757354,"id":"Q757354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455d1cbb07b01c7bb19407346b9744c31acf3ec6","datavalue":{"value":{"amount":"+0.85212564","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":"Q1680265$2114E9A8-3353-4E67-9F44-3EDC7DBFD332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852a7c34bd40f56ada9a3772f8609d47677c4ce3","datavalue":{"value":{"entity-type":"item","numeric-id":831945,"id":"Q831945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a050dfb98a2782abad3148bd982ccebe4dd451","datavalue":{"value":{"amount":"+0.85118127","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":"Q1680265$7353A4BA-5528-4FE4-A749-F128778D17D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c1473c7aef6fcd25d3119fcff2cd5c94f239c2","datavalue":{"value":{"entity-type":"item","numeric-id":4234207,"id":"Q4234207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c855aec7d07f3d8cb00607036faa5c61db50695","datavalue":{"value":{"amount":"+0.8499527","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":"Q1680265$20EC4671-3DB7-4A81-BE7E-243B45C7983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a8e3a64ab1731cfcdd9d8bd7caf3393d2c5bbb","datavalue":{"value":{"entity-type":"item","numeric-id":6169899,"id":"Q6169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8a07927c1ddbc3f0ce0222f1c1858c54168b59","datavalue":{"value":{"amount":"+0.849678","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":"Q1680265$B2488BF0-CDF5-4DC7-B8A8-F260A246A101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6353d03d3b94d20adbbbdb55f44ce84c1b9ccc48","datavalue":{"value":{"entity-type":"item","numeric-id":2754149,"id":"Q2754149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e869501983c8a64cbec0872e4d6c4b33ca6bdd","datavalue":{"value":{"amount":"+0.8427515","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":"Q1680265$E14CC9F7-6CF1-493B-A89C-1A02EADF8EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1e351da301eda941a9aed31b0663af6c948af","datavalue":{"value":{"entity-type":"item","numeric-id":3453233,"id":"Q3453233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad5ab5487f8ef8313928a249026872e358a1222","datavalue":{"value":{"amount":"+0.8357316","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":"Q1680265$C3FD58C8-CBD6-4C14-9DD1-99F6893A7C77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On simplification of formulas with unconstrained variables and quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_simplification_of_formulas_with_unconstrained_variables_and_quantifiers"}}}}}