{"entities":{"Q5387875":{"pageid":7417449,"ns":120,"title":"Item:Q5387875","lastrevid":50366435,"modified":"2026-01-13T21:58:32Z","type":"item","id":"Q5387875","labels":{"en":{"language":"en","value":"On Interpolation in Existence Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279558"}},"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":"Q5387875$F57C554E-446B-4DBE-A044-E7948958398F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1014f770bc9a89e01def5c0099b2abae14bbbc8f","datavalue":{"value":{"text":"On Interpolation in Existence Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387875$D9A82835-30C1-4662-8312-DFB8D71873C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"158993301ed38bb012b98b3bcdf07b474458ea93","datavalue":{"value":"1143.03325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387875$11A1C55B-0AC2-4E4C-B9B2-570D8DF825AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ae20e26d74807f2f96fcaa7ebfd8033d76e3abf","datavalue":{"value":"10.1007/11591191_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387875$62A8C313-E280-454B-A95C-0EA395EEE9D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387875$BBD8331C-5FDA-4C20-BB3B-D50F13F0E530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387875$33504717-C383-492D-AF2C-313E2191F0F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387875$578D4CE6-69EE-42A4-8A8E-E21BE44376DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387875$1EB0CD80-E606-48F0-931F-8CEDCE072567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387875$04313CA4-2EA9-4957-B0B6-31BF1F6C4281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387875$B0C84B70-1512-493A-9AFB-6EDE1FDCF9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387875$FB981505-6010-4D82-8194-F060B91A5DFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28ed76169faa5dfaa6ccb4db09b916e99a2f4ae2","datavalue":{"value":"5279558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387875$97995066-2664-4001-8CDA-3D160571371F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eacfb6532b2d024537312fdf143dea003c73263","datavalue":{"value":"Intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$DCCAB8CF-FE13-40DD-B28B-6F47BB16B4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1dd2829add34e6c0adb199f2ad50cb663cd9070","datavalue":{"value":"existence predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$0FE62032-3324-4DCB-954D-CAFD9AE8CA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$FFFAEDEA-A8DB-4FF0-8662-5A4CFCC6CDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$5129D163-8264-44E5-88BE-44A8F65FE95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$4D346F06-9EB6-417B-BB6F-7FB2C3B361DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$4D001907-530F-41B8-8107-E034EB775C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$4135CE4D-4CC3-4E56-9FD5-4C3AC7AB5970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a3d45d676b38f514b1b2591add900a72ab45b25","datavalue":{"value":"truth-value logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$B6D44189-C97D-46EA-8FD4-B6D42240ED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1a1f25e847b244c568cc40973694e51b1ad3da","datavalue":{"value":"G\u00f6del logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$AB438877-DD67-441A-A301-658C357964F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2e873fcfa3d18f07e3ab9e801ec8050281f28c","datavalue":{"value":"Scott logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$11168DDB-0D89-42F6-8A56-C6388480A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387875$2BDCE08D-929B-4748-BAD6-9486A6473E11","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":"Q5387875$9A58955D-B4E0-4665-A9EE-C1AC463913E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03e0834ab0064cac162e071c19805da155aa9bf6","datavalue":{"value":"https://doi.org/10.1007/11591191_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387875$B6329059-8A7B-4C04-A5D9-5E6E439933D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95e0b7e5addd850756e2cfc5fbcceaccd1c112c5","datavalue":{"value":"W1516111266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387875$FCB5BE1A-C542-4BC2-8450-BBDDA4D97EC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f775a3f1f58577f0d6c8c4e75f1b4fa420ae5d","datavalue":{"value":{"entity-type":"item","numeric-id":817698,"id":"Q817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6512592a089779d7cb0d7e63575e30fb55a6cb","datavalue":{"value":{"amount":"+0.8464457988739014","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":"Q5387875$9808B8EC-0A36-4285-B4B3-11C6A7B60C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159e99a66b45ece08d8265e462514540b71260b5","datavalue":{"value":{"entity-type":"item","numeric-id":5241408,"id":"Q5241408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d591611d7547db30220cc2371451c050f58bde","datavalue":{"value":{"amount":"+0.8153886198997498","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":"Q5387875$820E3F4E-77B6-4DCD-8C15-0F671C5E23F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7831872d208bee061f436ff757a77e2205876192","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61b1c251f93e621281b241d8a5243877f10a1a","datavalue":{"value":{"amount":"+0.79605633020401","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":"Q5387875$983823AB-F761-4913-A85E-07C2E14F78E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c689f5df14a4239f0208404febb595eb55dbcc","datavalue":{"value":{"amount":"+0.7936215400695801","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":"Q5387875$0AEF2F3E-9158-41BA-91B4-CB391AB3DDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5484f7ef69650689d64afb9a8c6279529043c975","datavalue":{"value":{"entity-type":"item","numeric-id":4210626,"id":"Q4210626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680613e343fcadc485c9bb6e7cefa9760f2ebe19","datavalue":{"value":{"amount":"+0.7916831970214844","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":"Q5387875$C6782EEF-8702-4278-9C83-9D0BA7FEBB9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387875"}}}}}