{"entities":{"Q6560372":{"pageid":14171527,"ns":120,"title":"Item:Q6560372","lastrevid":55691965,"modified":"2026-02-17T21:06:31Z","type":"item","id":"Q6560372","labels":{"en":{"language":"en","value":"Analytica -- an experiment in combining theorem proving and symbolic computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869779"}},"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":"Q6560372$95AD9D86-1915-4AC1-BD2B-CA2611CABE23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"763ee34621c5386ff7fe574138be2ef768d06bf6","datavalue":{"value":{"text":"Analytica -- an experiment in combining theorem proving and symbolic computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560372$1FB9CC87-37E4-4A3A-A430-F60A119B47E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d48fd0ba23818c7b9503194f1d94e918c1c1d81","datavalue":{"value":"1541.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560372$8CD6848D-9BDC-417C-AF39-EBA6821DBF0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b993955912b4d5bb469eb490a8032d1fce30d73","datavalue":{"value":"10.1007/3-540-61732-9_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560372$FB870AFA-C9DF-4697-8B13-A26F80920D2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$00E1A85D-9D80-49E6-AF19-7BE8222D473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$B96B4AF3-2887-4A91-B268-EA1FC43BE347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1664b4688e1a19139fe0645936862c952bfe311","datavalue":{"value":{"entity-type":"item","numeric-id":6560371,"id":"Q6560371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$3BFE553B-F53B-42C0-AFB5-7ED087B36CA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560372$05473190-5EB5-48E4-AA3A-0FF7B8E41DD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560372$2B97504D-6105-42FC-8DD1-45D7513CA206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560372$53A12E92-679C-4D65-8B24-3B7AB3EBBE7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e2f5c86378902a4840ed6e15385f0345587301","datavalue":{"value":"7869779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560372$37BC1D4F-1F62-4242-B9CB-4A40763E9C34","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":"Q6560372$A646C02E-8666-42F1-93D4-C3A2CA9D2218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$92C07FCB-6722-463C-8CA9-9A2DE036CC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b63e14f4f9f74ab677474f29791c9310ce51bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3218192,"id":"Q3218192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$684D1526-16AE-4182-BEA7-B757A2D2E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$415CE1F7-9421-4B27-B4A3-54AD51F5E8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$3C929048-4F18-4460-80B6-A05FB2703181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$40C4B96B-94DA-4833-BF84-2D529F6A6D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$50F75DAB-B981-443E-918A-4C3FA68D8A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c20ff7cbd853f51faf63c9f9e5111598e059c4","datavalue":{"value":{"entity-type":"item","numeric-id":1823014,"id":"Q1823014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$9EFD49E9-72CA-4CB4-AB45-04F3BA9E9BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6445dcc8faa3ff5bbda85615af67e6b0ed84f9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3823708,"id":"Q3823708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560372$6CA923ED-D89D-41F2-97F1-9373C1A6F461","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdd64fcbb948fd199cb840bfe49fd1731c1cc5c","datavalue":{"value":{"entity-type":"item","numeric-id":1272608,"id":"Q1272608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da33f4dde2c74cdac6aa1e9b78c9684b76d11ee","datavalue":{"value":{"amount":"+0.9900525808334352","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":"Q6560372$7491385E-8095-4A59-9B04-E9BD7F006C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369f48bb0ae678a67fd8f622b64e445377b7f33","datavalue":{"value":{"entity-type":"item","numeric-id":2128808,"id":"Q2128808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2722426fbddb13df295d0924b26b47d03cdcdd8","datavalue":{"value":{"amount":"+0.7712470889091492","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":"Q6560372$AA52C7A8-4109-4AF7-8030-8C1C09A845C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd394b71b8901b23d26099d7036d7a493bb8ac7e","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d242bc408d2e9f5cee03b97307c4cc8c295be6","datavalue":{"value":{"amount":"+0.7598853707313538","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":"Q6560372$51C48F0E-B492-4806-92A1-D7D40971F8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404825eb196e28e9cdb897322b5b207a1e9328bb","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495f74232528fb55bf7dcc17f5a5c70d65693178","datavalue":{"value":{"amount":"+0.7462224960327148","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":"Q6560372$57755AEB-E775-4719-B31D-F87B9BA5488C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b4fb64992fb8ab53efeada2bcba4b18cfaafdb","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef130dd13aedcc4d9735e39145a48c81da37c6f","datavalue":{"value":{"amount":"+0.7430815100669861","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":"Q6560372$302B3862-4C66-44FC-937B-67345E63D901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560372"}}}}}