{"entities":{"Q2185494":{"pageid":2196237,"ns":120,"title":"Item:Q2185494","lastrevid":53748476,"modified":"2026-01-25T16:02:51Z","type":"item","id":"Q2185494","labels":{"en":{"language":"en","value":"Automating automated reasoning. The case of two generic automated reasoning tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7208754"}},"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":"Q2185494$18A9637E-5C09-4265-B4ED-02D00F19C299","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da55b0ceaa71b03f0ca682b8c8c4be0c45c18301","datavalue":{"value":{"text":"Automating automated reasoning. The case of two generic automated reasoning tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2185494$9B0947BD-15B3-4AA5-9042-C711B2E19583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5fcd483fce09543b3786507d5fa79236f18d129","datavalue":{"value":"1444.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185494$F3949456-C749-43D6-B5F9-7EB0BAC39F4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74f1b1dd7d7b320dc55214a222da4c3e5773a18d","datavalue":{"value":"10.1007/978-3-030-22102-7_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185494$3C995C64-7949-43AA-9657-3B0F092D359F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2185494$E6CE62CD-24DC-4E72-9FFE-79E90F5D582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2185494$D3AF7F11-BC78-44D8-9C64-684D333461D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2185494$A19D612B-5C1E-430A-AEE9-1F35869F53E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2185494$D11706D5-2950-463A-8CC5-009A1F397ACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84fdf3ed3ab7383ca4f016ac37ce5ef0ef7cb738","datavalue":{"value":{"time":"+2020-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2185494$893F3C59-986B-4C98-BC38-A55CDD1E15C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185494$CF9BC87B-42DB-4693-A426-A1BA30CBB2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185494$85FDDF4A-5DEF-40A5-AA92-2A49247D154C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"088bf9ceffaca48d3ebe2d9b0056c321649259b3","datavalue":{"value":"7208754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185494$3ACA5366-D56E-4D08-BC9A-2536D7E4E3C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd646522943de01b2f5f1a4d355c5a7a21fe42da","datavalue":{"value":{"entity-type":"item","numeric-id":28613,"id":"Q28613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2185494$698BFE68-72B4-41E9-BB1C-C10D842D03E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a2e99bf2d721f734420e941cd08910602eca6fc","datavalue":{"value":{"entity-type":"item","numeric-id":23924,"id":"Q23924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2185494$82F71F00-C7BA-41AA-B771-34076719B182","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":"Q2185494$54F0CB8A-7202-4A57-B59C-0299B0ACD196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d116eba06efc1aac329108c9f00fac897f7ef6d9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-22102-7_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2185494$83A04FAB-E182-4FC2-BA97-794E58C011F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73f0431380b723f3bd62ae72617f89d077b0f611","datavalue":{"value":"W2955191895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185494$33DFA885-585A-40A1-B513-A9EC8F6B16B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e68fb131bd6c47629631701cb5fb13334429f15","datavalue":{"value":{"entity-type":"item","numeric-id":2817945,"id":"Q2817945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42bd9077a9181edab20b7b1db51811dd1fa8ce0","datavalue":{"value":{"amount":"+0.7703505158424377","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":"Q2185494$FA438FC9-D774-4B2F-AA6E-A9A95B245366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b1f820a5533d223e1eac955a60a8a3a994a34e","datavalue":{"value":{"entity-type":"item","numeric-id":3010372,"id":"Q3010372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7456319ecb736ec1557545d463b743f52f44c756","datavalue":{"value":{"amount":"+0.767358124256134","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":"Q2185494$5AF8167B-CDD4-4D16-A0DB-C6C2B2156920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53f4d0daf48dd7127e69ca85211a01679fed0d","datavalue":{"value":{"entity-type":"item","numeric-id":2583288,"id":"Q2583288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65db48fd466f20401d4710b28ed8c9c8f6e9b5ad","datavalue":{"value":{"amount":"+0.7051488161087036","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":"Q2185494$6C0D466B-7F98-4BD3-A310-99F33A635921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d195c47f04a28862f280179e2d676c879f097b7","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedc3b1c622accb78279e71c5fc46e707e0b15bc","datavalue":{"value":{"amount":"+0.7007573843002319","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":"Q2185494$E34654BD-A700-4F5C-A521-B3266B4835D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4f4ec85980c8c79a6bf25c0a2a61aeed189f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf15040e876815ca11027fbf8ea11db6677083e","datavalue":{"value":{"amount":"+0.6974157691001892","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":"Q2185494$757886C0-6D4E-43B8-8AC8-BDA04076A754","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2185494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2185494"}}}}}