{"entities":{"Q3010362":{"pageid":3021086,"ns":120,"title":"Item:Q3010362","lastrevid":51283847,"modified":"2026-01-17T14:35:33Z","type":"item","id":"Q3010362","labels":{"en":{"language":"en","value":"Craig interpolation in displayable logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916706"}},"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":"Q3010362$F7347352-3607-4472-AE28-D495E2B5922D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1a5b22f06f2ea70fe6fa3767675d562ca5de05d","datavalue":{"value":{"text":"Craig Interpolation in Displayable Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010362$64711A01-0633-4F54-AADF-E2EBF2658A0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccdef5999aef81d4b57aafe7d8f1eef8a176d569","datavalue":{"value":"1333.03107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$FD081A73-21B2-42DE-9153-56E6C9166B58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9825c07ecdeda380f44fb31b801d8f879ae0d647","datavalue":{"value":"10.1007/978-3-642-22119-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$C786F307-BA1B-4633-8CF5-229077CE39C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$16A35B57-806A-4966-AEE2-1C2CFC97394E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$C5E03D0C-C615-49FE-8130-B6D67B00D067","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$CF6B4398-0B64-4A1D-A6F7-2E1455740A75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010362$4A98B877-595E-4DCB-95C8-593D4BC75C72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fc47fbf1761a6326e8b828ad993ecc88079df00","datavalue":{"value":"http://hdl.handle.net/1885/36361","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010362$BF7330D2-AB8F-463A-A5CF-3C6D49D9E5B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$19142B14-7903-4B9C-9500-8126B8627037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$745443EB-8893-4AC0-B68D-BD0F7260CE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$6C582975-1E4A-4145-9328-174A197F412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$E2B740D0-9DBA-426F-81EE-936E1BE3584B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bd9a0a64e9e43444ea0b266478ed5dfa1e2f842","datavalue":{"value":"5916706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$139EE31C-DACB-48AD-96FF-FA314A73511A","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":"Q3010362$95B94C23-5828-49E5-A4CB-9AD65FC48679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d593f320c11f6327422c5097dd4a9576af792a66","datavalue":{"value":"W66773879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010362$8779A1AA-8780-403B-A29D-2FDB80129EFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$3981D6A5-C5E6-4586-BB72-B77B4C2BBE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f29f8e51d92f24aa201350011b974234ba76f2","datavalue":{"value":{"entity-type":"item","numeric-id":3178253,"id":"Q3178253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$17E2446F-500F-4817-AF2E-64C70CB6B8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d0ad9d4fbf3812dd470b090823d342931e402a","datavalue":{"value":{"entity-type":"item","numeric-id":3010362,"id":"Q3010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$3D175D88-3997-4AA2-8556-EEF0FBA7C643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$D40897AC-1C62-422F-A4A8-E16154F47412","rank":"normal"},{"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":"Q3010362$64436AC4-08EC-4224-921B-F8310D577A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ca673b668f2b75998f61be11911f94c91cad52","datavalue":{"value":{"entity-type":"item","numeric-id":4484337,"id":"Q4484337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$B03317C6-1404-4920-A424-7D24EB48D328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8022da98f09f79b2d52e02a4fd5bb75ea446b0","datavalue":{"value":{"entity-type":"item","numeric-id":1024116,"id":"Q1024116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$5FEFDEE3-1D41-43BD-A36C-41B5B4947ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$BF4BED9D-D13A-4A01-B5DF-881B4CE8ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397be8364a08cd0003a383a64fb0d05481c07cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4221769,"id":"Q4221769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$25B66E73-E59E-4E28-9C7A-C99C7796A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9104aa40a7f458fa857fb1b5349531e2916c4993","datavalue":{"value":{"entity-type":"item","numeric-id":4392660,"id":"Q4392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$6D8CBFBA-7509-455B-A4FE-D1874498423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59952b81e0c5561a3960659f42a8c0f87be78073","datavalue":{"value":{"entity-type":"item","numeric-id":5758131,"id":"Q5758131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$BA26BD8E-9C18-4188-A33B-2A00FDAF9842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$AF15B41E-855F-4B62-AFA8-AA74FF36E2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$7A689424-1FC3-44A9-81BE-C1E5678DB4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$1F29AECF-A74B-4F82-8851-EE391D98BE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1647cb3113e31824a69694c102dc4518c93e257","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$0E90D92B-760F-46EC-857D-3400FC32928D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252b5ac009cdcdbbc971631c7d7c5005a4a39f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4302342,"id":"Q4302342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$5DEAC9E0-9556-4E79-A975-BC0C16BB308D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04365e5f39c43785b7c266dab4729b03ad35b07","datavalue":{"value":{"entity-type":"item","numeric-id":689074,"id":"Q689074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$07BCEEF9-3762-4D9D-9940-C7ED24CD2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010362$DF09AEBC-62E3-4A6C-8046-9E97DE230CFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078f018651441429470a4eb1ca473484a825cacc","datavalue":{"value":{"entity-type":"item","numeric-id":2817943,"id":"Q2817943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f14228089428deb7427655ce1fb0b83bf8c3f1","datavalue":{"value":{"amount":"+0.8434544801712036","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":"Q3010362$2717621C-D2F9-4DCD-9289-F13195EAB5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a4fe2a64aab5dc197a9ebb78d43f5a216089cc","datavalue":{"value":{"entity-type":"item","numeric-id":3144874,"id":"Q3144874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e006665a2da8329515739140d257280a472a5d3","datavalue":{"value":{"amount":"+0.8177292943000793","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":"Q3010362$C5D483F2-B603-4E11-963E-B2DA4ED086FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8638591b2a5b512b02ec352f80b9240dfd22b3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5221855,"id":"Q5221855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e59381a862aec5459e10eb35274ca0c7a6e815","datavalue":{"value":{"amount":"+0.7926969528198242","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":"Q3010362$A0E80605-2274-49E6-9B78-04444D255E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea25c9da1fb8125b5d35c531b775eaad3876e673","datavalue":{"value":{"entity-type":"item","numeric-id":1406371,"id":"Q1406371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edd6e455d7c96b214a0ca5ee792f2ec691fa39b","datavalue":{"value":{"amount":"+0.7923373579978943","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":"Q3010362$CDD4E8D0-FA78-4DA5-AC0E-7B918BEB62CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2f57ff74cc16c6d2e4cca08d4f026a7fbdc47e","datavalue":{"value":{"entity-type":"item","numeric-id":5702666,"id":"Q5702666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809172d1bd300e32a8c20f5a54d403ccabdbeaa3","datavalue":{"value":{"amount":"+0.79204261302948","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":"Q3010362$4A5F20FA-2534-40C3-8F6A-B3E4159635DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010362"}}}}}