{"entities":{"Q495833":{"pageid":497600,"ns":120,"title":"Item:Q495833","lastrevid":62332902,"modified":"2026-04-11T05:22:02Z","type":"item","id":"Q495833","labels":{"en":{"language":"en","value":"Properties of saturation in monotonic neighbourhood models and some applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482417"}},"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":"Q495833$87CFFC79-DD30-429B-964D-B95307B46B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fbdab03a2601c9c581b6df36f188f62b80d1d56","datavalue":{"value":{"text":"Properties of saturation in monotonic neighbourhood models and some applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q495833$87811915-139C-43A5-8D56-4BD19CA2D7BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d10b55a0a64c99b53e6a16b8674e628bec539a","datavalue":{"value":"1382.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495833$FEB0EA56-0680-4AEC-9751-A212463A6626","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$21DE5CD2-9FF5-477B-9D23-12F115835A0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f4c45c20efe387142809b033c238de6f0855d","datavalue":{"value":{"time":"+2015-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q495833$5DC41C22-F699-4B96-989C-7656C10446C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495833$6F270710-2071-4445-BE0F-5E175909ED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495833$35951145-71E2-457C-8C67-0181EA9B0B95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cf3b2313aece12c911161b53f54376d439cdaea","datavalue":{"value":"6482417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495833$7D0267D1-97B9-470A-A69F-1E2C6A249BEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"791cac2a221c1e63e32f3081c9f330c6587fe52a","datavalue":{"value":"monotonic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q495833$1F0F18A3-9002-45AA-AC2C-3037D83C8B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253930429d050280f90339708762416f772d14da","datavalue":{"value":"monotonic neighbourhood frames and models","type":"string"},"datatype":"string"},"type":"statement","id":"Q495833$838DB2ED-A663-4804-8482-EBC4DC17F981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e359ca9726e63c8f1360b7d7aba923fcc3d3f9dd","datavalue":{"value":"\\(m\\)-saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q495833$016D8BFE-7B0E-4C08-A5DC-20ED919CA16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b92be045f1f9a3df0e1d2ed5e4b420de0cbc1696","datavalue":{"value":"Kripke \\(m\\)-saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q495833$7D399BDB-772A-43D4-A087-BC647DCD4F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17a11c25f1b3fa075789c56a406bbece3b4d0bc","datavalue":{"value":"maximal Hennessy-Milner classes of monotonic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q495833$071D8000-E8EE-42D5-B613-5C4E2F58652C","rank":"normal"}],"P16":[{"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":"Q495833$0EF84714-843E-42ED-81FF-D9704E9799E2","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":"Q495833$08097324-AB18-4706-9AA9-9D4A0F85D292","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04eab18f8dfdb7c9ddc0a20e76847a385c3311dc","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9590-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q495833$47C95F15-9308-4D42-8FB4-848CEDC32255","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d7800bfa9824bd6ef6d9b37a7698eefd16e7833","datavalue":{"value":"W2057653216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495833$05BCDE30-2D84-47CF-989F-29360E8758D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeec0f44c1f17f410647531d4754f53df4292ac","datavalue":{"value":{"entity-type":"item","numeric-id":2498907,"id":"Q2498907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$3DFBCCF0-1351-4B8A-A03E-9069B8AB7DE9","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":"Q495833$8C35216A-B8A7-48F6-B8F8-4015FE0D7912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250794b3660aee0d483de550f385ac41e76db480","datavalue":{"value":{"entity-type":"item","numeric-id":3530639,"id":"Q3530639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$42707F76-AF0C-4B27-8360-9066A505CE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4054824c737b5a62d0783fd0a76898cdf60a06","datavalue":{"value":{"entity-type":"item","numeric-id":3645407,"id":"Q3645407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$80F21A70-7100-4EF1-B4A0-18788452F06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331f3204cfdc26058224df450989eb4034bda450","datavalue":{"value":{"entity-type":"item","numeric-id":1016093,"id":"Q1016093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$6CA3E054-58B5-4786-834D-643C5D6B176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$FC3D86C4-ECF2-4563-9C84-0B2FF66CEA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$0BAF0C66-C1AA-4624-96FC-FC70BDF1BED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fedf2af1df8216a9dcf816a96a9e8b4231e59ae","datavalue":{"value":{"entity-type":"item","numeric-id":5310880,"id":"Q5310880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$ABB12045-4F1D-4587-BFFD-9F258560B335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$C841ACD7-CDBF-4F22-BCA2-72208D59BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4971c24bb488dffd2542d9d7c857be0272dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$3F0993A9-FFCA-414E-B247-DB730DF10BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1044edf06015fd361d3849f5c2ca8b0ada8c84a1","datavalue":{"value":{"entity-type":"item","numeric-id":4833772,"id":"Q4833772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$9F878A80-0881-4AE5-8FB5-790DC67EBD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdc59dad01421f0a964152eb9040269c855c67b","datavalue":{"value":{"entity-type":"item","numeric-id":5806377,"id":"Q5806377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495833$9E48C47E-5143-47D2-AD1A-D0FA97FDE6A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b862f3236491cd0b6cac9185c25b6d08fd0eb5f","datavalue":{"value":"10.1007/S11225-014-9590-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495833$92CC4888-396E-4BEF-83EE-8E3747620C7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dde216287d69cbd9ef60e62d20bd0b773b6c74","datavalue":{"value":{"entity-type":"item","numeric-id":3530639,"id":"Q3530639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b88f48c7c4a9be95993c38b9adb28db84a6814","datavalue":{"value":{"amount":"+0.8597328066825867","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":"Q495833$4421BF27-A55A-4553-80AC-EE1D8F589E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb9b56ddef6e67810e426fa8caf3880898f1e6a","datavalue":{"value":{"entity-type":"item","numeric-id":5955878,"id":"Q5955878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d20f5d39ef6eb16f9834e0ef8cfbe131c83f50","datavalue":{"value":{"amount":"+0.728154182434082","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":"Q495833$014D71B6-7AA1-4BA0-A5B4-8EFECAF7C97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d308f87f21acdcac3ca813426510730a01c928","datavalue":{"value":{"entity-type":"item","numeric-id":992038,"id":"Q992038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e949fab6082492f38e3abb2c0bb3af8d7b8eeac6","datavalue":{"value":{"amount":"+0.7211053967475891","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":"Q495833$B6DF06A8-DDAB-47D7-95FC-2A1902A5EA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f729704d552bc09a6095758264196e5df38812d3","datavalue":{"value":{"entity-type":"item","numeric-id":3105745,"id":"Q3105745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f08beb5fde3b5e0e6f9b4847ceafbf974330b4","datavalue":{"value":{"amount":"+0.7185270190238953","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":"Q495833$2DFFB064-F467-4638-99A3-D3B803EC4B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6504caeabe2aac8e7d47226e4a16d967f1caec17","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6bd981744e618974f55e6e587bdcb09baf3424","datavalue":{"value":{"amount":"+0.7176628112792969","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":"Q495833$DEDB0EE6-B4B1-43CF-8237-612B1367D4F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Properties of saturation in monotonic neighbourhood models and some applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Properties_of_saturation_in_monotonic_neighbourhood_models_and_some_applications"}}}}}