{"entities":{"Q4847310":{"pageid":6876890,"ns":120,"title":"Item:Q4847310","lastrevid":47355604,"modified":"2026-01-01T12:03:47Z","type":"item","id":"Q4847310","labels":{"en":{"language":"en","value":"Completeness of category-based equational deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 798802"}},"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":"Q4847310$9ED7CA16-23AB-4B45-9F89-92A8A7ACFF00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b186c29165d1cc5dd7f2977a5e9f7707b8d3b81","datavalue":{"value":{"text":"Completeness of category-based equational deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4847310$69240641-93BF-4549-8BA1-E66D35307EF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d6be913868bfdb4bfe39b9b645e54fe6c412fa9","datavalue":{"value":"0835.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$83379ED1-14B2-4863-9963-609E97423106","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e26d1b2f5b3a6fcc1fe67cb79fb5bb4568eb8cca","datavalue":{"value":"10.1017/S0960129500000621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$79C2634E-316F-4E59-A977-1E79F0C88171","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847310$D811CBDE-C876-4E21-A98A-C3E33F24EBEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847310$20C15480-9984-4392-ADEA-124A62C1CAB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39befa412b6f184069f2e562a37f7fe841b3f444","datavalue":{"value":{"time":"+1995-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4847310$501AA20F-BD00-4040-BBB3-BE72F495B923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$3E9B8019-51F6-4421-98A5-B303925C5133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$255E40DE-16A1-4DB1-80A1-490DFB40204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$6D03BBBD-8EC7-4617-972D-C6DA7F8D2FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$898C8A66-ABA9-4F0C-84E9-BB41516C7284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$31212527-E88D-4DE2-8AB2-9141AFDDDF4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aba0aa2dac13487b349eeb722176823d96935be9","datavalue":{"value":"798802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847310$9E34F077-38A8-418D-B3C2-524B413B0E83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847310$38988527-0B7C-4BC1-B802-3FEB341E363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847310$623EC36B-EF02-4D6D-B391-9BAAE7BEE980","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":"Q4847310$A677DA3D-735C-4BF1-B960-029E35619A44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847310$D6AF5EB6-85D0-4E51-9949-AC05047DCA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb04a649a73fcfb0ac785adf276c6d3df4e05513","datavalue":{"value":{"entity-type":"item","numeric-id":4062639,"id":"Q4062639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847310$78B04A6C-A6D6-4F28-994A-A2DC0C442E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6041a884124b8a205e8ee7c6dfcc7b7882874e9","datavalue":{"value":{"entity-type":"item","numeric-id":3069693,"id":"Q3069693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847310$096C9BAF-4557-43DC-BFBE-E68B0DACE9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0783f85e99e7dffe0dfd7a137e42e4f7d2481da5","datavalue":{"value":{"entity-type":"item","numeric-id":5654202,"id":"Q5654202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847310$17E9112C-21BC-42E0-90D8-2E3FBE406A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847310$6FAE8305-91F1-4222-9D7A-D5DE2E34CD90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70bc27129db8bfcae201ef21143182c726fbcba","datavalue":{"value":{"entity-type":"item","numeric-id":4783329,"id":"Q4783329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7db92f2fbfb2c65bf0216cf111d4763107af17a","datavalue":{"value":{"amount":"+0.825394868850708","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":"Q4847310$FDA2AC5D-9A60-4185-BF15-ACD9B8981860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424ce906378a64319905fcbc47e6c98c97eadb3b","datavalue":{"value":{"entity-type":"item","numeric-id":3574402,"id":"Q3574402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6846c583b06869d028374e81ef40437a2c9f988a","datavalue":{"value":{"amount":"+0.8046084642410278","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":"Q4847310$96CCC8B0-DE21-4AFE-ABF9-8686A1D2AA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3897cd707840d466a6037b92ee6bb50acc342cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5757941,"id":"Q5757941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984b0c483d934a5c06c62fb162d00f33ca268c44","datavalue":{"value":{"amount":"+0.7957369089126587","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":"Q4847310$94533631-35D1-4E7B-9197-BF45ACFAD5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c5fa3ecbfa560b0d437ad2252be9d5bdba3617","datavalue":{"value":{"entity-type":"item","numeric-id":5096381,"id":"Q5096381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b543d2feb2050f2b1427e8cef510601a8ba1a2c9","datavalue":{"value":{"amount":"+0.7817586660385132","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":"Q4847310$61557BDF-311C-485F-9230-52C8A58C5561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da99e9db4c9a19615ee8f0f5312554d35d871021","datavalue":{"value":{"entity-type":"item","numeric-id":4682103,"id":"Q4682103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49228b9aeabc1192a0be24054cefa8ed8124823a","datavalue":{"value":{"amount":"+0.7713139653205872","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":"Q4847310$991F3E5E-7077-452F-B4C4-8068214BC4DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4847310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4847310"}}}}}