{"entities":{"Q3454081":{"pageid":5233481,"ns":120,"title":"Item:Q3454081","lastrevid":52405907,"modified":"2026-01-22T14:06:08Z","type":"item","id":"Q3454081","labels":{"en":{"language":"en","value":"Automated reasoning in the wild"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515497"}},"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":"Q3454081$5B1C0AF6-B581-4F00-B1DD-DA3CA39508C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bd0a26cc9f44340d33d6f15f66e5a8a4642028e","datavalue":{"value":{"text":"Automated Reasoning in the Wild","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454081$37B28177-7755-462B-9AF2-91EC60CD2C4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2d960aaa7e296bc68bfbeca6790fc693659cf87","datavalue":{"value":"1465.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$DC0FE2A7-8724-4454-9DFD-500074C8501F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9852cbe4705694a9d5c61fb3291c9d84dc3c8a59","datavalue":{"value":"10.1007/978-3-319-21401-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$6F0B2FAD-F0AB-45CA-8E90-80D624DBC4DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"352f8b32bbaac9f85cf732b9f04ca8b0c1bea865","datavalue":{"value":{"entity-type":"item","numeric-id":429584,"id":"Q429584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$FE9F092D-8638-4F2B-95A5-097AE3675F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6c8e0da81ac22d01d31f6ba59b58bac355dfe3","datavalue":{"value":{"entity-type":"item","numeric-id":2305418,"id":"Q2305418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$164336FD-8405-4408-ADB0-271A119D0360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$46758F69-A0FE-4937-B6CA-91E0D16EFB85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$23A83901-4150-4D1E-B84D-0E0C0E3FDDE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454081$1D22AF76-7660-405F-9B5D-7A47AFDEB75B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$E0574F23-EE6C-4E40-B968-C0E951EFA16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$E238F170-8074-443C-93CC-9515776BB126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$D67B950C-D49D-46B1-A1C8-5EC9478E2D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$AFA2AFDD-5C22-4A51-B3A1-41EC4B1DCF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$DDA0E6D2-B875-497B-9915-27F233FF22C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3a7b46fd876e94c80ffa161ba095ff11db1f3ed","datavalue":{"value":"91E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$55A8ECA4-9E88-4040-810A-28A57CE45A12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4135e8d9fe65ece376d0fbb5bb199f77605a9099","datavalue":{"value":"6515497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$16E65206-AFED-4209-A609-BDA2EA33C3C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$2D196CD9-B336-4342-9D5A-3484117AFD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$BE0EF580-7F7A-4E7E-A072-2BD7CEAF6F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$896A31CE-0D3D-464A-8D15-CD095BB4F404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$3B371D02-B338-4F4A-BB2B-3C88AAAF1910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$5164B069-D9F0-4780-A24E-02DDE3E2D4AB","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":"Q3454081$36BB1F94-314B-4289-9789-9A97D5C71F0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf850ef23e7b2129c9da9be0c08879b8b7cd9ee2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454081$A032B1DE-FD8E-4A30-8A34-CB61E7399780","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0afe7517bea29f92a23dea61e64019ee0ae36def","datavalue":{"value":"W1443822303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454081$24CADFA9-1ECB-42C2-BA28-5E4F1EE1B7F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20a28bc016e176ffd0d442e4a0f474a1411cb4e","datavalue":{"value":{"entity-type":"item","numeric-id":3608795,"id":"Q3608795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$3E31109F-9C37-44E0-B48E-5F3C4EE30D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4ca49c324b4a61084383a56d3924162d9b5f80","datavalue":{"value":{"entity-type":"item","numeric-id":3568232,"id":"Q3568232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$69A25526-9840-4D0E-A32B-B5483622E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f4f598289fc4638a20d4469342a601541fcddc","datavalue":{"value":{"entity-type":"item","numeric-id":5172607,"id":"Q5172607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$212C44CD-F9BD-433E-8E44-42FF6A200CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c50bf30b5dabdf4dda50dde9e43de872f1c8761","datavalue":{"value":{"entity-type":"item","numeric-id":5200032,"id":"Q5200032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$EA65B0D1-1F45-4EBB-9469-6AEFC4E8E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$3ABB0992-1D7D-4F1A-97CB-FF8AD7A2B383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29690409889c4f28c639edb082b24ceabb04688e","datavalue":{"value":{"entity-type":"item","numeric-id":5198963,"id":"Q5198963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$29BF4B47-5CEA-4157-A190-1FD3FDDF4E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eda8628542c4a9692c17c8134c2d68f4c15a363","datavalue":{"value":{"entity-type":"item","numeric-id":4928435,"id":"Q4928435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$6995DEAD-67D5-46A4-A86E-A4BD505CF54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9cdb402013a3910fceaaf1db6e03566867532d7","datavalue":{"value":{"entity-type":"item","numeric-id":3279705,"id":"Q3279705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$EA276DE8-1200-4C52-9B49-318872B50CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$E26A2CA5-96B7-4DCA-AFCF-26B9FCA9B06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$4B2F75D1-71CC-4746-8CE9-B639C5119BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$217595BA-96F9-4E84-B4D8-C32B16B2E1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454081$4475E0D0-A2E2-4186-AB1B-5F63DA6D65F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2f8523a530bc67cf2a2a27884613273cfae771","datavalue":{"value":{"entity-type":"item","numeric-id":3568232,"id":"Q3568232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e5d017c2cc3adcb613acfcea1add7d77aa416e","datavalue":{"value":{"amount":"+0.7693846225738525","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":"Q3454081$C816A986-AAEA-40D8-AF15-A4939668DD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795835c031bd0006760e0f5a4fadc97d45008d6b","datavalue":{"value":{"entity-type":"item","numeric-id":3541695,"id":"Q3541695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6856a4580ca35a3fed7f09997ea867600a5924c2","datavalue":{"value":{"amount":"+0.736884593963623","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":"Q3454081$61B0B658-4BE9-4CCF-8C9F-8E6F2A42D63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccf573db7e1827fcd921a931999f49c16f280d8","datavalue":{"value":{"amount":"+0.728306233882904","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":"Q3454081$04C4E245-604E-47BD-AE8A-0276A7A03323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8fd98a4719949536e71c1154f115b57716de4","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45dc8168d075363d691f742f64b49885a7bbbc1","datavalue":{"value":{"amount":"+0.7170943021774292","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":"Q3454081$980A98E7-935A-46E6-88A9-29BD419B71EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242555b165815fdbb2c80f645aa1f447441971df","datavalue":{"value":{"entity-type":"item","numeric-id":5362170,"id":"Q5362170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7ed292e1993923c809c79f0b9bc7e0d9507a5a","datavalue":{"value":{"amount":"+0.7053645849227905","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":"Q3454081$69D4978E-3D7B-4725-852C-A8E26C886CE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454081"}}}}}