{"entities":{"Q1744430":{"pageid":1755172,"ns":120,"title":"Item:Q1744430","lastrevid":53069774,"modified":"2026-01-24T04:08:40Z","type":"item","id":"Q1744430","labels":{"en":{"language":"en","value":"Kripke-type semantics for \\(\\mathrm{CG}_3'\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862961"}},"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":"Q1744430$373FC8A5-20EF-429B-9075-978012DEC5F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ee164e940dc52aa87c2593137f2fb914d00889d","datavalue":{"value":{"text":"Kripke-type semantics for \\(\\mathrm{CG}_3'\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744430$28338FF7-E4C3-40E9-8C62-BA2125187F26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"724002beb89c69780b311e82ee2e8fe5fa9c14da","datavalue":{"value":"1394.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744430$8FA40759-DF4A-4967-865C-77E27EBA6EB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2b3288b16813cd4e95c4661013f294149d4c7fc","datavalue":{"value":{"entity-type":"item","numeric-id":301376,"id":"Q301376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$538D62D2-2B3D-4F51-BCB5-C48CAA8130BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"590dff7472c010275a689e6b534acd29a681ba69","datavalue":{"value":{"entity-type":"item","numeric-id":828776,"id":"Q828776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$425CA0B6-A1F4-4ED2-981F-ABFC2748710B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744430$C2FC5350-02EB-4A9A-A9E8-3D548A7B0C75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744430$3B075498-22E1-4E3A-AF1D-E3FABF75EAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744430$EA147596-DC49-4406-B5FE-D2E1488E5770","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9db81c876c342c395688c88d2e00abfe051f59a4","datavalue":{"value":"6862961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744430$541DF3F8-03B4-49C3-9F72-950D07F642BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744430$F261D48E-520D-4FEC-B5B9-84E56DD08757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744430$B33BC027-C1F2-4858-86E0-575F36179BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80586be223f2a47737ac5e47e42ca601c3b11ca5","datavalue":{"value":"Kripke-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744430$835556FD-22D2-4CD3-B151-DF0720DC3041","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56b3dd3bed88e494bb9f7d62fe85620ded05de9d","datavalue":{"value":"Q113317623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744430$7151582A-CA90-4452-BECB-AC6F1A49F460","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":"Q1744430$C87358D0-4ED3-43A5-99E1-F30DF1DE9C4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c8724692b33124e1b489fd31bca1b5a9ff19582","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744430$4046BD57-9255-439F-BFB4-278B738F8128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9982aa68e2162969ee2877cd3335007f92c5b1bf","datavalue":{"value":"W2567016268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744430$417955C0-DC93-4BC7-9500-9600AA2233CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b12c3427f3cfc70c0e07b38ea78872a08be61fd","datavalue":{"value":{"entity-type":"item","numeric-id":2762534,"id":"Q2762534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$D5D2BCFC-B3FC-4004-A3A4-EE0EAF1D7C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c86e510256087e40954bfbaf2b513104db5b51","datavalue":{"value":{"entity-type":"item","numeric-id":5755184,"id":"Q5755184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$37933ECB-81FA-435B-ABFB-26D3A2956C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$4706E420-2CC3-4482-851B-FD1C14744B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$4D2E2AE8-99EA-4900-AA38-E95B4BFAB149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$5EB25F9B-7687-44FF-A2AA-34A1FFB1A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11d3de40ba80e985a21361d01f8aa576641ee06","datavalue":{"value":{"entity-type":"item","numeric-id":301378,"id":"Q301378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$B78AD396-0739-4940-B9E8-99467EA031A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc440e6b746fbcc870102f7e0b8b66275986778","datavalue":{"value":{"entity-type":"item","numeric-id":5320764,"id":"Q5320764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$2126B045-2D34-422D-82FD-AB13078BD150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec45e6e76ce01da23f17a977af2297d026fbf73","datavalue":{"value":{"entity-type":"item","numeric-id":2443124,"id":"Q2443124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$3CCECEDC-234C-4FE9-A330-C1C1D175D63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1cc8144c26c15a42323e62f472daff2f37d0ad","datavalue":{"value":{"entity-type":"item","numeric-id":3643367,"id":"Q3643367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744430$BF8555A9-842F-49AD-BCE2-20CF6BFD7135","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0b2c74d50082a8fa19bf19daf87ed308e1585de","datavalue":{"value":"10.1016/J.ENTCS.2016.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744430$B613C1E7-8A7F-482C-A148-D636F5824653","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee04c19f12a7fb567d8b7df5ecbf46ef3d54bf81","datavalue":{"value":{"entity-type":"item","numeric-id":3386922,"id":"Q3386922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fc33457715e80330d42807e58ad3279173d09f","datavalue":{"value":{"amount":"+0.8778942227363586","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":"Q1744430$E79B1D52-C20A-4B2A-B554-D264D9012AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc7d08b294a654da49e0aec9a53131b1ed2de22","datavalue":{"value":{"entity-type":"item","numeric-id":5172138,"id":"Q5172138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d076c1a478394a5a145834a78c0e41ea1b90f56","datavalue":{"value":{"amount":"+0.7830827236175537","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":"Q1744430$B1C5E07E-CD9C-42BE-85EE-CEBDAA0A7ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583e8f05f24a712b989d1f165c33bb66f501606b","datavalue":{"value":{"entity-type":"item","numeric-id":5241519,"id":"Q5241519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf21ee1514f6a5576cf6ccd463cbe3192c500e0","datavalue":{"value":{"amount":"+0.773482620716095","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":"Q1744430$5D7DDCEE-6A3E-4F9D-84A4-CDD8A9753796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73dee90f83dc4dbcec4920338ed6915842e84d1d","datavalue":{"value":{"entity-type":"item","numeric-id":5213770,"id":"Q5213770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f5f2b712ed61774e6674a637ff896a908cd748","datavalue":{"value":{"amount":"+0.7730810642242432","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":"Q1744430$E844C667-CE5D-41D3-BEBE-8DC61AF832F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b6bbbd84cd459aa19e2fe7abee03ee846af9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4542600,"id":"Q4542600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8080d754a57ab35e40ff3a070ed4dd7525b3017e","datavalue":{"value":{"amount":"+0.7696349620819092","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":"Q1744430$6805D8DC-86E1-4A29-BB19-D73AD5D01FFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744430","badges":[]}}}}}