{"entities":{"Q2303586":{"pageid":2314329,"ns":120,"title":"Item:Q2303586","lastrevid":55372615,"modified":"2026-02-17T14:43:34Z","type":"item","id":"Q2303586","labels":{"en":{"language":"en","value":"Hennessy-Milner properties for (modal) bi-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176924"}},"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":"Q2303586$3DCFC4F3-E950-4E7A-B2A2-6D47C41D5566","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2c75d3d6310259aa1ad182f0977e87acc15ca97","datavalue":{"value":{"text":"Hennessy-Milner properties for (modal) bi-intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303586$30ABC6BB-5993-48C0-9281-440E23DF3663","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3503060d58d5a3458d1a9c44eb5b7ace69ea623","datavalue":{"value":"10.1007/978-3-662-59533-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303586$67F8E679-1831-4F70-BC42-F370D9D525F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81242a8eba707b179b483553438b1a78dda87738","datavalue":{"value":{"entity-type":"item","numeric-id":2144185,"id":"Q2144185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303586$56C3A929-975E-49A3-B72B-9BED60ADDB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303586$A939586E-2526-4567-8353-A6707F9EDFB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-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":"Q2303586$1F7462C3-796C-4BCE-9DC0-D467B9983C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303586$4E803472-7964-4FF9-A3A5-B071B844825B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5d451e297b251c493b0d8a1593304bf9443d0f7","datavalue":{"value":"7176924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303586$D0705242-851C-4A59-B936-0377203D90A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303586$9974D804-030F-4215-9815-B35F072366F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303586$BACCF187-24A1-4DD0-9A28-DE413231E547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303586$96DDB0F1-B2E9-458B-9258-1DFCF2674433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303586$FABCC5D8-37EE-442C-9088-957AD661D5B1","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":"Q2303586$B43D5631-0329-494A-A9A5-6B53E6529BF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3692b0e2fe77df2009c4f6c6031ac4d677e299e1","datavalue":{"value":"https://doi.org/10.1007/978-3-662-59533-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303586$02F574D7-D5AA-4EF5-AA08-55D9976B629E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90cc987c76c59f717ad3dbbf8bb9438348bdff4f","datavalue":{"value":"W2952481855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303586$6A901449-BA8A-4740-9C79-32ABD4B9EDAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3613732cc99b56c8aabf14a419c1f2f6667c99b","datavalue":{"value":{"entity-type":"item","numeric-id":2672663,"id":"Q2672663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71519f735b9598922a6fb077f52339b9dc114d4f","datavalue":{"value":{"amount":"+0.8224630951881409","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":"Q2303586$CB3A8148-7B4A-498B-962F-0B85728D4470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697faedd0596f26144624d3922a5bd7f96c088d4","datavalue":{"value":{"entity-type":"item","numeric-id":332084,"id":"Q332084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58ca30ca7e45ca03aaf0ce7a7c10de5c6512411","datavalue":{"value":{"amount":"+0.7933082580566406","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":"Q2303586$297ADBAB-23B5-4C0E-B1EF-80E1C2795A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d1dd409215d19f903b7149d56817774186a759","datavalue":{"value":{"entity-type":"item","numeric-id":5028301,"id":"Q5028301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2076dd6795d581b5a466022a034794ea7f055f0b","datavalue":{"value":{"amount":"+0.7798008322715759","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":"Q2303586$495FE767-6854-4F16-93F3-2F97365DE5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecb80659977aec99804b30d76ea5cdbb50cdf15","datavalue":{"value":{"entity-type":"item","numeric-id":4636305,"id":"Q4636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709b42b46f714de6428f3a0f8b4f9c862d365eb9","datavalue":{"value":{"amount":"+0.7612770199775696","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":"Q2303586$7F103316-771C-4B0A-B1D1-32F70BFCECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b55b422feea490b5131923cd4a61e76a996150","datavalue":{"value":{"entity-type":"item","numeric-id":4636306,"id":"Q4636306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d043af17d98f6f0dfe0104705915d6d93ed2e147","datavalue":{"value":{"amount":"+0.7554057836532593","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":"Q2303586$84929716-1962-47C4-B98B-8E92ED0F66D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303586"}}}}}