{"entities":{"Q2845530":{"pageid":2856250,"ns":120,"title":"Item:Q2845530","lastrevid":83759354,"modified":"2026-05-07T10:52:39Z","type":"item","id":"Q2845530","labels":{"en":{"language":"en","value":"Automated theorem proving with spider diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203508"}},"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":"Q2845530$5A8527C4-0198-4BA1-9939-325CB0329E6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f59b7ab2ecf669833b3f349b7d1d6c424214d5e9","datavalue":{"value":"1271.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845530$8C65F0BE-375F-440F-B14C-80D13A36A503","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c092e9b6d34260868660c1122dd0aa80b2f85f05","datavalue":{"value":{"entity-type":"item","numeric-id":2467558,"id":"Q2467558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845530$3338D639-F70B-4FF0-9986-E8D71FE0A98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc80a122391c22e041c3ec1cb20febdef83d64cb","datavalue":{"value":{"entity-type":"item","numeric-id":1041224,"id":"Q1041224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845530$6F1B169B-72C8-49F6-948F-D4CE48C423D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845530$40FCE189-B7CA-400B-9802-92B347D8278E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ca158555149aba8018123afc6d75b1f520ceb7a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066103000239","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845530$166919F9-D608-4B0E-904D-159318DB58AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845530$4CB38AB6-C2DD-45BF-9EDB-CF2E0C256363","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ae8ef804cd62a190ca8d72dce14a6cc23793fa","datavalue":{"value":"6203508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845530$EBD9503A-D19B-457E-8FEA-26ABC3A86C48","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":"Q2845530$D40F274B-96DA-42F9-BE75-8FD38D30EF29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec743febe11807f900e4de833472e367ed312a9d","datavalue":{"value":{"text":"Automated theorem proving with spider diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845530$916BB786-0637-47AC-8678-B5882717602E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301985ba4b3090cca87e15e0fa96f63f33554800","datavalue":{"value":{"entity-type":"item","numeric-id":2629222,"id":"Q2629222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36777c8eac4a1c4ee0bc9ae931925dffc4aea87f","datavalue":{"value":{"amount":"+0.8510885238647461","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":"Q2845530$5CED60A8-B5EC-4852-80E7-52EC1F18914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d1eacf1dd2507a5cfeb63756537c697ae30300","datavalue":{"value":{"entity-type":"item","numeric-id":5697473,"id":"Q5697473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851ee07899e2aff5cb40d4c91860691a66bfbc78","datavalue":{"value":{"amount":"+0.8143675327301025","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":"Q2845530$02F5362C-425B-4A69-A148-97601E51341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48e8f8730153885b9a1e84d4fed97c8e347e507","datavalue":{"value":{"entity-type":"item","numeric-id":5714034,"id":"Q5714034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041e0c17da7f72e97a8f2eae1ad500c5d1a5fcfa","datavalue":{"value":{"amount":"+0.812088668346405","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":"Q2845530$771576EA-73E3-496D-9D26-1A20CF8B6208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a47cf68594b853013162acba165e0d127569d","datavalue":{"value":{"entity-type":"item","numeric-id":2948608,"id":"Q2948608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a36945aab93971c2c2ed0436962957782fc146","datavalue":{"value":{"amount":"+0.8086480498313904","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":"Q2845530$119CDCE0-A621-40C6-BA1F-12CD8D85A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3413a24b4cab2cce5af241344dd0f8b95fa120","datavalue":{"value":{"entity-type":"item","numeric-id":2753849,"id":"Q2753849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a34044244e483e9a707dee2ae9939ea762e86d0","datavalue":{"value":{"amount":"+0.8063391447067261","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":"Q2845530$393F61E8-06A3-43E0-A479-C66857B1791F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated theorem proving with spider diagrams","badges":[]}}}}}