{"entities":{"Q1272607":{"pageid":1283357,"ns":120,"title":"Item:Q1272607","lastrevid":46624749,"modified":"2025-12-25T06:59:26Z","type":"item","id":"Q1272607","labels":{"en":{"language":"en","value":"A Skeptic's approach to combining HOL and Maple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1234677"}},"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":"Q1272607$59F526CF-A1DA-4446-A054-82E158C64F35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5fbeeef34a1ce4f943b5e6d7fe16db975c03319","datavalue":{"value":{"text":"A Skeptic's approach to combining HOL and Maple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272607$4274E08F-DEA8-4825-9F13-149AA19D8DF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8b7115428737f994f1b864848f6d2d13308f866","datavalue":{"value":"0916.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272607$F6679B83-82C3-4F1F-814C-3650DD1E1671","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd48c7a519fc0125c956a441be632bafd87befe4","datavalue":{"value":"10.1023/A:1006023127567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272607$930D6E40-9314-47B6-96A7-AC7C11B95B8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272607$5B0C19B3-7075-4453-B599-51E1E1C15C14","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":"Q1272607$8D4A756F-55EB-4B7A-94F3-66D7367D4339","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2d2d0de991c11088faae65e4b1f5256b03090ec","datavalue":{"value":{"time":"+1999-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272607$F1BDCD5C-2F0A-4878-ACEC-188BADCE1717","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272607$F56BA66E-E2E6-46F9-82F4-67C53BAF7645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272607$0B9E2B7D-DCC2-4FFB-85EF-44998BE37701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272607$6D895874-9B20-45FC-A6DF-C5B757ED05FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d461eeaa66dc52a9f1153a5761068fc83771408","datavalue":{"value":"1234677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272607$D79BB391-DA83-46D0-82AA-735A35A1AACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272607$E5D4D006-D1D8-4FB8-A769-4FD8D0B4EC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9fa142fc70a7f7edaa670268faab1282344c1","datavalue":{"value":"computer algebra systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272607$1AB3053E-086C-4E5D-A1BF-3C1A6D44F5C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272607$6E530EDB-4B59-4245-B385-2613941A1F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272607$ED63E9F7-DB56-478B-8569-F97574F33F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272607$88311C61-8B5B-4065-BAA6-45CC9E894283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272607$3661CF5A-00C6-4389-B5E3-1F45A88FDE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5f0268c71fe0729223190c6b63f0de8465ef2f5","datavalue":{"value":{"entity-type":"item","numeric-id":14730,"id":"Q14730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272607$B083D1AC-BC45-47FD-8A65-8C368351216D","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":"Q1272607$51CB5B19-D591-444C-A240-09BE6908DC68","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":"Q1272607$E09FD4E0-7C9F-4824-9C04-133AD5426B4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad2fc2d4e125660a246aba53080d5629202b7872","datavalue":{"value":"https://doi.org/10.1023/a:1006023127567","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272607$9D5A5D36-1F78-422E-BD57-155F26C1C456","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88c9a237644ee2e68d04e064d191296f4b25a880","datavalue":{"value":"W1525737662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272607$20B62C96-C432-449C-ADEA-1DE466104B1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941b1236acbc8e079c1aa9b5b6f37342905adb91","datavalue":{"value":{"entity-type":"item","numeric-id":4282537,"id":"Q4282537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c70368f8f98d367b21c3389ea8d3c6f53c1a0b5","datavalue":{"value":{"amount":"+0.8622610569000244","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":"Q1272607$93576DE5-D1F9-4EFF-8419-3C3E3D2F74F8","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":"37dcd7f1a7e681ca3fea70fba7e327dd3279fab1","datavalue":{"value":{"amount":"+0.8080119490623474","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":"Q1272607$8E252F00-8A6F-4ED3-91F2-4ECE68AF5587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb3e22cfdea9687c7e9c67f2933def3703735b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d837561dd8ec9ed314ea9f05d265905a2bf35bda","datavalue":{"value":{"amount":"+0.7867716550827026","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":"Q1272607$A2A7C1C4-8E1D-41A3-88BA-E8FC74BAFDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a1ccdd29f698747b6aa96da88440d993be29ab","datavalue":{"value":{"entity-type":"item","numeric-id":1272609,"id":"Q1272609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16dbaefdadc2b06fe3d2a0a9bef1da03d53d49f","datavalue":{"value":{"amount":"+0.7798978686332703","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":"Q1272607$0C45E1A3-86B5-452B-9EBC-DBE109F13730","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1272607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1272607"}}}}}