{"entities":{"Q1887164":{"pageid":1897906,"ns":120,"title":"Item:Q1887164","lastrevid":69552132,"modified":"2026-04-13T07:47:14Z","type":"item","id":"Q1887164","labels":{"en":{"language":"en","value":"Generalization of ZYT-linearizability for bilinear datalog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118426"}},"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":"Q1887164$7DFBD73E-64A5-4D4C-82B9-665F0AF7C454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3836b9c38162040ab342482a301bdb90f5cf26b","datavalue":{"value":{"text":"Generalization of ZYT-linearizability for bilinear datalog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887164$7CCD7431-7BC6-49BE-888C-2A64A0D7E445","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7220168ad5ee700a3e694709067f84722d8ef2c","datavalue":{"value":"1078.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887164$78A0CE69-76EB-455F-A5AA-F5997850E2E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7a8e08774d7a72b719ff96001b559de55006458","datavalue":{"value":"10.1016/S0890-5401(03)00172-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887164$5C2304D0-FF82-4E28-AC3B-42316BB01C2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3a13da54b4be57df490cc4999afef19c096424","datavalue":{"value":{"entity-type":"item","numeric-id":1887162,"id":"Q1887162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$69D7E454-8954-417D-9B48-72F7171EDBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a0218a8a4307a4ee9f17fc8fee1718587cc02a","datavalue":{"value":{"entity-type":"item","numeric-id":1887163,"id":"Q1887163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$D02C7529-337F-43D4-9089-CB7F74B9A79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a922c6ce500ac6424303f2f1161f3824795c88","datavalue":{"value":{"entity-type":"item","numeric-id":205287,"id":"Q205287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$420DBAF0-643B-46AF-86F9-0EF32EF0A259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d381581467c8571fc410ec08f5cd1962efbb53a7","datavalue":{"value":{"entity-type":"item","numeric-id":1199541,"id":"Q1199541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$C869C539-0F6C-40EB-89B8-7770789D0FD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$2293183B-A357-425A-8629-BA93A129C6BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887164$1F520EB4-FC6B-4361-B916-9740491F302B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887164$22E30C35-1639-4390-B0AD-0B219E567900","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dee08c87b797d31b68b6c00f88258433540659f","datavalue":{"value":"2118426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887164$C799DF17-2B5D-482F-9737-96CE703E4AC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec553300dbf8615408f16ab2fcdf33df3471e59e","datavalue":{"value":"Deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887164$EC13CAD8-99A9-46D4-AA4E-44ABB9E45416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66e2b04c20dd8604424317ed54fc5de69e54d6d","datavalue":{"value":"Datalog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887164$AC381974-3ADE-41A1-9214-7F760A29EC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247b2ad63cda0621cae55bf55fcca41a8f0fc8bb","datavalue":{"value":"Bilinear rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887164$57B4847C-92F9-4EF8-B5FA-7E55899A86FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a840071d84bbd238ea61af3b16479c910571c2a4","datavalue":{"value":"Linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887164$DDE348BD-9EAC-41CD-B5CD-065D69BDF380","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":"Q1887164$944DDA29-58A0-4205-A389-6F5A2551F5C8","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":"Q1887164$682DE4B9-6207-47B1-B314-502F369C2855","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dcd080a9dd31dfb3d96758722594dbe62cd1048","datavalue":{"value":{"entity-type":"item","numeric-id":3140022,"id":"Q3140022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$3D5AB056-4A05-4850-8323-17208B54298B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$9351E8EF-CC50-4D03-84AF-942E2DB46A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf84253410619c91a7e97dce352d7670d28fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":673140,"id":"Q673140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$0C80AA47-5AE7-4A34-B83A-152A0EF63B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96aeb6a37d3c979e16b1e0ce3c73795e14b7cf6f","datavalue":{"value":{"entity-type":"item","numeric-id":686647,"id":"Q686647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$BB8CFFE4-DC2D-4C6B-9F0E-960A255B821A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c2acecd84117ef0a97458c75118a92d7d5c0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1900919,"id":"Q1900919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887164$18EF63FE-1EE1-47E3-A015-674A76413D07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0df742b0788a9dca3066ddbb2b1947911762396","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00172-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887164$7BCD840D-56A9-455A-B9F2-FA44F8F25453","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61540eca51332931c353ec986c8eff4ed46a02e6","datavalue":{"value":"W2009809429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887164$B19DBB20-F35C-4AB8-B113-54306600E956","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8b70a241867ae7423389371854707efc05bb89","datavalue":{"value":{"entity-type":"item","numeric-id":1884881,"id":"Q1884881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec0295e8e1b50e09e158f96b6a73d21634d7cb7","datavalue":{"value":{"amount":"+0.7868287563323975","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":"Q1887164$77CE03E4-FAF2-470A-B7CC-0A7787E0D425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bd497c6c5f9414681196eede8a77fb5f7ddf1f","datavalue":{"value":{"entity-type":"item","numeric-id":4035347,"id":"Q4035347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0465ee9faf0f4a644de811865dfdc56c0a0de3dd","datavalue":{"value":{"amount":"+0.7608822584152222","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":"Q1887164$74CBA3B6-51AB-4859-B9A3-B1F1EEC7E659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e20506ad864bd1e9d18b9c00716f526c3c75416","datavalue":{"value":{"entity-type":"item","numeric-id":854685,"id":"Q854685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c78e4844a8d8078220f9a0042f60c2de0df496d","datavalue":{"value":{"amount":"+0.7608820796012878","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":"Q1887164$DA1CD231-698F-4356-BBC2-89301055E995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016672153ebe26a927dc46ae8ea11c2d67d798ce","datavalue":{"value":{"entity-type":"item","numeric-id":3125088,"id":"Q3125088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ea3f3b9cc7523ebd0c005b8ba43deb99e88b8c","datavalue":{"value":{"amount":"+0.7095898389816284","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":"Q1887164$BB52624B-D37D-4882-AE60-A4BF66BA92EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1866c1ee7cda308ef5648b1b42d95b2f0860b2d5","datavalue":{"value":{"entity-type":"item","numeric-id":4305302,"id":"Q4305302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dacb4815154a313e455e95be236f7e3c96f0e4c","datavalue":{"value":{"amount":"+0.7095675468444824","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":"Q1887164$DE04F523-57C7-4E7C-8E9D-160C2F1010F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalization of ZYT-linearizability for bilinear datalog programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalization_of_ZYT-linearizability_for_bilinear_datalog_programs"}}}}}