{"entities":{"Q3061276":{"pageid":3071992,"ns":120,"title":"Item:Q3061276","lastrevid":51146948,"modified":"2026-01-16T22:31:38Z","type":"item","id":"Q3061276","labels":{"en":{"language":"en","value":"Logics of Kripke meta-models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5826753"}},"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":"Q3061276$8D8519E8-83A9-4B78-B859-DBD9B58316DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14be89543fe6525de2b1496ef414f7e0ac85d080","datavalue":{"value":{"text":"Logics of Kripke meta-models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3061276$5C98BCA6-E043-463F-993D-8BDDF0669F0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c45457d483255e2a54b1e4e42e534a4f5e01ac03","datavalue":{"value":"1216.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061276$BDC05FEE-9C76-464B-8068-07D12D2D4FEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62987eb0f13b464daa8403f58fb0761452f94a63","datavalue":{"value":{"entity-type":"item","numeric-id":301371,"id":"Q301371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061276$D0C361B4-0552-45D8-BFB6-9B5084671601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061276$E131929D-6213-4878-AE64-60E29A398947","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c7b9f0403915176fcd67af3fc6912389edbd89","datavalue":{"value":{"time":"+2010-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3061276$7BF4CB3A-6C40-4603-B74F-8378CBA41E16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20c5948ad1a13ff93f13ce7633f9b65200a63811","datavalue":{"value":"https://semanticscholar.org/paper/a633b25b44091a827e21f1c7eaab77f44ecfd429","type":"string"},"datatype":"url"},"type":"statement","id":"Q3061276$584E15BC-85C0-46CD-993C-23B6409DB103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061276$B61BCECD-D81D-4701-BC33-B4ADE068216C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061276$274FFA58-12B3-4DDA-9011-330287D3A9AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2aa6e20edc4ae74e6d2d61546c838aec65e04c8a","datavalue":{"value":"5826753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061276$46D4668B-2E04-49E5-9649-68C2697638F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a6d41cfe44fa2b88623d46b9409f9039212634","datavalue":{"value":"fibred logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$E29E3A5F-7B50-4147-BE5A-0DD3842E86F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5448aec3a6cd070e7e192935265c701de35c205","datavalue":{"value":"multi-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$652FE490-143F-4ECD-96F9-B94CE2F0474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$523645F4-2F76-41EC-A07C-CC9DE59835B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$EAD5BB19-7656-4984-90DC-AAFA063E783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$933E5C3F-274F-4438-9CAF-C29303C1D6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f4065db1e9c139f652d52ad3b079b4b8184449","datavalue":{"value":"refinement of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$E3955163-944C-4E22-A065-1077309B53D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56da080afa36540844e42686b55e85b3a2170bd","datavalue":{"value":"effective finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$E55BAC4E-7B47-4677-8BE6-BE7093A21776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061276$A4B40869-6509-42FA-BC56-D3A6FF8DA38B","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":"Q3061276$DDF72705-A2EF-4A9D-971F-3B177AD8C1B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fd19347eba81f1af5a1329c14cfc10ee2cb3e1c","datavalue":{"value":"W2169388232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061276$8FEB3865-B24B-415C-BD07-0FDF359AE645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bed94187a1655f54b32e97745dad5ecc45205608","datavalue":{"value":"10.1093/JIGPAL/JZP047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061276$F83B7527-4F17-49C1-BBB2-64531BAE28AB","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":"Q3061276$50A51E3C-BBE3-4C11-85F5-0AC2A33EF7D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e456e3d336924c568fa2b0fad86960a900024246","datavalue":{"value":{"entity-type":"item","numeric-id":5419886,"id":"Q5419886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3483a8e2bceda3c980de8a6668bc2a290b2a91e4","datavalue":{"value":{"amount":"+0.7628516554832458","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":"Q3061276$31FC0DCE-D7FA-440D-9923-1D34A23E3FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2db99221d628dc712be5ab5e39eb6cc2992b324","datavalue":{"value":{"amount":"+0.7530116438865662","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":"Q3061276$8EAB9DD9-274C-4816-983B-D14CDFE9B222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c49676e4da1db8026b6d6b6a03e3612dc39eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5505597,"id":"Q5505597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5eb5335381388256804e5fb392049a8e1cb507b","datavalue":{"value":{"amount":"+0.7389609813690186","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":"Q3061276$B11482C8-C359-4524-92F0-6B9A70152BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1519f4043748fba84530f4d06621c91709b0c597","datavalue":{"value":{"entity-type":"item","numeric-id":2825410,"id":"Q2825410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5796de4ad7c60ca09169576ebc3936584dd0b9f","datavalue":{"value":{"amount":"+0.7378544807434082","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":"Q3061276$EF55B0D0-6A24-4703-8077-1390D4F411D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbcdd6b40b1d749df4af80507a06151b95b95fe9","datavalue":{"value":{"entity-type":"item","numeric-id":5224586,"id":"Q5224586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f8c9d4f9f80cf3ac40ff2b43874a3733941e1f","datavalue":{"value":{"amount":"+0.737426221370697","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":"Q3061276$F9B80A3E-58D2-4463-B823-B2750734B683","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3061276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3061276"}}}}}