{"entities":{"Q5170236":{"pageid":7199808,"ns":120,"title":"Item:Q5170236","lastrevid":94402679,"modified":"2026-06-05T06:43:30Z","type":"item","id":"Q5170236","labels":{"en":{"language":"en","value":"Visualising reasoning: what ATP can learn from CP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319595"}},"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":"Q5170236$8F6606E3-E495-47DD-A4B5-179515F06552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d48e349388a3b2ef00b49423fb26776604a5d184","datavalue":{"value":{"text":"Visualising Reasoning: What ATP Can Learn From CP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170236$B474CE32-4946-466E-B314-E38447E8743B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e84b368e1cfe125d0bff620dc564d5ead2891375","datavalue":{"value":"1294.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170236$4ADF2682-DF4B-4B4B-8DF7-FEAB4CF30E30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170236$64371C04-1A4D-4378-9860-01C1647B51DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170236$EF6CEAD9-1A46-4279-A5F9-76A11A282667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170236$8116574E-B404-4DB9-BD6C-A424A9CE354A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170236$B226DDB2-E505-42FE-8888-348E6C1519D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"571d42213ea7cb869dd65882dde9c896529a121f","datavalue":{"value":"6319595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170236$395649A7-F866-402F-BBC5-08875C4550C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170236$26D39B13-B7EB-4CF7-BFAF-AAB64C99D7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe2f45175ac97dfa76260b09058c0c4156e3743","datavalue":{"value":"visualisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170236$B4934FA5-BBDD-4DCD-B480-084F98BAA4EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170236$B2465BE8-0683-4149-9F53-55C84DB523E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170236$A12E4F7E-67A8-4DA1-B2B0-FA276ACC1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5506cef8387b4eb32188ad89c252a31aaba9a75b","datavalue":{"value":{"entity-type":"item","numeric-id":42803,"id":"Q42803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170236$AC4F4904-DD21-4D01-9405-7E879D8E735F","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":"Q5170236$EDAE2227-5EAB-4D05-B1F1-E53EDAECE1E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74e1c19df99e3751d35afe0b08b4fb4dc1f745af","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170236$FC314936-4C68-4F4E-B395-9A1B0D6B44ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"862f549a7ed8884640fe0664d2897ecf12720fb5","datavalue":{"value":"W1998784026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170236$41CBC251-1720-4B49-B955-9DA7651920CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"497ea8691eaf3654211d4f201069c9de800926a0","datavalue":{"value":"Q113318099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170236$E90A0B7C-F80B-4B0B-9623-B60761271D74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5bede2f23d044fdbdfb46d12d5a6b5cbf45ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3595036,"id":"Q3595036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170236$C3AA6341-5C73-429C-AA94-1FD036B4EFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae37e183d34666b6846403609ef976d18b53e7e","datavalue":{"value":{"entity-type":"item","numeric-id":2364984,"id":"Q2364984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170236$64C975B2-BD5A-4219-8B54-879000293510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d887273956819c6ec8bd8e9ddede8f42d4af30fa","datavalue":{"value":{"entity-type":"item","numeric-id":4472308,"id":"Q4472308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170236$5AA1CAC3-B55B-4913-9B46-93098A419E7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1396ad42f6b916a528289090db9a7a5e9fa940f1","datavalue":{"value":"10.1016/J.ENTCS.2012.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170236$C86636BD-1E5B-4CB4-919E-143400FDD952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3605788f4b22defe4c7a11f58a5e8bc655c6aca8","datavalue":{"value":{"entity-type":"item","numeric-id":5475741,"id":"Q5475741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468e9c193716fca93760bf604f6e6a4507a906a4","datavalue":{"value":{"amount":"+0.7446680665016174","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":"Q5170236$652028F3-BCDF-47B1-B754-A4199139C489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825fdb265ab8731a93e879a262f52bb96584dee8","datavalue":{"value":{"entity-type":"item","numeric-id":5898151,"id":"Q5898151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6addee4d8e92fa09306986ae0da91b96753a14","datavalue":{"value":{"amount":"+0.7266520857810974","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":"Q5170236$2672E59A-C309-458C-A4B2-63456BD811D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaadebc466006f9ba58130f8a493cb2148622f8","datavalue":{"value":{"entity-type":"item","numeric-id":2829254,"id":"Q2829254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62b8d618b47f2748766fb36b9eeddd69a0b0c6e","datavalue":{"value":{"amount":"+0.7251093983650208","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":"Q5170236$2C49D883-4F1E-42D1-ADCE-9570C8ADB7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a4004bec8c4bf76605ffb8af1d4dfe2b0301b8","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9f6a12334fc318d85fb4c7cb529535d57cbe6b","datavalue":{"value":{"amount":"+0.7237550616264343","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":"Q5170236$BB1B1866-13B8-4EF0-9FB7-0BE968100EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d73f39f270930c50372d27abce923aee4be3de","datavalue":{"value":{"entity-type":"item","numeric-id":4279075,"id":"Q4279075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae18279c861bc79aab02602aeac1be0efecbbf28","datavalue":{"value":{"amount":"+0.7023283839225769","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":"Q5170236$58204606-DB11-4C8E-870C-70595C92C83B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Visualising reasoning: what ATP can learn from CP","badges":[]}}}}}