{"entities":{"Q4643956":{"pageid":6673537,"ns":120,"title":"Item:Q4643956","lastrevid":90057083,"modified":"2026-06-04T18:59:16Z","type":"item","id":"Q4643956","labels":{"en":{"language":"en","value":"\\(n\\)-permutability and linear Datalog implies symmetric Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6876264"}},"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":"Q4643956$BA6F9C34-C257-4107-A9BB-5C629A66B08B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"687fa67d81698750c89148f2f738130ede1150bb","datavalue":{"value":"1476.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643956$2BBCC278-4825-4D43-9CF8-8FB90AADD945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1171e3bed9195bf7182e1ce69ea20b6dd5f5d818","datavalue":{"value":"10.23638/LMCS-14(2:3)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643956$0E63A789-5CFC-474D-A89B-C228516026C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1739800c64a45953cea3eb646f5e4ea0d6dded","datavalue":{"value":{"entity-type":"item","numeric-id":590310,"id":"Q590310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$9606AE3F-18C9-42D1-BE30-317C4BD10F36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c7837145f292fc799024546d5357bc1d83f0818","datavalue":{"value":{"time":"+2018-05-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":"Q4643956$093DAD54-7624-4370-B8D1-6DDC64E56B24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b2f8fe4b7c0f7833d0f73966f3f00a0b88c44f3","datavalue":{"value":"https://arxiv.org/abs/1508.05766","type":"string"},"datatype":"url"},"type":"statement","id":"Q4643956$9B2D45FA-3FD5-45D3-806A-EACC72D38976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643956$D908C59D-A67A-434A-9140-CA247E0E9401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643956$D36AA248-CE77-4D7F-B267-9A77E80B4BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643956$5284270B-A18B-40AF-B851-6A21967840C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5529bf3331d169d480f68a52ba9aecb2b213e102","datavalue":{"value":"6876264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643956$5C948124-3BF2-4453-B3DC-298658257645","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$A7684961-C842-4730-AEFC-D751F4A11CC7","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":"Q4643956$1617D552-E32F-47CA-9935-D6E072FEE14B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$8B3074B1-AF2F-468C-99BB-C2F9B8583636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07f2784b57531e73555367712e3ac49b3a2f090","datavalue":{"value":{"entity-type":"item","numeric-id":2427534,"id":"Q2427534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$A677405C-7E7B-4CFC-AE48-90FEC4AEDC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4c7ad84dafa9996db1476233443cd69f51afde","datavalue":{"value":{"entity-type":"item","numeric-id":4907620,"id":"Q4907620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$31E6B430-38E7-4B03-A441-361BA4BD4F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de18f317cc71c8b8d2f5d2d1cad64d07bf0bb8ee","datavalue":{"value":{"entity-type":"item","numeric-id":5415526,"id":"Q5415526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$4F92750B-53E0-4B89-A090-67DA8E873C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efad9f5c600be8cd025ec5c46270403c80fd1bb","datavalue":{"value":{"entity-type":"item","numeric-id":3189638,"id":"Q3189638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$B31FEDF5-604D-47A2-9245-DC41B913CDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d3a07608acbb8cc51d11afe6c158e7eeeff974","datavalue":{"value":{"entity-type":"item","numeric-id":2754150,"id":"Q2754150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$D72F892F-4CEF-4EFB-AB7D-700B700D5DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24684c0a71333143c5052668f8ab73b1174c38e7","datavalue":{"value":{"entity-type":"item","numeric-id":5504701,"id":"Q5504701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$ACE921D1-6780-4FF2-9CF7-833B251E7218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334f84b62da88e03c7ebab7561e1016f83c14411","datavalue":{"value":{"entity-type":"item","numeric-id":2986788,"id":"Q2986788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$01E90C68-D625-49C7-A61E-E276397CD7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bcd97a6d77888c25a5ef4d2fb737f0bfd1d5ade","datavalue":{"value":{"entity-type":"item","numeric-id":5310636,"id":"Q5310636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$9BE5567D-A6B2-4DE6-94BC-BA53FF2E0A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a339cc649d3cd63b8889f0b0c4f41d8c066dd6be","datavalue":{"value":{"entity-type":"item","numeric-id":3519500,"id":"Q3519500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$A9EDFAC4-D907-4C99-B576-957792C35DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$E04DA3E2-8F64-4F0E-B3D9-17202249FC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$2057F9BC-A392-4BF9-895D-AC285FB37644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8e001650c66b5020c519433f4a9dcc94218abb","datavalue":{"value":{"entity-type":"item","numeric-id":2264783,"id":"Q2264783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$C89E8384-E64E-40FE-AB1A-A88D8532BDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a633e84f28e974524d6f21199618016457237af","datavalue":{"value":{"entity-type":"item","numeric-id":4828516,"id":"Q4828516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$1D3BAB51-F561-4D4B-AA26-4D5D5CFEC21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$686D4E28-9BD5-4233-ABA0-9582AD448B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1543a6d9030474a2d21021a96f6fd782e1dd1a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1167537,"id":"Q1167537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$1D184E8A-4048-4FA4-A14D-598207D4C5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca78002dcebbe568a6f1d4cfe070a6f048fc91ff","datavalue":{"value":{"entity-type":"item","numeric-id":1014634,"id":"Q1014634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$7A89918B-F75D-49E7-AF32-010A1553CEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cabcc6c33339345a4333f2979adeb19662b919a","datavalue":{"value":{"entity-type":"item","numeric-id":3581436,"id":"Q3581436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$824622F9-CB72-4523-B3D1-F37E49A82D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050f2bb75af876c5568b8e15e6573169cdd6e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3621430,"id":"Q3621430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$FFD92C37-3172-4F81-AAEB-4BA8AB2C090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0e22a4f6dd115a6d4784e2d102e0c47d509393","datavalue":{"value":{"entity-type":"item","numeric-id":2755077,"id":"Q2755077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643956$AE6CCAF5-36EF-46BE-87EF-F9F10434441E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81fe8b0562e5efdd33ca613583fc569026daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":2826030,"id":"Q2826030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1405ce4f2798f438429e3e0b746d51b086fafd9","datavalue":{"value":{"amount":"+0.7889759540557861","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":"Q4643956$01DD1381-6404-47AD-AA02-F8EE6283A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1def95a605b55e968df6c8d25ca948ba34b5e86","datavalue":{"value":{"entity-type":"item","numeric-id":2915683,"id":"Q2915683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addae36aebff02d63999af124053111f1861eeb9","datavalue":{"value":{"amount":"+0.7833175659179688","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":"Q4643956$13418284-9573-4B98-98C2-7CF910A11DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e1f4074cb78357a2b911639a33060ae8050ef1","datavalue":{"value":{"entity-type":"item","numeric-id":5310636,"id":"Q5310636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a78d2db169b13abf53b0c2ef5aec9ef5778457","datavalue":{"value":{"amount":"+0.7729620337486267","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":"Q4643956$9B3E3006-2C4C-4DC6-8DA5-614312DC8EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbdbb434e400c9165a51f0263f75d8c87848cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5449838,"id":"Q5449838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5a221c64efcba7eda0fe61b93f92c6831eeb3c","datavalue":{"value":{"amount":"+0.7291519045829773","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":"Q4643956$8F96A4FD-0D71-4032-86C9-B9F2F7782955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78bb032d2b687d5064b18c864b978b0067834e1","datavalue":{"value":{"entity-type":"item","numeric-id":1936249,"id":"Q1936249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fd55c8c6d6b10b2fe15503e358af62f9f848c0","datavalue":{"value":{"amount":"+0.7226941585540771","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":"Q4643956$009F407F-E3AF-4AE9-939F-3EB7496394BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(n\\)-permutability and linear Datalog implies symmetric Datalog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(n%5C)-permutability_and_linear_Datalog_implies_symmetric_Datalog"}}}}}