{"entities":{"Q1272609":{"pageid":1283359,"ns":120,"title":"Item:Q1272609","lastrevid":42994736,"modified":"2025-07-16T17:23:19Z","type":"item","id":"Q1272609","labels":{"en":{"language":"en","value":"Integrating computer algebra into proof planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1234679"}},"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":"Q1272609$8B004E65-59E7-47BE-B34B-9210E94D56EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e58e0089f48f870a2f720056265ec26f74db16b8","datavalue":{"value":{"text":"Integrating computer algebra into proof planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272609$C7F688ED-79B8-4A78-BB5A-3746F83A2759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12a2136729386383e3ca27ef2c479aaf0df640b5","datavalue":{"value":"0916.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272609$023BC7DD-F6A9-48DA-8D1C-5A089A9EA2FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"920350d42fb0925652e469180df80e1ff90e4d3d","datavalue":{"value":"10.1023/A:1006059810729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272609$B9FDD6D1-4BFE-45B7-B556-AEB3B4119CB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7312aa49e695258fc219389a5f4fc014d345696","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272609$D81E6640-660B-4811-8455-4A84298E63C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272609$9529DA5F-AD8E-428D-8799-347BE516A221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7b209f4f6620b5b1c5d47a6aa15c4f2fbff1de","datavalue":{"value":{"entity-type":"item","numeric-id":862392,"id":"Q862392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272609$0DECCB3F-8156-477F-909D-38587C742B70","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":"Q1272609$015AC5D3-5044-4AE6-A680-938D95701B27","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":"Q1272609$0166CB90-C299-4DE7-9F97-138AA2C86C88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272609$D5CF2E8F-91A7-418F-9BEF-56BB6CDD1FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272609$E8410349-0669-4470-A88B-055DB6452D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e3d88341e08ac84b76603a34c492dffdfafc600","datavalue":{"value":"1234679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272609$836DEF9C-7953-4755-9D5A-459D01761594","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed564a7cca560dd6460e23456bd8d1c59348f73b","datavalue":{"value":"mechanized reasoning systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272609$16A91C73-B431-48EA-9873-7E974BCD26B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9fa142fc70a7f7edaa670268faab1282344c1","datavalue":{"value":"computer algebra systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272609$ED91F10C-575E-4B69-BD5C-395F2613BEEB","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":"Q1272609$43999275-EC91-4D64-83EF-E907C05083CF","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":"Q1272609$54B1F4F9-8AD2-4BF2-B82A-F6C4BD683359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272609$A6CE6879-83CA-4988-9347-211F3748D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272609$1FD32D23-6074-431E-9A39-971955AAE700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272609$157F7931-DA67-4545-A66B-DBA431613FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f18ba7269eeb3fb0c084a3541ea6b9ba83451c8","datavalue":{"value":{"entity-type":"item","numeric-id":13361,"id":"Q13361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272609$E05E19DA-16E2-4C0A-9978-F02D767A87AF","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":"Q1272609$CD29B719-24F6-4266-9C40-FE1DC101C548","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":"Q1272609$8B6BB9E4-D8CC-4972-BBE2-22D77F97ADBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a20f7c7e6d3234a51f24c436f356317acd8d6283","datavalue":{"value":"https://doi.org/10.1023/a:1006059810729","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272609$DA559384-E43A-47D8-9B52-D0E59F7D0700","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beb832b8f15506a0a4228cb407313b03588b127b","datavalue":{"value":"W1881765559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272609$83B428BF-FD2D-44D7-A4B1-ED2416957381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c6b79329a05aebeeaceafc262ed034a0f25766","datavalue":{"value":{"entity-type":"item","numeric-id":2702597,"id":"Q2702597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca49f3db9603320a40cce8502ed0cf4aea17a0ac","datavalue":{"value":{"amount":"+0.90840983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$966AE5F1-196E-485D-AD27-A9B016C3D1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a287999870f7e485a660ddd91244e509a79df931","datavalue":{"value":{"entity-type":"item","numeric-id":1189730,"id":"Q1189730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b0cbdcb222e52f24a0fcf5fb0e2f1992146258","datavalue":{"value":{"amount":"+0.90433836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$63D17DCE-5EDE-41E4-83B8-99DD8CC03D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cbf49a2d34b109d22fd4aed20f4c51c8b3874d","datavalue":{"value":{"entity-type":"item","numeric-id":4217952,"id":"Q4217952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27513363ec0d491c4168492050e035e6e9ed2a9","datavalue":{"value":{"amount":"+0.8998673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$2AD019D8-087C-489D-A682-BC00F2F43891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a99606c904bf3262d15e460058d95f88a306e1","datavalue":{"value":{"entity-type":"item","numeric-id":4934140,"id":"Q4934140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6317756850465fcb21569c02d21a5b8a55b637","datavalue":{"value":{"amount":"+0.8998672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$EE479508-B9E2-4ED0-B994-1F62FB5EBB11","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":"7c4ad7f612f202f178c574e4c8c2c6c9e9068724","datavalue":{"value":{"amount":"+0.89961684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$BD40E095-DE46-4C93-9435-AE1C598EC499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc08b17a1ddd4ae826edaf57fd3e506f7115e9de","datavalue":{"value":{"entity-type":"item","numeric-id":3002926,"id":"Q3002926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a4ca386c078b04a8aea2bfeffc3e473db161d1","datavalue":{"value":{"amount":"+0.8950259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$705668AA-6A83-421D-BAE1-C766DA866E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b446302bf060f1e8728e9f2ecd61f9da112cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":4518867,"id":"Q4518867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608fb46a4bd0f2c05bf040b87ad4823f7d33f966","datavalue":{"value":{"amount":"+0.8927934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$D9A97597-F9F6-4FAD-BC0B-9E49BC440C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f578685aa3e5d0210ee8a4b098c1f01d3e10b455","datavalue":{"value":{"entity-type":"item","numeric-id":3831934,"id":"Q3831934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6bcbb1cf05a99c156ae6c71da3d3734aa5fc4d","datavalue":{"value":{"amount":"+0.89088875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$B3DF9E70-C3E0-48C0-A7B6-CFEBF608FD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88964ec0dcca17e8370c66d933dc0b826ae9cc08","datavalue":{"value":{"entity-type":"item","numeric-id":1080247,"id":"Q1080247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6bcbb1cf05a99c156ae6c71da3d3734aa5fc4d","datavalue":{"value":{"amount":"+0.89088875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$935FC7BC-247E-472E-AA6D-3F5BF9E070C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0462344f3ab5fc152b9fd7fc0d09f0c9b9f96dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4518862,"id":"Q4518862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fddadf0e9ce3a8838e0e3e03a000f46644cfac","datavalue":{"value":{"amount":"+0.8888651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272609$0139633F-28A9-49EB-90A5-F6D79DA48DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1272609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1272609"}}}}}