{"entities":{"Q3542104":{"pageid":5572008,"ns":120,"title":"Item:Q3542104","lastrevid":58198374,"modified":"2026-04-04T05:04:33Z","type":"item","id":"Q3542104","labels":{"en":{"language":"en","value":"An algebraic generalization of Kripke structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374894"}},"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":"Q3542104$0DC21C9E-B4BD-4A9F-8A4A-66B8D53C15F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68776bd6fabc1258be22e0f6323db73186a27c6a","datavalue":{"value":{"text":"An algebraic generalization of Kripke structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3542104$EC5E2372-3CA6-4191-8420-DD7444707670","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13b80c465a7b6a9c6295ef068b12a30325a3360a","datavalue":{"value":"1154.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$7301909C-B3E0-4F01-9B89-78CEE7C383BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3999cbe5f6ca4ed8c0a2cdc6a7ec76df6a505c0f","datavalue":{"value":"10.1017/S0305004108001667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$8F833673-26F3-4912-8603-B40122AE2E70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e113ce386cac873d0ff11625736ab0f6b4a20e5","datavalue":{"value":{"entity-type":"item","numeric-id":1682297,"id":"Q1682297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$F558B76B-A368-43E6-9E77-6B2EAED3C96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e218cc716c0ea95cac5bc203e535266b316ed8d5","datavalue":{"value":{"entity-type":"item","numeric-id":284645,"id":"Q284645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$6796DA96-96C1-4FC4-9454-5426FE551B03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$ACA4DEA4-BA1F-46C4-B232-703C4C92DD9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b557b3028b9a204bb45f5553633b5e6aff1adf6","datavalue":{"value":{"time":"+2008-11-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":"Q3542104$2D7FC439-362A-4442-9CC9-0D5BC5DC87C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6195f6b39977adfbd18cc52818467706cc2059b","datavalue":{"value":"https://arxiv.org/abs/0704.1886","type":"string"},"datatype":"url"},"type":"statement","id":"Q3542104$7FAE2D07-FF98-4712-8664-5267AE0309FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$9ADF4C76-769B-4927-9A7D-146F23BD5563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$D7C16213-8D55-46E4-A2FF-DAA968AC0C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$727D922A-BBF1-4B37-960E-4AEFE24D3845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$9BBAD836-D74B-4AE2-9AD6-F02D1A8F0F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$1C32EBFE-5488-4BE7-90D0-139993B72E3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb7c776634e52e18f2561e8737412c2a124df664","datavalue":{"value":"5374894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$4D092934-4960-4418-91AD-5241CF3DCA53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542104$D998A55E-CBD4-43C5-970B-ACD4CCA6853F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542104$9BF1BA73-3D08-44A0-8922-2DCC8517D478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542104$FA27E773-4B1B-4751-92EF-8A3A95ABBB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6739df4a8065e883e16e5d6b4579595df1364f","datavalue":{"value":"quantale-based semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542104$0144AB66-1198-44AE-B8BB-15C631233106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542104$6265CC55-22A1-49FE-B8D3-757984B41EC9","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":"Q3542104$4B2E862E-D6BD-462E-85F7-91ABDE3181AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$7D8E7F82-B850-4733-9BAC-511C3320F83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$8AB8587D-7BE0-4A4A-87E4-4B0F43CA958A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$2EDDA3DC-97DB-4803-BA80-C2346385F057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978a1b973ed9ae5aedb9ef987ee0e2dfae1847d1","datavalue":{"value":{"entity-type":"item","numeric-id":2575470,"id":"Q2575470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$512B55FB-F513-442A-B12A-C45AF746F19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da5443953aa9d96b887c813d296c866279c5a39","datavalue":{"value":{"entity-type":"item","numeric-id":1612161,"id":"Q1612161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$9B02921A-AD31-4C6D-8909-64A33D2A8A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9375b7c15078a0ea5e4a6b7e1cd22b9f40e3af79","datavalue":{"value":{"entity-type":"item","numeric-id":854099,"id":"Q854099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542104$ECC69310-D46E-4CA7-8EB3-F37AF40F9849","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec38c57f1e568ae115f19c39b99956d03f0b027d","datavalue":{"value":"W3098602556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542104$0AA6ECB8-0BD4-473A-B7E7-F47BC864E6D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fc59a700b860ce63f83abb2eddbf4c1a3f70db","datavalue":{"value":{"entity-type":"item","numeric-id":3781735,"id":"Q3781735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f61e015bffceafcd4bb5437a8afe02a55e8a8e","datavalue":{"value":{"amount":"+0.7887541651725769","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":"Q3542104$E41DCB2F-A6CA-4FFC-BEF5-5A6F6D4D738C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be308e199e98252502c22dfc076e713138ebd1e","datavalue":{"value":{"entity-type":"item","numeric-id":3798638,"id":"Q3798638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdc879f89f1b9d2b9b0feff36c6a38f15986cd1","datavalue":{"value":{"amount":"+0.7816370129585266","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":"Q3542104$3B89ED4D-7A64-46F2-B827-5BE7BB88AC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f838ffeb787ab78c62a7b621c1a8b3dbf110458","datavalue":{"value":{"entity-type":"item","numeric-id":4854864,"id":"Q4854864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aa7eaf89c0800bb9b889848edb24d3cb6cff04","datavalue":{"value":{"amount":"+0.7796671390533447","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":"Q3542104$EC03C8E4-3C04-4A57-8D27-FF901F98BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e70573b32bc2e1bcdc519f53a69a26d42ee15","datavalue":{"value":{"entity-type":"item","numeric-id":685423,"id":"Q685423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aa7eaf89c0800bb9b889848edb24d3cb6cff04","datavalue":{"value":{"amount":"+0.7796671390533447","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":"Q3542104$8F94CCD9-CA5D-4FA1-8D21-C8B374B2B861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0164a5a536ca5b0dc62fbede3fe83136a3fa69","datavalue":{"value":{"entity-type":"item","numeric-id":3688373,"id":"Q3688373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e299b8f267013c228feb5df46738724e391ab0e5","datavalue":{"value":{"amount":"+0.7768126130104065","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":"Q3542104$47E43178-A95E-4796-84CE-DCEA4CBCD1FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3542104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3542104"}}}}}