{"entities":{"Q6203335":{"pageid":13338222,"ns":120,"title":"Item:Q6203335","lastrevid":39762044,"modified":"2024-12-30T18:26:28Z","type":"item","id":"Q6203335","labels":{"en":{"language":"en","value":"Craig's interpolation property in pretabular logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7825250"}},"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":"Q6203335$E2D944EE-07E3-435E-8DF1-E363493901FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea268e86b19dfa3ab7ff56a5a5e0c6623d9d0a6","datavalue":{"value":{"text":"Craig's interpolation property in pretabular logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6203335$78565AF0-CCB9-48C4-BF02-6CF6FE5E17A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$649F0389-0F76-4839-A286-9926E82DC6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$E72A59E7-32B2-48D4-9DCA-B25F378EEDF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$98986A87-C951-4D55-897C-24C730B17C9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2549ebd9566a08a7b400a597ec844668754697ab","datavalue":{"value":{"time":"+2024-03-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":"Q6203335$B824AA06-2F93-4578-B098-0CE3AF45316B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203335$5A62669E-A712-458E-B542-4CD74B7C483A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203335$F08550A6-3F1D-4BCB-8393-CCD0D2B1C0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203335$E9429615-ED4D-45CB-967C-2BA120D2A618","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c962e131dcc22218d352ece8d51be131fc147dd3","datavalue":{"value":"7825250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203335$DF21EF37-AFE5-40F9-A62B-2A5D8C812762","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203335$7EB99A8F-DBF1-43AB-9A9E-612AE2B2DD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ff4fd80c9395ddbb4f96cc98ff5ca569d2226c","datavalue":{"value":"tabularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203335$F96888D7-5072-4B22-B369-D0A122EC8228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e0afc88ace0dcbc90322552e5b4fcb3965b6729","datavalue":{"value":"pretabular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203335$70797513-D12D-4939-9928-3EFD78D4AF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203335$652DAD58-B52D-4911-AB57-279D4DBBD11D","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":"Q6203335$9EE2E13D-5306-49C2-805A-AD4D44FF2226","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$372E1506-2247-4DBA-8DFD-9F7ECF16DEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$FE272997-AE74-4BC7-85CD-E9502F5B9AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e88251aaea405a7ffe3dab8eb72e8f218eefa9","datavalue":{"value":{"entity-type":"item","numeric-id":515492,"id":"Q515492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$202252D1-0B91-4CD5-815B-92ADDB03C747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153622dc7b4c56fabe7c44ebeada073bc99fc587","datavalue":{"value":{"entity-type":"item","numeric-id":2011363,"id":"Q2011363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$E72E1EFF-4A09-4D16-A20E-CBECBC7170A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff468da0683dc846bb461ab51ba3f070e1da3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2364334,"id":"Q2364334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$008C743E-916C-4150-8902-02BAC62675CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$560C2844-EFBA-43DE-8035-B5EAEDC99C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0a4977072d6f8937dcd17ad8c09aaa7c5ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$733436BE-3278-48B1-AA3C-573228937214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906c7d4e316ebb9ded2b2e442f04dfc90302b744","datavalue":{"value":{"entity-type":"item","numeric-id":4175531,"id":"Q4175531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$BF286F73-5ABE-4941-AD5C-773401DD5862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91ec61c1c2e069ad77857747a99980d23202b0","datavalue":{"value":{"entity-type":"item","numeric-id":3546097,"id":"Q3546097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$1ADDD6ED-1D19-482E-AA46-06CED5BBD209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$C3177B6B-64D8-4626-8C6D-22C504FC6B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfc35f925f6d5c884b1d0d79906d162784c29f","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$703F41D6-E5B5-4FB6-A840-A6240157DDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ba7e5b02ac3c4672d6468085926cc0c361b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4803974,"id":"Q4803974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203335$D4D55C95-2DB6-4411-A0F8-876164B96C43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7837f128803b3baef75bfbe0f712e99cdd1ff8f4","datavalue":{"value":"10.1134/S0037446624020095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203335$47167F1E-6659-4CD4-AC8C-B392784E47A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6203335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6203335"}}}}}