{"entities":{"Q672711":{"pageid":674560,"ns":120,"title":"Item:Q672711","lastrevid":63463023,"modified":"2026-04-11T13:20:12Z","type":"item","id":"Q672711","labels":{"en":{"language":"en","value":"Embedding a demonic semilattice in a relation algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985148"}},"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":"Q672711$B9050FBB-E34E-4BFB-BEBF-9C66E1D95BD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df95201a28d644849806d2f8b7c63ecadff13c8","datavalue":{"value":{"text":"Embedding a demonic semilattice in a relation algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672711$8012C7BE-9ADD-4E63-A08C-04730A6AB2B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77bccd48769704af04269571ac4972704bf4d640","datavalue":{"value":"0874.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672711$7F860223-1D35-44FD-9EA7-D988E92E3773","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b53d6791a83015433f6f5f1dfc8e50f9bef0c55","datavalue":{"value":"10.1016/0304-3975(94)00271-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672711$C0465BEB-F9B1-4EB5-B2C1-AAC1D57A8FD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$C0114BB7-EC9A-44FE-B26D-EE21BA5908E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45baeb04e988c58b17ed005ae6071a4411398f0b","datavalue":{"value":{"entity-type":"item","numeric-id":672709,"id":"Q672709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$EA98161A-33A5-49C9-BA39-4C98A5A47276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9eb3b4f5425c372127cddaf06b50dd5c4fc1ead","datavalue":{"value":{"entity-type":"item","numeric-id":672710,"id":"Q672710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$BADCFF39-124E-4073-BBAA-2C9B0C8297E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0793c99cf078121302c1430d3a9062d19d5c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":258604,"id":"Q258604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$A5FAE4AD-F0BB-436D-B64F-37BCA7ADCBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93c6acd4909c410ceea7da0b859ffbf56f6f0b1","datavalue":{"value":{"entity-type":"item","numeric-id":192216,"id":"Q192216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$49E728ED-44A9-4F27-8F49-6C8E0C9D07B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$9CFEB991-4327-4B00-ABCB-9450C3B7A6C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672711$B7B1EA41-5602-49DB-B82A-A95213FEB0C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672711$3D291F79-E426-4045-B0A3-35E6A8C6575C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86b17fab0be47b7ce4f0c1d9ddca91667f9ed348","datavalue":{"value":"985148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672711$52DA00C3-C72B-4D57-B983-835FDE964DDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q672711$E51ADB9E-61BE-4A0B-82E5-E21845A07D8C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ed3b104e453c880251316c77514edff2f96f3c41","datavalue":{"value":"Q57526139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672711$0C1ADDB1-1129-4D2B-9D97-5A5E0FF7755A","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":"Q672711$65DFC557-53E6-4F0F-BF5B-F6F6F63075D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35ea5e5703bc4fc3d109aa2432fc865a417557b","datavalue":{"value":{"entity-type":"item","numeric-id":4286527,"id":"Q4286527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$F9127360-134D-4B8E-87E1-D1DE38B1221E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$91B14056-C48E-4562-A487-C97AF4120C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a034ac2723712a0707ef5d58960560ec3b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":4273429,"id":"Q4273429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$962A09C7-90B8-4BFF-A597-CDC5F7B2D9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cefc19e00878c2a1bfebb4d92dcd02aa2fd295","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$EF2B29A6-24F4-40E9-BAFC-75F5ABBD4CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$3E73E4C6-E986-450A-8218-5386C9AAA0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d888ce0f9e678e78fbe187beae84a0b88847a07","datavalue":{"value":{"entity-type":"item","numeric-id":1205187,"id":"Q1205187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$0A5C8F38-0C68-4C20-AEC7-31BA3176837F","rank":"normal"},{"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":"Q672711$310629C2-A521-4C30-B5A3-65F22069D926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$023FF265-3B7F-4297-9B63-61762994ECB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6eebf4442ae4ba30491baa7beade6e72d270c7","datavalue":{"value":{"entity-type":"item","numeric-id":672711,"id":"Q672711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$4CDE5210-19B0-42EF-8FAD-0DB72C837765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f3f47b6a014823c489a90281dbeea0bc5e7e9a","datavalue":{"value":{"entity-type":"item","numeric-id":2367540,"id":"Q2367540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$B8AB2E83-E3B0-4612-AE9C-A3479E1BFC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88eb99f5497b5c53bbb5a76049a5f5544d6d765","datavalue":{"value":{"entity-type":"item","numeric-id":1261494,"id":"Q1261494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$1F983725-D39B-4CB3-B9AB-EBF584835C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$99385CA0-6CF5-4F56-9E82-B1344A55D501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$97CDA2FE-CB3F-465E-89DA-1AA76E6960BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc6d24dc435bc9105aee6ad984aadca0086ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5775384,"id":"Q5775384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$5838C2A9-E4EE-4F1A-A1FD-5C9BC413DBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe2047aa98d9d4f4336d9b589863796fb6b1e3e","datavalue":{"value":{"entity-type":"item","numeric-id":1350502,"id":"Q1350502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$265BCF33-26C0-4FA5-94EE-3563E88E7138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36920e8c724339b912beb4f6693eae66fb7f57c9","datavalue":{"value":{"entity-type":"item","numeric-id":3763567,"id":"Q3763567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$81E26EB6-FC19-473E-9CB2-DCCBE4E14EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$F71882D1-2B57-49E7-B060-5B7EAF0B31F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645be4db2f9ae6c77efd2643c379d46b69eea6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1838028,"id":"Q1838028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$C03797CB-B580-452B-B9D7-E6CF4F07524C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d964a2ad0c16ee27066da712bce811b8a40c1860","datavalue":{"value":{"entity-type":"item","numeric-id":1077919,"id":"Q1077919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$ABF8CF31-894F-4ADC-BBCD-53D2F93D4388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270fb51e9be69449f9993da07791d3d3ce1f0567","datavalue":{"value":{"entity-type":"item","numeric-id":1190850,"id":"Q1190850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$B6B3C575-8A8D-41D8-A09F-7BF2A4377D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5784128ea999e1d5180c302a7a64ba9d6e03cde3","datavalue":{"value":{"entity-type":"item","numeric-id":3666245,"id":"Q3666245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$104CC876-A4FD-4934-99E3-0A3D3AC67D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f6f383700edf21859218982546ea1989069e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1168723,"id":"Q1168723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$27EA5CFE-3807-42C4-93B1-2A2AF61051B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bd2ee292f1ef9bb837fcb02787034e66618cee","datavalue":{"value":{"entity-type":"item","numeric-id":1063597,"id":"Q1063597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$177A1135-C82D-4DB8-B0E1-9F6E9E5C96BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b649b628290f2d9c7d2653d82bb0a3f82e6fa754","datavalue":{"value":{"entity-type":"item","numeric-id":4041054,"id":"Q4041054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$DAB69A41-ED4D-47B7-807E-30F5A2B1C958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d10dec64c03c0cc14ef8f4b4ad2bb6a4a6db645","datavalue":{"value":{"entity-type":"item","numeric-id":3703918,"id":"Q3703918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$D8212134-FC45-47B9-ADD2-09FD7D430EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672711$8EF6CFE4-E8E5-40D6-825B-07A72266B039","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3b86ed3543a7f9ad1fe2ba44eec75ee750af3726","datavalue":{"value":"journals/tcs/DesharnaisBSTJMZ95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672711$DC755A49-9C7B-4417-9124-1ADB26FE9A26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5e699799c57d1a4581c931d902b74e8d7efb95","datavalue":{"value":{"entity-type":"item","numeric-id":672320,"id":"Q672320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290e65806063750a88059e984cc996110ed07def","datavalue":{"value":{"amount":"+0.7623990774154663","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":"Q672711$C91F8FA5-B1D0-4C62-A78F-ED698FB1F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05cbb7766e39508690157d7936c3ce61daa7e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2663185,"id":"Q2663185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7659a2ab45db61e4b399beda14a91ac27356871","datavalue":{"value":{"amount":"+0.7580587267875671","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":"Q672711$EDF6F977-823A-49FC-A366-2B5645CBC6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819214126c1c94e9b067a06e7484d2b50529a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":4362886,"id":"Q4362886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cc4eb34838971cb1b621f544ce2826162c5ba3","datavalue":{"value":{"amount":"+0.7528213262557983","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":"Q672711$F1CD18C3-9623-4F61-9331-45871F001D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e958bbd209db71d5a72270e24ceeceaeab6634e0","datavalue":{"value":{"entity-type":"item","numeric-id":604454,"id":"Q604454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f479deef3a81d64bc6bdfed3741e4fd99766a9","datavalue":{"value":{"amount":"+0.7515738010406494","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":"Q672711$E1542CB4-F442-47BF-BDC3-A6DD494D68D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding a demonic semilattice in a relation algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_a_demonic_semilattice_in_a_relation_algebra"}}}}}