{"entities":{"Q1610671":{"pageid":1621411,"ns":120,"title":"Item:Q1610671","lastrevid":72328362,"modified":"2026-04-14T04:09:49Z","type":"item","id":"Q1610671","labels":{"en":{"language":"en","value":"A general setting for flexibly combining and augmenting decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1784332"}},"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":"Q1610671$154C122F-C086-4AEF-85FD-C84CDE361C98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3025711ed4c3ce2da84870cfde1a69e7c7109e25","datavalue":{"value":{"text":"A general setting for flexibly combining and augmenting decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610671$FFD8C634-9DD9-4A89-9D63-4A72671324F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5d1c67deee908b7956f6093261f4243a300468c","datavalue":{"value":"1003.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610671$CAE3FF82-16C6-4056-ADB4-EDC91CBD7B42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7de8aa31764405998f3067b2f61eebe17f668aee","datavalue":{"value":"10.1023/A:1015707001763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610671$EFFA0005-C02C-4F36-8F06-8FA98B08D414","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610671$098E0BD2-BE48-4A09-94F4-C17F534A17AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610671$7DDC61BE-ECA8-4B37-A0E8-3A91F59A866E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610671$1C1958DB-B1E5-433E-A04D-A5CD813DC584","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1bc61368984c5e3500adde65887085533364de4","datavalue":{"value":{"time":"+2002-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1610671$DCBD5AF9-B5DE-4718-916E-7BFAC8FDC4C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610671$D4811037-8317-4BE7-8959-0BA91184798B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610671$5219C635-B96D-44BF-A9B7-127B41AFEB0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2499d102d339a25d473efcf12cf99af4b57874de","datavalue":{"value":"1784332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610671$E0D44D23-768C-48A7-9C9F-8AA96A819990","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610671$125381A3-A7EF-4EC3-9134-BFAB3BD1C6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa355fc8e97a8897e7bd5118b1009c74f3d82d4","datavalue":{"value":"efficient combining and augmenting of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610671$0A435F5B-F798-4821-8DFA-EB339BC1916C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610671$3F363A2E-E0C9-4F39-B579-8EE472CEF3EA","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":"Q1610671$4F0B2C9D-7692-4531-94AC-B9EE21AB1EF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42f3b73e94ced1cf9473c699d479738ff5a8b109","datavalue":{"value":"https://doi.org/10.1023/a:1015707001763","type":"string"},"datatype":"url"},"type":"statement","id":"Q1610671$22BD0D55-FDE7-4F1F-A2A9-3087F9C9786B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2644613a1554afcebce7ceef306e70999dd8485","datavalue":{"value":"W1656633205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610671$34F69DF9-6A26-491E-B7BD-0B316E7DCAC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc57efb9e4d9d8216ef5c32c80c5b6956b46872","datavalue":{"value":{"entity-type":"item","numeric-id":4737130,"id":"Q4737130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95601583bd970cb68d76590068ea88392b91f07","datavalue":{"value":{"amount":"+0.88874","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":"Q1610671$0EDBC639-13FA-4C56-93D3-C44C2DCEAB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab070d4dff8d36c2e4f607d54360e6e61a3cf5c","datavalue":{"value":{"entity-type":"item","numeric-id":5491890,"id":"Q5491890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c06b55865872f55a6c6e273be747c071c7ad8","datavalue":{"value":{"amount":"+0.85298324","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":"Q1610671$797C4A47-A205-4BB9-BC43-1AB9AE6AC26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d1ee2b76c1c506a32de616b0b55aad34b8a7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4417954,"id":"Q4417954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8340251148da715e7cdaba45e5688cddcce54a88","datavalue":{"value":{"amount":"+0.8309072","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":"Q1610671$94F65126-C768-411C-AC6A-EEBA99A13E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a65013c33f602e6ce1784423a65269c11cc9f7","datavalue":{"value":{"entity-type":"item","numeric-id":2368951,"id":"Q2368951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8340251148da715e7cdaba45e5688cddcce54a88","datavalue":{"value":{"amount":"+0.8309072","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":"Q1610671$1BE18FF8-DFD7-46A6-A9A5-726F15C6A778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77261b27ab1716d20117336e7ca0876786daddf","datavalue":{"value":{"entity-type":"item","numeric-id":3770294,"id":"Q3770294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e42aab3442bf333646e71afde80e5cf281c30c","datavalue":{"value":{"amount":"+0.8287611","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":"Q1610671$41C5F3CF-5B4E-414E-A8D3-A1480DC6B4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9448893199bd0c192cbf2f92e942f37ca5351e","datavalue":{"value":{"entity-type":"item","numeric-id":4387193,"id":"Q4387193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8fc14b7d10f6128e3241dbcfbfddbcc4a3662e4","datavalue":{"value":{"amount":"+0.8265636","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":"Q1610671$6B797C8D-6224-4F12-B314-A21D2B097515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b87172d3a030e82a30d7b6ae77c17dc6df669a","datavalue":{"value":{"entity-type":"item","numeric-id":436376,"id":"Q436376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df27dc1c1dab99f91b76c3e7744453d1ad908ac3","datavalue":{"value":{"amount":"+0.8258336","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":"Q1610671$E27B38D8-912C-4E1D-8FE9-F5D1ACD0A301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a670809610521a970d1b9c4190ab763d68a9f3","datavalue":{"value":{"entity-type":"item","numeric-id":5179357,"id":"Q5179357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df27dc1c1dab99f91b76c3e7744453d1ad908ac3","datavalue":{"value":{"amount":"+0.8258336","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":"Q1610671$A5DF5270-76D1-4633-A90F-4E3D91B1BAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d24b5fb67ac3b9380694f68a9ced52437971bc","datavalue":{"value":{"entity-type":"item","numeric-id":1842664,"id":"Q1842664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac98ba6a271c2c151aafc31cbee86e8188df45a2","datavalue":{"value":{"amount":"+0.8247126","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":"Q1610671$7BFDE7E1-42ED-490F-8A28-45480D3833E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddc6c6df98bba5399f0ec858c89058e7116068a","datavalue":{"value":{"entity-type":"item","numeric-id":5310669,"id":"Q5310669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d9fa5e66bcd5355d702c1d3be65bfb0a251293","datavalue":{"value":{"amount":"+0.8217045","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":"Q1610671$3CCAFB07-0063-464C-BE1E-01E79B318D83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general setting for flexibly combining and augmenting decision procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_setting_for_flexibly_combining_and_augmenting_decision_procedures"}}}}}