{"entities":{"Q6488553":{"pageid":14067322,"ns":120,"title":"Item:Q6488553","lastrevid":47845687,"modified":"2026-01-02T20:57:16Z","type":"item","id":"Q6488553","labels":{"en":{"language":"en","value":"Automated reasoning contributes to mathematics and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680828"}},"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":"Q6488553$86B0DFEC-6BBC-4BD7-A6DE-27C779B30401","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c5205ebed5ff838a16f607fc6352055bbaa033","datavalue":{"value":{"text":"Automated reasoning contributes to mathematics and logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488553$33D35418-22D1-47B4-AE13-01860966EF3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e21dcf4729cb0e7a2363995086603ba8e93f57b6","datavalue":{"value":"1509.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488553$27C5626D-807E-4A53-829F-4F38DC0B07F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f571c7e7708236753d82053f75d3c9b9893ba214","datavalue":{"value":"10.1007/3-540-52885-7_109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488553$C994E0EF-75DA-4E0B-967A-BC3BDF12EB58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa800b87c94febdcdb5d7208b1ef8b4b82d411c5","datavalue":{"value":{"entity-type":"item","numeric-id":4095909,"id":"Q4095909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$1905C3A4-FBC4-4BB9-973E-D31AB1F7F952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62cda122db0278fd87fd4b6642ec272baa5d3492","datavalue":{"value":{"entity-type":"item","numeric-id":1241988,"id":"Q1241988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$8750D0E0-755E-43FB-902C-5DA6C6BF3139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$356A9AFD-2A65-4611-8804-B49B5548A808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49c1eac4057968c5fe949fe3628039d4be0f36fd","datavalue":{"value":{"entity-type":"item","numeric-id":1165593,"id":"Q1165593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$606D0080-29B3-40BD-92CB-5B45A771F04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f961804fcabd02be29d669054528468c74d17e25","datavalue":{"value":{"entity-type":"item","numeric-id":1224804,"id":"Q1224804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$CE191E4E-D350-4C74-9408-C87A4CA5252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87406d03de0067f87d3ede019b1c2ab603c3aaae","datavalue":{"value":{"entity-type":"item","numeric-id":4054392,"id":"Q4054392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$F803F9E2-7268-4C08-BB8F-F4E75A9C34C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488553$429426B3-CECE-4DAB-851D-69E9799532B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488553$A5A518B2-7B91-47DC-B6B2-CA07F6799D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488553$6FB8C582-1DD7-4C84-8CE3-A1EBE31935E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c713c61aa740f33ed5d66104c455e24f90eb0d9","datavalue":{"value":"7680828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488553$85BBF345-0A9A-42B7-BD47-D97944BD0C51","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":"Q6488553$121AB64D-42C2-4FCC-901D-BCEA703BD73C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$8751E6D9-D383-42C6-87C7-4A8B0C4EC3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$4F6A0010-8815-4B67-822A-06130A048E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a2d77c10bf7b1b25fa6ef3b8e22e9e85ddafc","datavalue":{"value":{"entity-type":"item","numeric-id":4752100,"id":"Q4752100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$4084C6BE-6DC5-4C9C-9CE7-91ECE63188F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639a5003e4b8281fca4e254193fbecdaeb153e01","datavalue":{"value":{"entity-type":"item","numeric-id":1095680,"id":"Q1095680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$CC40E390-BF8F-4160-A599-07768B8096E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8e8c1d004b776b9f4fcdd5285746d6453a6f12","datavalue":{"value":{"entity-type":"item","numeric-id":3338217,"id":"Q3338217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$2AFEC6F3-12C6-4EDD-BDBF-EA3A00ABD5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2840089ac4965ae106b1e73040d27192e68174a","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$C4C7C4FC-F96A-4AD2-ADD9-1279D0B6A532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122cf64c074a5440dab66baa4b6b489900709026","datavalue":{"value":{"entity-type":"item","numeric-id":6488520,"id":"Q6488520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$68015619-4C0A-49AF-BAD0-451A6F1F9194","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":"Q6488553$B4519523-0CEB-4859-99BD-AF223712FAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97f2ca7733e53a360558deedfba3ff56eaab626","datavalue":{"value":{"entity-type":"item","numeric-id":759491,"id":"Q759491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488553$91D37CDE-9B86-4570-994D-F65C32589A07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ee196048636048be4a709ecfab57184cbee98","datavalue":{"value":{"entity-type":"item","numeric-id":1354049,"id":"Q1354049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d109c18a6aced20662637777b17e3bbbc013d97c","datavalue":{"value":{"amount":"+0.8585483431816101","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":"Q6488553$9A52A67A-5403-47E7-9A46-74B8C27A8C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790bb47fa78b6bb1707c0956e110c97e8a52fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4531958,"id":"Q4531958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a86f0c72bfe176217ffb461b85e775f260da234","datavalue":{"value":{"amount":"+0.8084837198257446","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":"Q6488553$B94B3AE4-9D86-4183-9C79-FBADB395DA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8946159e21745f3badd5af9fc47c8600eb072e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5717441,"id":"Q5717441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18e241c0f20baa6eb81181339670a892471ef24","datavalue":{"value":{"amount":"+0.7961880564689636","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":"Q6488553$2467FB39-C54E-4AEC-91F2-14EB6BDFDB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a61fa3182d2eef385940fef7227e3b94e96a02","datavalue":{"value":{"entity-type":"item","numeric-id":4761817,"id":"Q4761817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ee6415f3e895e1d35964812ad722a65bdcf650","datavalue":{"value":{"amount":"+0.7941989898681641","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":"Q6488553$A4C2E80F-9C57-4C7C-8692-BED868EFCB98","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":"d81048b0544034459cd38043bc50c5ea6844633d","datavalue":{"value":{"amount":"+0.7941989302635193","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":"Q6488553$E67B0C33-5EBF-4810-8D35-9740182AA5D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488553"}}}}}