{"entities":{"Q6602250":{"pageid":14213407,"ns":120,"title":"Item:Q6602250","lastrevid":55749643,"modified":"2026-02-17T22:08:03Z","type":"item","id":"Q6602250","labels":{"en":{"language":"en","value":"Automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7910871"}},"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":"Q6602250$47D257FF-D91C-4BA1-A4F9-F1CA4EA13CC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545cfc2ee647f8b3aac2335999c4568016f303b1","datavalue":{"value":{"text":"Automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6602250$FE2B6E26-A283-4FC9-BF98-047B7EC04AC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"accd1a6131999feb67d3cdd2842806921b335732","datavalue":{"value":"1547.68805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602250$2C1605CB-06FA-4DC1-86CE-8BBEFF6D5C17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c18fdb6ecccf419d93fca6d795da9d349892a112","datavalue":{"value":"10.1007/978-3-030-06167-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602250$232D70E7-A8FD-481E-BEE0-F6FD35BEE932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a7d31a5fa985909a1afa7682bc15a58433895f","datavalue":{"value":{"entity-type":"item","numeric-id":331618,"id":"Q331618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$5ECD1D92-A32B-491E-8537-95AC683F385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$D4F38490-8A5F-47BE-A5E3-0A33412EFA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$5DA89216-BDE7-4499-AFFB-E67118230CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$495312DE-F190-4F07-94FB-0DDAD699140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08aa0606712b57b04bb895cd11bde1d520e10b26","datavalue":{"value":{"entity-type":"item","numeric-id":1344884,"id":"Q1344884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$4425A726-BED6-4195-AEA9-79F37F8C9466","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984357184e36bd48b60e905848ca8fb15ede5c75","datavalue":{"value":{"time":"+2024-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6602250$FAFC8543-8D58-4C2E-AFA3-225062E04390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602250$BFBE214A-9FE3-4A54-B8BF-C7F1946EBBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602250$5F44A254-ECB9-4D57-83E0-E2C30A899CA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b588af8a33f5cad7480591e092622d22451d867","datavalue":{"value":"7910871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602250$685FD593-02D6-4A8A-B236-38B81E8EAD86","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":"Q6602250$B1BDDFE2-37D6-4D69-A98B-4A0791C62271","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c1110fd3be878ef3de03103ae27e7c28e603a5","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$396593C1-49E9-414E-83C1-AC718A35404F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a4af602b522c2682b2c35cb1b488e8e6a412b3","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$C8ED43AD-FF62-45E1-A5CE-09192619F63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c2d672d21d4d5af646f31d9599e67b8b6b153b","datavalue":{"value":{"entity-type":"item","numeric-id":1663234,"id":"Q1663234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$088D2CEA-DE05-4E08-ADDB-1982B95D5B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f70484bd2d56db595fa191ad0d54a382774ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3335722,"id":"Q3335722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$D3BFCC12-468F-49C8-9C56-BAC526A3EF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$9424B24D-FBD4-4B03-9A64-D691A8CDB2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0b555d657cb1f5a17dad4f6c65786062114626","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$F830CDFE-B659-4D7A-92DB-B7D02E670F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$F78CA62E-2B61-4A8A-A02E-53AD7940CB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$D1B75AFC-AAA3-4E5A-80B5-33285CDC277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$71305E67-75EF-4DCC-8549-8DC05B7DF5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$980416BB-C7FD-4751-9D14-8AA5DF7D5DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$680532AA-6FE5-4845-BC52-D83F01785CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873f623d528a4c8220f7a9fcd99120f2463a9229","datavalue":{"value":{"entity-type":"item","numeric-id":2817915,"id":"Q2817915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$683E70AF-4A38-4620-85CB-CF38579FE74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$FAF4F5CF-3798-4257-8D0D-A74B86948C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764c075c90cc5f529b627cfa105bd25d7bbcfdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$10761E10-C504-4E1D-ADA6-3F7C55D3CF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8023a430711fb94f526c78baa92a8143a8e8a715","datavalue":{"value":{"entity-type":"item","numeric-id":2389695,"id":"Q2389695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$45186BA1-9BD7-4BF5-AE97-1045733E11F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602250$4937F895-915B-4296-8F4B-8CFEEC10DF83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9e1805e46e4d175c3999f2a31eac1643180ada","datavalue":{"value":{"entity-type":"item","numeric-id":3369839,"id":"Q3369839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cf6276aa1170045810125c34fd20ef39904187","datavalue":{"value":{"amount":"+0.7675930857658386","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":"Q6602250$0A8FA44F-B18A-4088-A0F5-F39C0D8BEBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c39ceb87b78fa19ce5077c814a791a68af5067","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b4be3dcbc9bc178d98178506f0f821f27c8b64","datavalue":{"value":{"amount":"+0.7671530842781067","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":"Q6602250$7B821262-19F6-4716-8C3E-152C082C1AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c150e2341aa4fd161881953f82ac89c912a27c","datavalue":{"value":{"amount":"+0.765727162361145","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":"Q6602250$0AC1C1BF-BC73-4929-A55E-B4F6A88EE4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f935b9a416b2fb999aa9fd8cbef35e9ddfdc9d","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4659cc3a0ccf093d61d5144a98832422c96e1a32","datavalue":{"value":{"amount":"+0.7625133991241455","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":"Q6602250$9FC5B465-EEC2-4349-801B-AEC886AD297D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa5ec29b7ce49dd98168994e33dbe3d78871f3e","datavalue":{"value":{"amount":"+0.7569106221199036","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":"Q6602250$24510B6B-B7E0-4231-9BCC-A0E0537C35FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6602250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6602250"}}}}}