{"entities":{"Q6187418":{"pageid":13322306,"ns":120,"title":"Item:Q6187418","lastrevid":102481589,"modified":"2026-06-06T04:34:01Z","type":"item","id":"Q6187418","labels":{"en":{"language":"en","value":"Definability of Boolean functions in Kripke semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787874"}},"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":"Q6187418$658E45FB-BE79-47DE-82D2-57F07B66891F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83d3bb67196aaa87b333d857416f223e71cccfad","datavalue":{"value":{"text":"Definability of Boolean functions in Kripke semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6187418$9A6CC544-0726-43F5-9B77-0AC378A21C94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f84740ef788932f1996412ae1090ba15e9948b8","datavalue":{"value":"10.1215/00294527-2023-0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187418$CEBB9052-2B58-48C6-95EB-A7644A410607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0a93f19c4cc0c20d021d0666ee26e24957f36a0","datavalue":{"value":{"entity-type":"item","numeric-id":897479,"id":"Q897479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$B4A3FB03-72E9-456B-A9B4-4912DDEF0D3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$E06110DB-F228-481E-B9CE-660AE55BF54B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f5e9adb57ed1a6253e18c3ea11dbfd51d8f9f16","datavalue":{"value":{"time":"+2024-01-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":"Q6187418$16219728-6643-4554-8D8D-703D43E188A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187418$221408FA-BB35-43CD-A6BB-AC9ECB49864D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187418$B2E37AFF-DF27-4860-A68A-171646A30A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cec866fa1728730b40fe4fd00a23b8e6e4a4e6f","datavalue":{"value":"7787874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187418$C6C5BD1A-E139-4C48-B957-F48BA87B1C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187418$5E1F8D96-C779-42FA-A714-2095EDD6D8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187418$62A1A163-B741-4445-BA49-E85C5DC804B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187418$21C28239-C06C-42DC-86E5-0F0096FB13DA","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":"Q6187418$6DF4DF7B-FE4B-4D43-8849-6360BFC6F2D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f169d21111120e613c747fdce94bec765ab2b18b","datavalue":{"value":"https://doi.org/10.1215/00294527-2023-0011","type":"string"},"datatype":"url"},"type":"statement","id":"Q6187418$83D503D4-9C19-45EE-985F-14F63E57DF6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8db99c26dd22d39255e96ac437a7319b9fa3e5c7","datavalue":{"value":"W4387412378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187418$1EF1F8AF-932B-46A6-AEC4-1F3302E296BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efed869f520a519778ae947641444a74adbe8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5224496,"id":"Q5224496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$AB7247EC-7901-4575-A8F6-304EC13B5427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$3052A075-61A8-424E-869A-6E5A454A4ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2206dd9946cc8d5c03e6f7ed9d80aa7d7a8dc5","datavalue":{"value":{"entity-type":"item","numeric-id":5619813,"id":"Q5619813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$D3B6FB33-A0F0-44F8-8A25-319C9C69AECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ae968e6063fb16827a99e23673e8c2769222ea","datavalue":{"value":{"entity-type":"item","numeric-id":5775746,"id":"Q5775746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$E2EED523-76F5-4B39-895C-B0E8557BB056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cc366a95f1f83ae62a57bea5fad8c230a4a317","datavalue":{"value":{"entity-type":"item","numeric-id":1173782,"id":"Q1173782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$CBAF2B57-8554-425B-9A7F-10394F0BA48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$4E129CB1-22A2-4257-919B-B8F7954B1268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80a973270310d1a76c577be08cfed0eeec32fa4","datavalue":{"value":{"entity-type":"item","numeric-id":5590049,"id":"Q5590049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$EA25E33B-8ACA-4E6A-8000-9905D869F985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1d90b026aa7bf916c80a03fd193eb86a199be3","datavalue":{"value":{"entity-type":"item","numeric-id":2153833,"id":"Q2153833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187418$B0C1AE58-E13B-4A40-A6B5-6CF60D08AFB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability of Boolean functions in Kripke semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_of_Boolean_functions_in_Kripke_semantics"}}}}}