{"entities":{"Q4916210":{"pageid":6945791,"ns":120,"title":"Item:Q4916210","lastrevid":51698423,"modified":"2026-01-19T13:20:25Z","type":"item","id":"Q4916210","labels":{"en":{"language":"en","value":"A completeness result for relation algebra with binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156018"}},"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":"Q4916210$483BB29E-B0DF-4107-B463-90572E566836","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f6ebb608c1ec698cb382332926b0c6c2563d03d","datavalue":{"value":{"text":"A Completeness Result for Relation Algebra with Binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916210$1385396D-2188-4853-849C-8DB9C0701568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1653145926866542780f651bffa0066cab16743d","datavalue":{"value":"1261.03170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916210$E01418B7-4C60-4EB8-A46E-1519C4911DF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d1a08d79b1d90a4df796575faaafc2cd700fc32","datavalue":{"value":"10.1016/S1571-0661(04)80549-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916210$6AC56867-B052-4EDF-9D1C-ECC559D3CC46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6003a1db95a8e17a4e33301fc49312e9b0ca5e73","datavalue":{"value":{"entity-type":"item","numeric-id":1402581,"id":"Q1402581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$8FCB26DA-D37F-459D-8500-408BE03F5091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09a17bdbb0640d7f1c82e898f6fb082f96c3604d","datavalue":{"value":{"entity-type":"item","numeric-id":1402580,"id":"Q1402580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$61BF482E-E9C7-40F0-855A-B7E5AEC4BE41","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":"Q4916210$B9ABD8D1-C194-4CB7-9B9D-1C1E4B123F63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916210$1AD4AC32-084C-4DC1-AE2A-92B078CAE9EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916210$50D34963-ED70-40EF-AA3C-80BC0603B9DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35895ce362f1ad2988c5281bf2f6c582ec27ebb2","datavalue":{"value":"6156018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916210$B75A47B4-56B4-4986-B431-BBA0D345D0D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916210$0D532FAD-BA65-4FA3-9CD3-ABB6EE7BBA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916210$CC9919C4-1570-48BC-B0A4-683B5B7B0B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a689c3aabad43c3ebee404e0bfba686d0f3582e9","datavalue":{"value":"relation algebra with binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916210$37C4776C-5540-4502-9A0D-ED6F70E49079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916210$B0654865-7869-4AC5-9216-40F37E3870C2","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":"Q4916210$416AEF0F-0AC1-4918-AB82-84AD0F1848FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$B34A7616-1B88-4771-8D51-E8DC52A0A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2377d3b7676d1c90850ec185215eed480678ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$E1B33B4F-0983-45A6-889E-E0325AF967E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e8a7f3e5c1edf4423142601c5ff9a7fbc17795","datavalue":{"value":{"entity-type":"item","numeric-id":4338907,"id":"Q4338907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$E2C56D8C-1B93-4590-B31C-8DDD88971787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$BCE2359D-589F-497C-9073-0E241F8FC885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$E9F7BE3A-BBDB-4B13-93C1-FFDAA50A5168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90beb19f4ffcf44d7e4b4bb5b446d783518b65a","datavalue":{"value":{"entity-type":"item","numeric-id":4210769,"id":"Q4210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$1549C616-32B8-4433-BD7A-DA47CC7B8ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948a492c3ce30688c9bfcd563e1992da688c1e80","datavalue":{"value":{"entity-type":"item","numeric-id":4011716,"id":"Q4011716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$2DDBC41F-E3A4-483C-88EF-D5D511BE81C8","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":"Q4916210$C67DEF4D-AB97-4B86-936E-7C82ACAF5340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98797cb5ed28ab4db1afba66030ac6e8ada6fdaf","datavalue":{"value":{"entity-type":"item","numeric-id":2542063,"id":"Q2542063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$4C5232C6-F3EA-4612-8CC7-0B1D3DBF01EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$0B6978B4-0EE9-41E4-9C22-E77E3D28D8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$C6A14552-6E4F-457B-85E3-21E18F54901C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db4775565adf80964d422a92037fe6d6a70156","datavalue":{"value":{"entity-type":"item","numeric-id":786804,"id":"Q786804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$C051DEA6-24FF-493E-98D0-A0C670A24FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62a7ee57a756d9c692750076403c6b2fb06447b","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$E659B886-F787-46F3-B11E-2B37B40808AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198a8d8bfc473834547dc4dc84a143f1a8c5fc23","datavalue":{"value":{"entity-type":"item","numeric-id":4362875,"id":"Q4362875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$2795BFED-A131-46D8-95A8-FA91DF9601CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f359820bbfe157ca0342417ac9841fba8771d7b","datavalue":{"value":{"entity-type":"item","numeric-id":2772881,"id":"Q2772881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$810274E6-ED73-43FF-99DB-4B29A4EFBF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0d42faad518f8462384f1fb5e6cf7b52853182","datavalue":{"value":{"entity-type":"item","numeric-id":3126000,"id":"Q3126000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$C8E58D94-74E6-4059-8766-B428F671A60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$81E201BD-0C2F-4524-95D1-4B6F6D7549B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7925c1f9119dea463a32bd6fe6c515fff5330e","datavalue":{"value":{"entity-type":"item","numeric-id":4511602,"id":"Q4511602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$EF78D336-FA5F-474E-9667-E65F3E84F08F","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":"Q4916210$692242F5-D2A7-4F62-9E72-7C61CF20227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$7BCA3400-A9D1-44CA-A408-51B282A28333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee63b2a920bdf7ce4ff1d3915d99388990561b89","datavalue":{"value":{"entity-type":"item","numeric-id":4349279,"id":"Q4349279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916210$A3914035-4FFA-487F-9034-A01185EC2723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dc325d719cd642e0837664bfb3306d32a020298","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80549-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916210$0D57B9E7-A23A-4DDA-A8B7-B143930B9488","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da92a11d49247abf0c185f724f55e15c91d968ed","datavalue":{"value":"W1998919726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916210$F53E4B8B-381C-4BD5-A0F8-938FA6FC0BFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e91fb9f643f2c6dbe1f513f3157db66b6d092e","datavalue":{"value":{"entity-type":"item","numeric-id":2772881,"id":"Q2772881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfbc86ecdc47b3b446087953fa01dd6d3442dfd","datavalue":{"value":{"amount":"+0.8101049661636353","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":"Q4916210$82AD1344-2D1D-4717-93E0-790408BAC051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278f70e0efa85f7d20acd9bce998d5b5447502d6","datavalue":{"value":{"entity-type":"item","numeric-id":5459188,"id":"Q5459188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfa8027f34267a011829102ea66ed6c74048172","datavalue":{"value":{"amount":"+0.7451204657554626","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":"Q4916210$7A13EF4D-1976-44F3-98EE-85D9792EF9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739101964d5f09abd44ff81daf44c808390ddead","datavalue":{"value":{"entity-type":"item","numeric-id":5737994,"id":"Q5737994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd2b64bbc983fcda8a62dbe58e82f2142ca0cc5","datavalue":{"value":{"amount":"+0.74215167760849","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":"Q4916210$87DA1B6C-5817-44EB-A8AE-C0BD1E0E4229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffe61e6d4df8b3152cfd0616d0901729a8c8532","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a69c0e96be0d4fd668e9d98f58aa9cbdd62d91b","datavalue":{"value":{"amount":"+0.7409858107566833","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":"Q4916210$19B89676-AA5D-4030-9B48-68E62586116C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c897ede056161a5ee85bbe0dec776fa071d3469","datavalue":{"value":{"entity-type":"item","numeric-id":4000536,"id":"Q4000536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c2ab2bb7d070c554a3bd9def2d5b6cd5478fcf","datavalue":{"value":{"amount":"+0.7408774495124817","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":"Q4916210$3476777F-86B6-40E0-BB55-98349487BC97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916210","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916210"}}}}}