{"entities":{"Q1272608":{"pageid":1283358,"ns":120,"title":"Item:Q1272608","lastrevid":46624752,"modified":"2025-12-25T06:59:27Z","type":"item","id":"Q1272608","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 1234678"}},"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":"Q1272608$AEB6AF2C-4618-4313-98CB-F9762EA7F2B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72360a0c6e263da628e1856933cbee0c25d6c584","datavalue":{"value":{"text":"Analytica --- an experiment in combining theorem proving and symbolic computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272608$3221B1D6-411F-4530-B8F7-301263E8BFF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f444b0aa7a2dc47bc606ebf27aa83ce41013be35","datavalue":{"value":"0916.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272608$DC85EC23-15BB-4AD2-9DC4-C7C5D190737D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee4e91eebd89a5313326741c45380b524904bc6b","datavalue":{"value":"10.1023/A:1006079212546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272608$9FF388D7-D8B0-4F9F-8B8B-C857ADEB099B","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":"Q1272608$044CAE1E-FB81-4C73-8CCA-09732086C4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2f604a46fda80ac945b2846c7370096254c6c31","datavalue":{"value":{"entity-type":"item","numeric-id":285696,"id":"Q285696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272608$B2DF9EB3-CE7B-4484-BD1C-08B10CCF9BC5","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":"Q1272608$BD3487C9-9456-4060-B1D9-22AAE15B4C60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272608$4E1810BE-12D0-43E7-9D42-FC1C72273562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272608$EA8DF6C0-49CD-4D50-AC33-BC804A642C34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272608$41E7E262-5F16-48FB-B29E-786A67FE35E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272608$A647B0A8-213C-4661-9A1D-F21C4802F55B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d743a2b615cd8225702504a6719a92d8aeb63d0a","datavalue":{"value":"1234678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272608$6A8DFB78-34CD-4453-BBF4-0D393E495C25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7ba4e55f5bd3be56a88bc0ff654eb90d601b260","datavalue":{"value":"Analytica","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272608$0DD419C6-D82F-4E54-8A00-224F8871789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272608$88F38338-F529-4688-8AAC-0082474CD5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a0c353414dc02c4b7668ecbe9df9e61241b998","datavalue":{"value":"Mathematica","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272608$7A6B0A0A-0010-4864-8A5D-FD0C41867B51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272608$EE03ED3A-4E4F-4296-B073-5C62DA227C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272608$A6502D03-2F56-42E6-9D01-3EDE7CCE8661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272608$F4D9312C-DB9E-4987-9B6E-FB57C24B6821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272608$EA1E3AB0-AB76-4F96-B244-5C7445F2008A","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":"Q1272608$B03CC3D0-9DE2-4F52-BFCF-D929AEF5468D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abff739b34305a4488aba8ed107884303e580527","datavalue":{"value":"https://doi.org/10.1023/a:1006079212546","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272608$0B35F2AF-96AE-4499-925E-EC569DCBB8FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2fafad7e67d03fcad579a388e5d1f6225486155","datavalue":{"value":"W1544772966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272608$A9467BCB-297F-40EA-93D6-700F17C8760A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"332ee32b37c167bb093e967f951618246ef6b630","datavalue":{"value":"Q115902552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272608$D3A68971-C013-4803-92E7-8DE5F4A306AF","rank":"normal"}],"P1643":[{"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":"3150400c3736851f32eba121d67debd4c77bca3e","datavalue":{"value":{"amount":"+0.773725688457489","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":"Q1272608$3982C4BD-2D49-4606-9A26-CCC18D710948","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":"b5c453c67a65bad7ac23d906e3154768a971dd93","datavalue":{"value":{"amount":"+0.7676483988761902","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":"Q1272608$F58D38CA-DB9E-454C-896B-D0F8A3375887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6f21a52d9f59a11e6a6d77bbeae7ffb6f485e9","datavalue":{"value":{"entity-type":"item","numeric-id":3709919,"id":"Q3709919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a842427e51f9c09ab6ebc3a3dbbcfcb8fe2999e","datavalue":{"value":{"amount":"+0.7658817172050476","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":"Q1272608$50293A5A-3443-4E63-BD22-89FCFB319DD4","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":"366bd70224e3e8a6c9275bd9165d0295c82e7965","datavalue":{"value":{"amount":"+0.7477651834487915","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":"Q1272608$6C51F640-B3F5-45E7-BCE6-DE990899F591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c635c8430e30670a73c64522286746432741bb22","datavalue":{"value":{"entity-type":"item","numeric-id":1823014,"id":"Q1823014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560658b0310063774b8d66529b1d7b895eb70da9","datavalue":{"value":{"amount":"+0.7473490238189697","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":"Q1272608$A3C9373F-3BA5-4ED1-A706-FAD2912E0908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1272608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1272608"}}}}}