{"entities":{"Q2770773":{"pageid":2781511,"ns":120,"title":"Item:Q2770773","lastrevid":41993845,"modified":"2025-05-21T11:05:54Z","type":"item","id":"Q2770773","labels":{"en":{"language":"en","value":"Theorem proving method and the computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1704105"}},"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":"Q2770773$3D63DC87-71F9-4E0E-9C1C-740ADA2C0493","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"031720e290f8af69818f20d7c7686351427ad6db","datavalue":{"value":"0981.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770773$3267B29F-B31A-46CA-89AF-2A0AFB49791D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2654db8da3b5dc79311d991c1608f77b32056240","datavalue":{"value":{"entity-type":"item","numeric-id":2425444,"id":"Q2425444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770773$8C987F8E-84F4-4B29-A655-0EB6A506D07A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e53d5fe2003f37e7673c4ddbbdb683b0d090f84","datavalue":{"value":{"time":"+2002-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2770773$1F1848A6-11E7-4C57-BE53-12A52FCBA705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770773$8CE4B18D-8538-4D73-8324-9E50B425B700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc48ec29cf2177b9dc5e842c5de06ac2dbb59455","datavalue":{"value":"1704105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770773$035024A6-B7E3-48B5-8427-4A26FC3F93DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770773$E8BE80A8-291D-432E-A3D9-1B78B84C44DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef8f650c205cf0b52698ab6a4864ca145d2ba83","datavalue":{"value":"method of tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770773$AF855CA6-6BBE-4FB4-B174-25DC1B18A3A3","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":"Q2770773$C3CAA778-626B-40FD-9464-4E5E5D02FD1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7f64d1aea38e0ac55f692cb5237b1c0b9123fe","datavalue":{"value":{"amount":"+0.9442883","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":"Q2770773$0F12C608-FBEB-482C-8C8F-69A16AB22CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c26251f6824bc527e5a652aa3aafa9332146550","datavalue":{"value":{"entity-type":"item","numeric-id":3032255,"id":"Q3032255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee847bd558e3d7b8da0292ce1f5d11d36249de5c","datavalue":{"value":{"amount":"+0.9202851","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":"Q2770773$7B582298-EA5C-4577-AA07-C65E444427D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe600ac05843fec737de4c7f846a7e7a58910de6","datavalue":{"value":{"entity-type":"item","numeric-id":3681964,"id":"Q3681964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9062ddf5119062352fa94713e1339988462fe474","datavalue":{"value":{"amount":"+0.91414815","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":"Q2770773$7E67338A-8ABC-408D-966D-9CF8D23B61BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94c48ee8f14b5f9e403cfb12d46fd76e48994b3","datavalue":{"value":{"entity-type":"item","numeric-id":5364939,"id":"Q5364939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76882a2c3378b0d0316e4314c42ebe0ce1f51e62","datavalue":{"value":{"amount":"+0.9068365","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":"Q2770773$D5673D9B-FFAD-438E-95FC-D005396ED8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6839d7b640305c80a4c0e4ac293ba24d72571b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2778865,"id":"Q2778865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fad207017825ec8d768d5bb54314f04828c7d3","datavalue":{"value":{"amount":"+0.9031075","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":"Q2770773$AC4594CE-6670-47FA-AF6F-9817790D85D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebbb2ca2ad77929c4fe2fa8afb5c26ce4f83883","datavalue":{"value":{"entity-type":"item","numeric-id":4222972,"id":"Q4222972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3993e93cf121c256a1f3bc3180beb6a9236b1792","datavalue":{"value":{"amount":"+0.89696157","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":"Q2770773$2B2BC709-2FCE-42FF-BE82-8976F2EF977F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f376d6acb38f83573c22ba664926099fa5806f9","datavalue":{"value":{"entity-type":"item","numeric-id":2997766,"id":"Q2997766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e32e574bff0771ab3ee926e4513ff38dd535fa","datavalue":{"value":{"amount":"+0.8939624","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":"Q2770773$3EA1557A-D8FA-45A3-8970-9CC5AA4FFB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f065d73ab0374e38c4fdc191f525dabc2813d8ca","datavalue":{"value":{"amount":"+0.8870822","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":"Q2770773$06EDCED0-5570-4555-8237-9EB991D25F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec3307ab8ed266acb931d10f1d483d3ee1128fc","datavalue":{"value":{"amount":"+0.8864793","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":"Q2770773$E2B04F99-4418-46D4-8275-5BCA2FEA722A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e18fef46fe3c40d3b636f5f3f7fbf63ac14a3d2","datavalue":{"value":{"text":"Theorem proving method and the computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2770773$E396BFF8-ED88-4C79-B493-FAA876F767B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7514f11a674f060ae5987886d706f5b548145d91","datavalue":{"value":{"entity-type":"item","numeric-id":6654363,"id":"Q6654363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770773$452414B2-23EF-41DC-A8EA-4607DCF71981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2770773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2770773"}}}}}