{"entities":{"Q6909832":{"pageid":20960881,"ns":120,"title":"Item:Q6909832","lastrevid":84162197,"modified":"2026-05-12T18:45:46Z","type":"item","id":"Q6909832","labels":{"en":{"language":"en","value":"Computing most general unifiers in Euclidean modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111878"}},"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":"Q6909832$EC536FDB-6F2B-45D9-8F3C-3EB92FBB506C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4565e705bf14551aec249557878d761f9ffd8e12","datavalue":{"value":{"text":"Computing most general unifiers in Euclidean modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909832$13D21DDB-6980-47BC-B846-65D812516E9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2adaf85453c908e96d83bd62154b006f24720206","datavalue":{"value":"10.1093/LOGCOM/EXAE084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909832$086DF4A0-E531-4307-A9DE-157017144991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e3d7588d1091de47c6f2258bafe95ac473a9cc","datavalue":{"value":{"entity-type":"item","numeric-id":5884939,"id":"Q5884939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$86BF4422-0D70-4CA2-9572-6745782416A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$03C66973-D9F3-481E-8AB2-4B88BC2445F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909832$4737C083-F483-4909-AAB3-6602722F3303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909832$C9B8B50B-32B0-4601-9B12-CBB820CF9980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909832$261C533D-D3F8-43EA-8441-BA4052F3BD54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebdd72c8c0aeccca4f05420b1f2005982a0af182","datavalue":{"value":"8111878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909832$0ED3E8C6-C3DC-4037-9690-97DC44C4DD7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909832$FFDC541F-A31B-49BA-9B5A-BD5CA3F35E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909832$44D221F7-214C-48F9-AAF3-7A6918057B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6172b8f185d7fa3f14d245718129cd7d4b32291","datavalue":{"value":"Euclidean relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909832$F41ABA34-117F-418F-8A03-71B3C4F3CE18","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":"Q6909832$31D677A8-386B-4B23-8F50-F4A0CFC130A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7244c7187be9344c2ded0d2058d38333b17b95ca","datavalue":{"value":{"entity-type":"item","numeric-id":6111080,"id":"Q6111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$963A4A81-01E7-4BC6-AD6C-33E4A24E9EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504179d3369bad63812171f461960968b16504e1","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$CB84E1E0-62B3-4FFD-BB30-D76A53F3572D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18dcf9d6b1d55c880f5ea8b33415cd43a13681b8","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$59C98ACC-DD0E-4F00-A1F7-A8325303EA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd176d25f331d8087c36ccd8041840598bbd6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4586229,"id":"Q4586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$B526BDD0-0733-448A-8765-872149658B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852686091527b70cb220bdb960318171bf24e20d","datavalue":{"value":{"entity-type":"item","numeric-id":831218,"id":"Q831218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$17BAC43F-C5FB-4ED8-B2C8-8D270385FBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d7013995a324accc69733b958009bcf014e41c","datavalue":{"value":{"entity-type":"item","numeric-id":5884940,"id":"Q5884940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$7A8E5146-8E13-459D-ABD9-31CA03FE78A2","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":"Q6909832$CB03BBA0-8151-4A8A-86D6-2C9383AF96F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$87595330-074F-40C5-9499-3FFA01E626F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$844A0C7A-6DA6-4F38-8F76-25C1F17F87FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$76875861-4B52-4EA6-9681-7AF30A334B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$242D641B-1B5B-424A-8D44-0163DDC1055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$FEE7B47A-6B58-4E8B-8617-6DE1092EE7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91dd72da9b1cabb581c68cfd54aeac6803a5c3a1","datavalue":{"value":{"entity-type":"item","numeric-id":598304,"id":"Q598304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$348E5602-0488-4077-9EB9-E7047031F127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a482d3b0a6a8341248ed0be90289e0fe7d2fa86","datavalue":{"value":{"entity-type":"item","numeric-id":5311759,"id":"Q5311759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$C0965680-3EE2-48B1-9E76-C84A5AB223B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e16a423e563e95a4bc0e8877a6e07157d2b960a","datavalue":{"value":{"entity-type":"item","numeric-id":5427258,"id":"Q5427258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$53B0EC02-CEA0-44A2-8F6F-8CEA2E06DA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835839abec3b89ea646849f876230851342c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3450207,"id":"Q3450207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$0F012111-3CC1-4BA5-A5D3-9BFEE28231A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f090acc79b59450177e113d368d04b7f7562238","datavalue":{"value":{"entity-type":"item","numeric-id":5095652,"id":"Q5095652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$1A631EA3-77CD-49C0-89CE-4AC934B0D257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$C5590122-0BAF-4DED-B444-4CE706B89AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f140a7581674d465232e25c6f49907ec7a79cc","datavalue":{"value":{"entity-type":"item","numeric-id":5690146,"id":"Q5690146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909832$2501F742-A695-4091-AEB0-A0976C41F1A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing most general unifiers in Euclidean modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_most_general_unifiers_in_Euclidean_modal_logics"}}}}}