{"entities":{"Q695764":{"pageid":697613,"ns":120,"title":"Item:Q695764","lastrevid":63586152,"modified":"2026-04-11T14:10:09Z","type":"item","id":"Q695764","labels":{"en":{"language":"en","value":"Decidability of the weak interpolation property over the minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116182"}},"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":"Q695764$8F410669-A88B-466E-8602-0CA67F1C1766","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02406058afb3217bc082778ac1849b12a56d658b","datavalue":{"value":{"text":"Decidability of the weak interpolation property over the minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695764$B8ACC0C9-313D-41C7-92D8-37FAE86BDB73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f77e6738757c5f01ef6ed86799f6e93effa8790e","datavalue":{"value":"1285.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695764$85AC8DAB-AA32-4D0B-8F3C-23362B364727","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$44D7E034-6698-43FF-99A7-CB15A4EC1FC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-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":"Q695764$A1AE111D-159C-43B0-9427-420B40445DEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695764$78764CB6-6B3C-42CB-A9D7-9F3789CE9903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695764$4C742CFE-51F9-4E86-88BF-CB4C4975A7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695764$B020589F-3516-4A35-A1AC-D7C0667594EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"784938995ab202db9da34fbe5e97ed4525efdd14","datavalue":{"value":"6116182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695764$39A69168-6F20-437C-988C-6D802F8D8CE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1eab48eb867da0756132811032a920ba2fa3ee","datavalue":{"value":"Johansson's minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q695764$70741046-F428-4AA6-B5B1-F3A315352129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c01029455b8c7a920a10e1046eebea30e515273","datavalue":{"value":"extension of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q695764$76F3245D-EFA0-460F-8562-A3F94A2F8B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad21c1b4dfc061efda4e99c5d6180d8c7571661","datavalue":{"value":"weak interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q695764$821B2D5F-1C06-4E31-8285-B309A6D94C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q695764$AFFE2938-BA21-4A35-8E25-892A02A355FC","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":"Q695764$AD87C2CA-9E48-4089-A33D-C643E9FA41BA","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":"Q695764$FC4E4290-2153-45BA-BB15-F59955A038D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62134762f22d46ec7c31e94b4c4aa83777d8cda6","datavalue":{"value":"https://doi.org/10.1007/s10469-011-9127-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q695764$BD915C3B-F35C-407F-BB7B-5FB74016D76C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7e6d8e5c60026eb4839dc4d952f38c2421260a7","datavalue":{"value":"W2062364415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695764$A5174489-BFA0-4244-8C9C-CBB4B14E3642","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$2084BEAE-B09D-4863-BB06-F2D291FFFC17","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":"Q695764$A7EDCC1E-F8E3-4A85-BD18-7CFF0A90B591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$040326F1-18E7-4663-8438-00697511DC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$22E9EB54-F8B0-41CF-8E18-FC47C68141D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992f3801d3cae773733c4d91154660a944ed992","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$CDC79083-2609-4FAF-A21C-A42CCA0CDE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$87D2B74F-9306-47E3-9E3B-92D724BB5E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0d01ce93f797e2c0689cc428671a2da4e0346d","datavalue":{"value":{"entity-type":"item","numeric-id":3012532,"id":"Q3012532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$FC0A2CE2-8D24-4BDE-A93B-5BF27BE127D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352594fc316d8c2c44f85363ae162f7e8114b482","datavalue":{"value":{"entity-type":"item","numeric-id":606053,"id":"Q606053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$B5E55B71-2588-4419-AFE9-ED25DE830C7C","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":"Q695764$3BB8FFC2-6208-4C67-A964-917F59ED7BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005add2b5cc8b538d854b2643532453d11ea471e","datavalue":{"value":{"entity-type":"item","numeric-id":3240238,"id":"Q3240238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$0B6D2590-90BA-4B22-A38D-481FBF25691D","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":"Q695764$161FEFFC-7CD0-4AFB-9173-8C9607AABAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986360752d3038d54763536872f028118126b5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$CE445FB3-841E-4F66-B29D-EE37879B6A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41429a7e8e6ab5eeb3e6d816f59a6b55342f310","datavalue":{"value":{"entity-type":"item","numeric-id":4664638,"id":"Q4664638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$82BFDBD3-CD4A-41FC-9B8B-2732972BA8ED","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":"Q695764$176755FA-8380-4239-9BF9-BD84C9AB353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$2619A37C-5BDD-4097-9F0F-FCC6E54D9DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22882db29752b4575c345d3c696c4ab856acb443","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$F2A4D74C-8739-4D95-A920-ED8487532C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$044B865A-B779-4E81-BF10-8578AB6DFD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95829e434423f74358ea4da5f3bca73c0c147e34","datavalue":{"value":{"entity-type":"item","numeric-id":3546111,"id":"Q3546111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$CC30D13A-0680-46D2-9656-2B253BEE6031","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":"Q695764$41A58BE8-F172-4595-9FAF-4111F275E802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bafa61800651144f61c6d933f54969754128b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3446517,"id":"Q3446517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$11B60A25-F739-445B-88EA-F4640CA1EF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$C08A9E4E-810E-4DD0-BFD4-C858966BCB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0b07ead87714376d00abdf91eb942dc6be050d","datavalue":{"value":{"entity-type":"item","numeric-id":431717,"id":"Q431717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695764$53B4A062-BF53-4569-9A62-6279BE6D865F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f25369ff1b02d64c8940eb7a024d7bc8f355041d","datavalue":{"value":"10.1007/S10469-011-9127-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695764$8F0E007C-F58D-4E56-A33D-2832E3C8C25B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the weak interpolation property over the minimal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_the_weak_interpolation_property_over_the_minimal_logic"}}}}}