{"entities":{"Q2882459":{"pageid":2893184,"ns":120,"title":"Item:Q2882459","lastrevid":51459563,"modified":"2026-01-18T08:32:16Z","type":"item","id":"Q2882459","labels":{"en":{"language":"en","value":"A note on the model theory for positive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6030856"}},"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":"Q2882459$6A988CDD-FC37-458D-A024-D2B90B1876D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f270de17a906c7b24e6ad643f308879e36470b92","datavalue":{"value":"1250.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882459$E58C6857-FF07-4087-A270-62198EB5416E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882459$62279358-4D95-47FA-85A1-956FD525036D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882459$B4CABC81-D4A7-4EBF-8123-EAFE0CE1A492","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d0f2e18c1df897dbb15de5492927d1ae63c4ec2","datavalue":{"value":{"time":"+2012-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882459$73D98E53-47B4-408E-9536-148C063FB04E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882459$1058E7F6-4FAC-448C-9C3B-3C8353960295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882459$53A49108-F62F-4994-8E59-F806480E8FE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c2463a16e310108d54b6983a395303f6f5764e6","datavalue":{"value":"6030856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882459$D59B1AB4-BA69-4935-BB0E-BFA4FED3F3D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882459$53F8D5B9-B228-41D6-897A-92D9CC1A8929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882459$DAD14C82-30DE-46D8-92C4-37197B84FFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"194c6ad62ca06807dd96e68d18b0595f060426b4","datavalue":{"value":"positive bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882459$1764A4BB-8C82-48D3-A264-D89DC6B0CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882459$9BAB17BE-00FD-4966-A1A6-FD7BCAD2327F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f26b79a9a9b8f12460b0ab520b0cb6ee161af9c4","datavalue":{"value":"replete models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882459$D1E8374C-2454-4A6E-A4A8-8F8B14C01BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b247e266a748a7e099c8ff2f40ebba9d31f74c","datavalue":{"value":"Hennessy-Milner classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882459$8F959D96-7C69-49D8-A23A-0AD6F89502FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882459$13E38EA0-DA83-498F-87C2-F0F9E68FD33D","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":"Q2882459$D93E0A5A-7D37-4B85-87CD-860DE0EFD163","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"668285039757f2f05122af8abc965739ea56f643","datavalue":{"value":{"text":"A note on the model theory for positive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882459$A21E6A00-3897-4CB8-9AB3-6C29A9107F6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882459$7B7A5276-EB68-4D33-AD1B-0CA5B8177C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011b137bee5b3b8bf6e38e5df65419f1d788bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328e9badd03131d8ed5176665f6d870dd3dc167c","datavalue":{"value":{"amount":"+0.8169043660163879","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":"Q2882459$571C6DE0-A354-4DF1-B039-F2951F38D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f32b695f776a122ad91b985d6df57098b95036","datavalue":{"value":{"entity-type":"item","numeric-id":5444691,"id":"Q5444691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68916f78a8cf820fe206a771f129632af7cb9b0e","datavalue":{"value":{"amount":"+0.8152015805244446","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":"Q2882459$C2FEF3D9-C982-411E-A024-331D774EBC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8155b0654179343c751db889e10756a90a0e0f02","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a47926e29c354cbc0bd85d2908a69417cdc0cae","datavalue":{"value":{"amount":"+0.7855204939842224","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":"Q2882459$A70C60FC-D7D0-4A9C-B7AB-C99C305681CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6418937783753e60f48715463a66620c7f0163c8","datavalue":{"value":{"entity-type":"item","numeric-id":1377550,"id":"Q1377550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18eb8896eb9ac1603d2a169795705b810e29792d","datavalue":{"value":{"amount":"+0.781778872013092","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":"Q2882459$AB269CB8-6472-4F1C-9965-6612B4F43202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8074560911877e7d70accaffb814415bc5829709","datavalue":{"value":{"entity-type":"item","numeric-id":3410683,"id":"Q3410683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484c754a20670a6af14969f497a96cf9513c900e","datavalue":{"value":{"amount":"+0.7816086411476135","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":"Q2882459$FA8F160B-03E9-4D2B-BDB5-FA7E83F3BFA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882459"}}}}}