{"entities":{"Q817691":{"pageid":819539,"ns":120,"title":"Item:Q817691","lastrevid":64565331,"modified":"2026-04-11T20:44:47Z","type":"item","id":"Q817691","labels":{"en":{"language":"en","value":"On the predicate logic of linear Kripke frames and some of its extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013027"}},"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":"Q817691$D15464AE-153D-447B-B3FF-A0E2EF9A62A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6664222d36be332811119f17b8173905b6f1fe0","datavalue":{"value":{"text":"On the predicate logic of linear Kripke frames and some of its extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817691$B73F9169-6740-4448-9E81-24A4A93F5B65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af8cb0d1f91dfb08c5f941ad4f014cc662d51d69","datavalue":{"value":"1092.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817691$52D4B19E-205A-450B-B40D-E95BA5BB80FF","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":"Q817691$B8B99F85-20B9-4C5F-BAAF-E3A04563E39B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817691$4602EB2A-1F7F-462A-8182-F8D5EE3F1532","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf26e3a0f364076c69f05014b94589fafcfb0514","datavalue":{"value":"Completeness or incompleteness of different well-known intermediate predicate logics extending the predicate logic of linear Kripke frames (the predicate variant of Dummett's logic) with respect to Kripke semantics are proved or reproved. The proofs presented in this paper are essentially based on the standard technique of saturated sets of sentences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817691$5F4AEACB-4733-4190-9990-9A8457C63F8D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9efdfa0f087fce6a282d8b305885f05ac6182e5","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$B66EBA67-857C-42F0-B821-AB42517F0FE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817691$2DAA548A-9F05-4359-B41C-51DD3F1E919C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f4760c44ca9dd1dbf44ee68f7fa7141706d03b3","datavalue":{"value":"5013027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817691$CD6315BB-B3A5-4B5D-A993-D0C9823ADF41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59af15ea010a801b5df83d78fefecdd883b86b","datavalue":{"value":"intermediate predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817691$20666248-BA15-4EFB-87D4-DBC2DDDA521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817691$072D06FB-AC25-489A-8793-EF4928A39DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3653f4d98282110e2ee51f2d602896205e347966","datavalue":{"value":"completeness and incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q817691$07BA153D-99BD-4300-BFA9-49BBF6683465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$4ED71542-A9EA-4207-905C-B8E6B561734D","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":"Q817691$3213038D-2E8C-4295-AF92-6E2BBD6E91F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4dcda3b5422f833f289cba868044c82e9fa2360","datavalue":{"value":"https://doi.org/10.1007/s11225-005-3706-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q817691$C66CB6E7-328A-4FA2-99FE-A68A6955BF6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fdea560f5f8acea62f6430633e937bde6642fa1","datavalue":{"value":"W2017127608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817691$5FBD84F2-57DE-4567-86CC-65AF2DD3A994","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dca0ae1025642432ff78eab317d494163fb9e74","datavalue":{"value":{"entity-type":"item","numeric-id":1207344,"id":"Q1207344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$75B5A3C0-E7A9-4DAE-8F5C-23E74ADF9D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$57A315E5-95C7-4784-A1CB-2E989465D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07696fca1aa99d197789cc76962015833ce12ac8","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$E039D71A-642B-47A9-AACC-B51DCA4448B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f7bde8459c6368935933bcc5cd40403a585d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4053614,"id":"Q4053614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$B422CA2B-1452-426C-B4F5-2B249F8981C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bd4c75dfd12975ef47facd414f509a089febe","datavalue":{"value":{"entity-type":"item","numeric-id":3669380,"id":"Q3669380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$D72EBF04-B35C-40E1-9B85-825E90C6627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7345de18c31a437e2ddf2d563c271bbcbe02267a","datavalue":{"value":{"entity-type":"item","numeric-id":1119624,"id":"Q1119624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$B14F6F6C-6188-4164-845F-3BE911E59F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474a90a944e7cd909ccf37b4b52d8545b3851c9","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$5209770B-9A96-41F8-BBF3-30D026C46471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbec5946ac30814939d078be2c6257f1fe1a4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1344873,"id":"Q1344873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$BD3DDBA8-296C-498D-8114-9DF85E3655C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e81b9df832512ec9509c2ca53858433f634cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1109762,"id":"Q1109762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$F2A750AD-2767-4E09-A382-4E03CC66000E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4977850ce5142634f32984b139abed4ce1f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5518354,"id":"Q5518354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$D6BF1F89-95F7-44FF-BC0D-376614BE2C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d01e9234d7e3a7d3a088900e0ac70815098331","datavalue":{"value":{"entity-type":"item","numeric-id":3809773,"id":"Q3809773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817691$21838722-D8B5-44F5-B4D6-8AC26B0638E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee3974a21b73f7849b4f2894949d0d973785f1c1","datavalue":{"value":"10.1007/S11225-005-3706-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817691$25C5897F-D4E5-46C7-996F-6A31CFF1732F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea9e30a2aba55171c506fd3e0a835872d48fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1580656,"id":"Q1580656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c65bf4cd74435943a344f6266871cba29f4c642","datavalue":{"value":{"amount":"+0.82279372215271","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":"Q817691$7288E9A8-C8EB-4C20-A6DA-638F0E896E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c7b8adbca0d83722bdce0f41b61e57a204872","datavalue":{"value":{"entity-type":"item","numeric-id":4834486,"id":"Q4834486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbe2e59b0d5d3cd8c12d456b63d50df09db7259","datavalue":{"value":{"amount":"+0.8191680312156677","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":"Q817691$28F154DB-2696-40A2-B5A1-E1A68FEB6626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3296a5f8733ae44dc771721dc76c22f25e2cd35","datavalue":{"value":{"entity-type":"item","numeric-id":1208117,"id":"Q1208117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543e3765b2950de30cf98614931dc52a193e154f","datavalue":{"value":{"amount":"+0.819167971611023","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":"Q817691$875C8517-F371-4DED-A6C3-DB1601A924C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc0d3defdf4688b61f02b8a131384e87cf9d289","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c525772b472031f11bfa2fb0a8f6d754661cad0f","datavalue":{"value":{"amount":"+0.8123379349708557","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":"Q817691$0836847B-A501-4D1A-B631-43B817D7E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed1a1f04208c40a9cee4e16c245887f2fb97e73","datavalue":{"value":{"entity-type":"item","numeric-id":4443188,"id":"Q4443188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7a1519c7e2aca63d16fec594643616414f60f5","datavalue":{"value":{"amount":"+0.8108121156692505","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":"Q817691$C40C90CF-8FE3-4CAE-BA05-621724CBB146","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the predicate logic of linear Kripke frames and some of its extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_predicate_logic_of_linear_Kripke_frames_and_some_of_its_extensions"}}}}}