{"entities":{"Q2021557":{"pageid":2032299,"ns":120,"title":"Item:Q2021557","lastrevid":55384315,"modified":"2026-02-17T15:15:35Z","type":"item","id":"Q2021557","labels":{"en":{"language":"en","value":"Semi De Morgan logic properly displayed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7339949"}},"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":"Q2021557$290AF10B-E372-4686-A611-E5B51AC3DE74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f35bb60472bc5d4aa6817fd682cfe607be8f0c5","datavalue":{"value":{"text":"Semi De Morgan logic properly displayed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2021557$300BADDA-0E3A-4148-97EC-9BA3AD6C3E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$E45DB9B5-9560-41AF-B318-82477C06F8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b6fc34b42aba8dc9e0ead5f7489f9f4a9f20150","datavalue":{"value":{"entity-type":"item","numeric-id":308531,"id":"Q308531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$43630595-99B7-4A82-A0BF-EEDDD43B17FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d521e2c17b305a792cdffdc2fc62dc25d523a52","datavalue":{"value":{"entity-type":"item","numeric-id":299204,"id":"Q299204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$53E523A2-C195-41D8-9B68-8C8B4B76D6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$180EEB99-D69D-4C3E-9807-4D3C1D3215A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$F84265C6-921B-41E6-8993-884F3962DDDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2021557$AEA0DFCB-16CB-4025-8E90-4F12AAFB43F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5201da985e0e9ada017034ec272510f0177a999c","datavalue":{"value":"https://arxiv.org/abs/1809.07933","type":"string"},"datatype":"url"},"type":"statement","id":"Q2021557$3E05F49E-E3B1-4C3F-BC3B-1D97A4516668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021557$A0A293B4-5034-40CC-86E8-CB579537FC5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bc344b25ee6422b53aa8de8f7172f0f98890fcf","datavalue":{"value":"7339949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021557$D797892F-66B8-48FC-90D0-A1CA5029D431","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0724bc13bb8511db5b819dcad9bc665dfbbc0105","datavalue":{"value":"semi De Morgan algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021557$D77E0836-8025-4331-8FE9-FBC07A251AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591fb9bbae239b0a1425257e315679d2af8fdb63","datavalue":{"value":"proper display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021557$73A631CE-EF9B-4AD8-BC01-6816C18CA4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1802ee868882757fc57e3f207403531f797f05","datavalue":{"value":"multi-type methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021557$13C178C6-2778-434C-B329-8BC198BC037E","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":"Q2021557$EEE8F57E-CDF1-41D7-AC48-EAA718659335","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25b6704582581376dedc4c2e5cd9807f58eb4c03","datavalue":{"value":"W3006778584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021557$C6221513-8155-4D8A-9EA3-A154A7223B96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$6A13EBA7-9F42-4B6D-A872-AAACD98D3791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7784a52bfcdc2f054f1776a37101a66943d840dc","datavalue":{"value":{"entity-type":"item","numeric-id":4577999,"id":"Q4577999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$3AB0497D-6206-477D-8282-499F6CCDF2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$6E5219F6-EC0E-4295-91F8-087F88A60D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca344dfd63e659e63dba4373d9af919dcdc4650","datavalue":{"value":{"entity-type":"item","numeric-id":4243912,"id":"Q4243912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$2137A6EC-B1B8-419E-9644-8764310B39D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498cc2f89a6ce6bbbb0d91ee91d099848c6bc431","datavalue":{"value":{"entity-type":"item","numeric-id":3558608,"id":"Q3558608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$54EE035F-94A6-4C8B-96AC-ABC55DF72ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d184c33e91a939db9d67a3e7e163e2ce425a6e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2303583,"id":"Q2303583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$0F88F894-5B2A-4666-8099-3DF2F6F9981E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe4354ac9f821569a16526e607a6aaf5b34b0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5277918,"id":"Q5277918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$F1BD1226-7F3C-46DD-A8AF-A3D0E448C16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bcd3c2d1841454b2489acc1f46dec6b8812b7","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$F52D862E-56A9-40B6-9880-0D996ACC02CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333634f7d3d497391f33267f2c14b79085a57c13","datavalue":{"value":{"entity-type":"item","numeric-id":2957976,"id":"Q2957976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$339A0F65-CD27-4A4A-8891-8869A71A23EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fc848641fe3fbc4a43830028219e7078030a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2957975,"id":"Q2957975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$79D9A7B9-BC0C-48BE-93BF-5F98DD7CEF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e767f7a04b6de440fb1313e6534f8215abc3da","datavalue":{"value":{"entity-type":"item","numeric-id":2820696,"id":"Q2820696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$BB9EFF89-3AA6-4028-B869-1970EEC4E9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$7733210C-CA6F-438A-8798-938C24095C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661e9e11d81604d77dc034ed0b1fd2bff649b0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2704574,"id":"Q2704574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$CEEBBA04-2A5F-40BB-88D7-BF22659AC004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$F3619621-EB6E-41BF-9EAA-18865ECAC615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$255A1178-BAFE-426C-A1FF-0A28C6449005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1291533788bfc6c9c22a4d787870854fe9c4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2284185,"id":"Q2284185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$1C52CECE-8C77-4298-A157-2E2A31476C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3f01db527b04a1680e49eae8009d8c1260cd65","datavalue":{"value":{"entity-type":"item","numeric-id":2859101,"id":"Q2859101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$58CA2CEA-C3C1-41F6-AA49-DFCF52B3E42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2863d8099216af2069706e2b70fff6627c6bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2333670,"id":"Q2333670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$D44437E9-242B-48CB-9CB1-8A1F934B32D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2246f3533ecb80694da1a567254a5f2d40e19ae7","datavalue":{"value":{"entity-type":"item","numeric-id":1685926,"id":"Q1685926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$867BE609-11A4-49D9-8DF8-8E5C31BE642D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6414a0e277752fa4e69101ae33a1dc2ae38f315","datavalue":{"value":{"entity-type":"item","numeric-id":2328914,"id":"Q2328914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$88BF4007-4FC0-42A0-A271-54501D174A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e449f792aaa55f2b2ac29dac2a7211be77e4088d","datavalue":{"value":{"entity-type":"item","numeric-id":4612445,"id":"Q4612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$7A6B0A71-2F30-45C7-A7A0-D5F99125C5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4fd1d8d83dab5a9bcb5634b96eb32e6e888556","datavalue":{"value":{"entity-type":"item","numeric-id":1685923,"id":"Q1685923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$7D0C423B-E9FE-4443-A9CC-99815CE33604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4504e47337249b5e04c7117b5454436e469af096","datavalue":{"value":{"entity-type":"item","numeric-id":1914064,"id":"Q1914064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$7C7349EC-B2E9-44CF-BD3A-4F629F8F29B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$062DD7E3-AB8C-4E8E-BFBE-78AD4EEF6966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67f53892cc9b174bc995317a44ae1b2de7bbc08","datavalue":{"value":{"entity-type":"item","numeric-id":1653653,"id":"Q1653653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$757AED9F-5D86-4011-89BA-BBFAA9E531CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5751f673c32fc7a0c8159648460d23a179b535","datavalue":{"value":{"entity-type":"item","numeric-id":2983398,"id":"Q2983398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$25CC6892-131C-4374-B4C8-BE8D4368E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd15f576a6b667c17000d5aa21a8cf9bbb1edba","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$CD3C4449-4049-4D12-B93E-7A52F2535E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021557$6947CCCE-7E17-45FE-84F8-E9246C78DC3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8b12ad87430399b2bed1b29ba4c3333ef8b62e0","datavalue":{"value":"10.1007/S11225-020-09898-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021557$EF3E6985-5F1A-4B99-99F6-4F12F521C55A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c524551ae58bc13ff4034d75fb6894586e5df482","datavalue":{"value":{"entity-type":"item","numeric-id":1685926,"id":"Q1685926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1295a23135a7baf2b8aadabfbef7bcb83f83b30","datavalue":{"value":{"amount":"+0.945781111717224","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":"Q2021557$1E6DC23C-82EE-4E49-A67E-8CFFED7F4A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7374210e7325692c647c03b1b4cb7579a909c4","datavalue":{"value":{"entity-type":"item","numeric-id":2328914,"id":"Q2328914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497178afd596da3e05b49aaf5b39db2300187cad","datavalue":{"value":{"amount":"+0.7792341113090515","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":"Q2021557$740BFBA7-8760-4166-83F4-74EAF300DC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94110389ef8eb4517eb88d8e038d89e05d8c165f","datavalue":{"value":{"entity-type":"item","numeric-id":2333670,"id":"Q2333670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19e57a8307c2516161e561337c288e1581099b1","datavalue":{"value":{"amount":"+0.779160737991333","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":"Q2021557$F6CE1766-79D9-4551-90C2-0E8AADFFEF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c1c09c77bf72b58d2d54296f7f5040ca511390","datavalue":{"value":{"entity-type":"item","numeric-id":1685923,"id":"Q1685923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3272d7d0c2e085185ce075bcff0665a4482482d1","datavalue":{"value":{"amount":"+0.778315007686615","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":"Q2021557$8D6A8583-FAA4-4284-B2E2-ED8098D7CBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7191718a583d432c758ae9e4369070e59c88a7","datavalue":{"value":{"entity-type":"item","numeric-id":2303583,"id":"Q2303583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6cbc6c8fea2b3bd6672e1139ce6973ddcd51b7","datavalue":{"value":{"amount":"+0.7689694762229919","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":"Q2021557$F505EDD6-6E1E-4728-BEB3-84B724F692FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2021557","badges":[]}}}}}