{"entities":{"Q1165235":{"pageid":1175984,"ns":120,"title":"Item:Q1165235","lastrevid":66505395,"modified":"2026-04-12T10:31:11Z","type":"item","id":"Q1165235","labels":{"en":{"language":"en","value":"Some preservation results for classical and intuitionistic satisfiability in Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765761"}},"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":"Q1165235$68FDB035-E7C3-4243-85D7-75DD77651F67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9bc5dfc7239303b4a8d4e7d32068a826ee0dd8e","datavalue":{"value":{"text":"Some preservation results for classical and intuitionistic satisfiability in Kripke models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1165235$8959F0C0-2270-43CD-AD56-CE8721F777F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b4866b4a757f8d337eed80eb28ff9f5aa63e549","datavalue":{"value":"0487.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165235$2D4B925D-CE60-4E77-ADCA-77A369562437","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":"Q1165235$E22505B4-1424-4B1E-A10D-C2602DF3D388","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1165235$BC4AB2A4-DA32-43CC-8556-E56735E0CE63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165235$1F9DE375-5C07-4465-9867-316D890B726D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165235$A9FA1224-2539-46A9-B410-B607BD8064FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe0208905e2e072f7eebe2da5840625edc29aff","datavalue":{"value":"3765761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165235$D1F14B1C-3BFD-42B9-AFC5-8529DA6F58B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e27e6d2367d6507cce01eed7560e7ff0c191e3f","datavalue":{"value":"forcing by a node of a Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165235$7502B7C9-38D7-40A4-A40E-A923F23EFE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165235$40D5501F-CDEF-4426-B18A-CFE9BCC017DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb13343dc33c5509354f6670aae57476fdbd868","datavalue":{"value":"positive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165235$34B2598D-CA25-45AA-AD37-73718AFBF6F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01049baa7cb1224f09687f350e395a4253a96763","datavalue":{"value":{"entity-type":"item","numeric-id":991002,"id":"Q991002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165235$D0172154-B6B0-4857-99C5-826C630AADF8","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":"Q1165235$F569E836-EDEE-4780-8A98-0F0F9A8FFECE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5588778a873e106041f245ebf1a7d39ea718957","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870383","type":"string"},"datatype":"url"},"type":"statement","id":"Q1165235$5A69EF26-1CD6-470A-AF0A-DFD8BF4DF101","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdd91a6f66034549402ced391663426db5e9bc22","datavalue":{"value":"W2021056780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165235$3E5D25FB-9224-46D8-A436-4F0CF9470018","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da4e189f4fae23c58cc4cea2491b47b409e762e9","datavalue":{"value":"10.1305/NDJFL/1093870383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165235$B62FACB7-913B-4D52-BDCE-B39494B68D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some preservation results for classical and intuitionistic satisfiability in Kripke models","badges":[]}}}}}