{"entities":{"Q5877709":{"pageid":7907260,"ns":120,"title":"Item:Q5877709","lastrevid":47813323,"modified":"2026-01-02T18:36:26Z","type":"item","id":"Q5877709","labels":{"en":{"language":"en","value":"Remarks about the unification types of some locally tabular normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7653985"}},"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":"Q5877709$10C52D7F-6799-4881-BC31-1325710577B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123e7d14de3b90a79995f4b6076c2a8f473129e8","datavalue":{"value":{"text":"Remarks about the unification types of some locally tabular normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5877709$4B6EABB1-E753-42ED-B998-820DA7C60FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5877709$59C78018-2ACD-49A3-AAAA-47AC4E21882A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf7abcc912caa8b9054fccd0320e564c2a8225","datavalue":{"value":{"entity-type":"item","numeric-id":831217,"id":"Q831217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5877709$9C7A2383-8132-4E8A-AD14-06A7E082A0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a14f8e9640a8cab68c11a332a7ffaade654aefb","datavalue":{"value":{"entity-type":"item","numeric-id":831924,"id":"Q831924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5877709$2818C29A-0474-4CA7-BD91-4570BDD6ED27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2491a851057e6ca7600156e437800ff9f139cabd","datavalue":{"value":{"entity-type":"item","numeric-id":604450,"id":"Q604450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5877709$1732FC63-474D-424E-B79D-F2FC6150B8EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5877709$433ECD72-54B0-4D03-81F3-D6558B45EB09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396d6589ca4ee5b017db072a4b7a874460ed3465","datavalue":{"value":{"time":"+2023-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5877709$B5F25F93-A17B-4708-A51F-73B24A4C699A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877709$FC23AC48-B708-42E3-88A8-20BE5CA14094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877709$558F7BEB-F76D-4044-8E08-DD22505EB493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"699c6250e9a8314dd2049c49b60c5bd1a21bf495","datavalue":{"value":"7653985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877709$EC35F524-CD5D-47CB-81EC-2559E7C94143","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64dab8e8a3fcd8d62e3be45e46cf41d9163dc96c","datavalue":{"value":"normal modal logics \\(\\mathbf{K}+\\square^d\\bot\\) and \\(\\mathbf{Alt}_1+\\square^d\\bot\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5877709$ABCAF26F-C305-4A96-B367-1EBC89A33B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac75a8b46e8609473e17b9fef8010688dfdfbd5b","datavalue":{"value":"unification types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5877709$6DCB74ED-4956-45DA-BB7B-9DB17451BCE9","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":"Q5877709$882229F2-450F-43BF-8E65-E1B301A91D6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"598225d58daab9c66f1699e922951069bf990fc9","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzab033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5877709$48160DF4-A410-47ED-8119-B8CC49EDB538","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8774a8f848f2a4a7d015cc4568a80010e278904","datavalue":{"value":"W4205855313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877709$8ACC5BD8-BD09-4CBE-A406-7170B25EA917","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b521ddc2e400233643611076999391beb5a9219e","datavalue":{"value":"10.1093/JIGPAL/JZAB033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877709$F64D6583-CBE9-4937-9449-E16A87FF9875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1162c0814a5ca6a63bcda9a442e00d3fdcfbc7","datavalue":{"value":{"entity-type":"item","numeric-id":6111080,"id":"Q6111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6153678626302f74b9bf21910b3ff43c51f45e17","datavalue":{"value":{"amount":"+0.8567978143692017","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":"Q5877709$DAC1445A-7058-48B0-B403-B62270B5549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e992cf52944b77527537693d7b8034012e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540fdddf29ea7412ef66b5db1bd097132e42b098","datavalue":{"value":{"amount":"+0.8465985059738159","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":"Q5877709$07287B28-A212-4376-A638-66254C06B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecb7a899b96ef21da6a9e0403eb54bf8af5f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5039110,"id":"Q5039110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdda8a369daedfd752f401f1a525f9ea61cd1aaf","datavalue":{"value":{"amount":"+0.8397621512413025","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":"Q5877709$47908AA2-596D-4951-9D1F-5C31B615D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880a03d28b6db1b8c450a090cb888b9807051ee9","datavalue":{"value":{"entity-type":"item","numeric-id":831218,"id":"Q831218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db90ec0f4505890f6663e1ba2371e3ab7a64fd5d","datavalue":{"value":{"amount":"+0.8313537836074829","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":"Q5877709$72AC8C7C-F8F9-49BE-9F07-D16AF85F2B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe64c7d28921d914a138df8135fcc3a1b3e2f145","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb36e1f83e05c59f794b89276d692f9fb4b6036","datavalue":{"value":{"amount":"+0.8216804265975952","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":"Q5877709$E405F5D2-F0B2-4C47-A60A-68CE148D2F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5877709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5877709"}}}}}