{"entities":{"Q786804":{"pageid":788652,"ns":120,"title":"Item:Q786804","lastrevid":48670684,"modified":"2026-01-05T13:51:32Z","type":"item","id":"Q786804","labels":{"en":{"language":"en","value":"A sequent calculus for relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3838000"}},"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":"Q786804$54FCBB42-3AC7-4CC1-A26D-B1AF8D9ADEE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cb07b3f4dca2d74e9bf9842c53c5fc1c20a7e65","datavalue":{"value":{"text":"A sequent calculus for relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q786804$4062CA7C-7970-49AE-AE92-76DDA7A47F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"396523e12bb39e4f23eddef87a0804a3aad590c8","datavalue":{"value":"0528.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$220915EF-2345-4C4B-A0AA-9212DC93C60E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c149e053d4d8382bf2ebac4110140051f2d62f24","datavalue":{"value":"10.1016/0168-0072(83)90055-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$8AF230DE-F5CD-4154-A822-F4B1A6F6A599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$AB16B5A5-5D56-4986-AF02-F6323A01011B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q786804$C78EE867-30C2-44D8-A24A-2E28C0389ECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$2169ED65-34E6-4E32-BE23-773DFAB2CC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$C38FB0F0-5DD3-487E-8A15-FAA28C1C277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$54EF1457-5790-4F8E-A72D-3AEE170DC5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$88732683-0EB9-4318-8DA6-BA988BF25211","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31d1da6c13ce4d5938e44440cfe95729b83dafa2","datavalue":{"value":"3838000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$6EFD4F1F-8137-41BA-BD78-637593BE3555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q786804$D5548239-5F35-4A95-80C6-4564772D2306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q786804$641F7462-8C4A-4BD7-85F0-26DF213C95A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q786804$677A79A2-E6FF-4BC0-88A5-FD5255C72AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c31414f753e774571063d2d948f3a3ddd0198c2","datavalue":{"value":"matrix algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q786804$17E6884E-4B54-4DC6-AE3A-335409609B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q786804$242A6B71-0747-41FE-80B4-93026E22FFD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$51869500-0C9B-4DC9-8F96-128999BBF0FA","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":"Q786804$6814C53F-5FCA-4867-9F84-C5C97B75F7A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"696edbb5b69e9e859093a3dbbe8e18e55b9cd030","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90055-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q786804$6716DF41-5129-4F10-A815-A7F9F9042D72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8739274ab7ea9260cd617e574097b2f44dbb3902","datavalue":{"value":"W2086495064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786804$29CD9CE5-B258-4931-A50C-D949A86F2E4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$6623EDF8-C511-4F96-BC59-16160F052738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90feb9b5731c180dd2376224fa6ecf616f93698","datavalue":{"value":{"entity-type":"item","numeric-id":5681997,"id":"Q5681997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$2597F302-3CCE-4F75-812F-1EAD3A3C5D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$1936AAE6-7A0C-4E3C-BDF1-B42136251012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b80e189dd15351252d00c12216dd11395585259","datavalue":{"value":{"entity-type":"item","numeric-id":1138391,"id":"Q1138391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$61DC0C2E-65AA-4B01-9F49-238279ABD055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$06C23564-BECD-4DC2-B525-3BAA07754EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ebc558a69d387fb7dad5552808a55a991d41c2","datavalue":{"value":{"entity-type":"item","numeric-id":5752572,"id":"Q5752572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$0D85B410-2CEE-45A7-8E2D-B819FC289E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$8215D303-0072-4D7E-AD67-A2D6BB455DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$BDE22C74-8C38-4D41-8954-E9BE63DDD1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$AA54D2A9-0A13-4BF0-9A19-9E4CA51199BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c876239d9c224c56d0b1c01edcf31465cdc595c9","datavalue":{"value":{"entity-type":"item","numeric-id":4742764,"id":"Q4742764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786804$91BA2B10-7B9B-4563-A9ED-9968D8D44D86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf402777895c5ecdb5171294d9324444e39173aa","datavalue":{"value":{"entity-type":"item","numeric-id":4032659,"id":"Q4032659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec71ae52ca875c23d2804f23a363520e5074e3a","datavalue":{"value":{"amount":"+0.7977760434150696","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":"Q786804$CC0B1D3D-34A0-4A28-BA95-3742DDE0DCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2e2b8349b4f0f21c61ef85bad968bd996d5c30","datavalue":{"value":{"entity-type":"item","numeric-id":4250068,"id":"Q4250068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eeed800390f45e5106d3ae90717897403f5ddd6","datavalue":{"value":{"amount":"+0.793915867805481","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":"Q786804$768DADC6-3F42-4360-A77B-D45D9AE8A98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d9fb8da89fc8945e87f77b8b155ef5b03f5030","datavalue":{"value":{"entity-type":"item","numeric-id":4329274,"id":"Q4329274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7f536e74eebcf0f056412f63fc2a4802800c60","datavalue":{"value":{"amount":"+0.7692078948020935","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":"Q786804$5670242B-133A-408C-8902-4511D58546A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c8b70769ed794d8b48d98bf4ed74e99fce7476","datavalue":{"value":{"entity-type":"item","numeric-id":4362918,"id":"Q4362918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785016ff23a69c28f9799c5d268be244282e625c","datavalue":{"value":{"amount":"+0.7555884718894958","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":"Q786804$20462684-FE4F-4699-BA54-35580FC645F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e1eca03a16f4538ee118f59ea6cfacc9ee506c2","datavalue":{"value":{"entity-type":"item","numeric-id":4353720,"id":"Q4353720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aedb023bc619ea9d2ccff35861024df63bcc7fc","datavalue":{"value":{"amount":"+0.7544623017311096","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":"Q786804$10A63BB6-9DBB-45D0-8104-84961D8255CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:786804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:786804"}}}}}