{"entities":{"Q431670":{"pageid":433437,"ns":120,"title":"Item:Q431670","lastrevid":61784331,"modified":"2026-04-11T01:38:48Z","type":"item","id":"Q431670","labels":{"en":{"language":"en","value":"Restricted interpolation property in superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051428"}},"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":"Q431670$FD8F8733-FD08-4BD1-8322-94222F452BCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cff88b3d8d1fff744402de947be6e3033385960e","datavalue":{"value":{"text":"Restricted interpolation property in superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q431670$FCA4DCC4-B906-47F0-97C4-6CF59C536EC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffde4efbc917fe5fbd1a22b8834edd8c51f68fb8","datavalue":{"value":"1241.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431670$6D2FB4D7-2B03-4FFA-BE35-BEBAAD484F68","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":"Q431670$009DF12D-DE04-4579-8E8E-CB6E2FF2128D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q431670$EE0B40D0-B2F7-416A-98E1-3A2FA90B04B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431670$5DB1CED8-0CB9-4F85-92BE-63EF4ABCEC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431670$BB43D1A9-450F-4F19-A218-1ACCACD3534B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431670$F7F0C09C-AFB9-467A-9B08-C5B8372F0C04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e857ae51ffa4ffab2c8296a5240682d025d37ba","datavalue":{"value":"6051428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431670$289CE0F5-D620-4A7F-A15E-FA83F4F53696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcde17d7838a8cb1e2334bf93c7f41455751b29","datavalue":{"value":"restricted interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q431670$4E6770A6-3571-407F-A90D-542F8AAE9B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a51a3cfbc42ba2eb6d7c429efad6ac654607a78","datavalue":{"value":"projective Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q431670$3646CC94-FFD1-477D-9B3D-618DDFBB3014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q431670$D820F5D2-D610-46D4-807A-A6E33FF230B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q431670$2A52C976-57FA-4962-8376-B05A2C2E057E","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":"Q431670$B3741242-3E5D-48E1-898C-00C40DBD2C0B","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":"Q431670$61EC5096-4232-4D82-B8A3-20AD4367DD10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68d7c408ddf85f88f08539d2507534c084bcc45c","datavalue":{"value":"https://doi.org/10.1007/s10469-009-9042-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q431670$B3728BAE-E486-485B-BFD2-2DBF9CF6FCCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b376cea48eee8311f282acfd3d663b6f422644e7","datavalue":{"value":"W2043421046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431670$07D29FF1-FED1-44F3-A51F-7FCF97AF16C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"611f8accee3aa180316a67b5d0efa9358fe790fd","datavalue":{"value":{"entity-type":"item","numeric-id":4936636,"id":"Q4936636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$5FFE765A-084C-429C-84BF-288F3D21584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b83a8d39d2e6bfb78621e0d3e3390e21d28358","datavalue":{"value":{"entity-type":"item","numeric-id":2713994,"id":"Q2713994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$A86C6C24-D741-4443-BD1D-BD474E4AE332","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":"Q431670$7809AD05-839C-41D3-B011-AB095F712458","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":"Q431670$F85E7614-93CF-4620-958E-9DE6D3793693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c1f4467345145a11c793fad470483c38d4997","datavalue":{"value":{"entity-type":"item","numeric-id":5294709,"id":"Q5294709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$EF9BA925-3E5B-4DD7-9D8A-611BBB0D51A2","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":"Q431670$66973530-7028-42E2-9219-DD166313973E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe448008da013d2f8dec3493a15a9c63b8876ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4532125,"id":"Q4532125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$BBAC9C10-DFE2-455B-91AA-8E211EEF90B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef821f87d63de89a390bbaa8b61553573ab988f","datavalue":{"value":{"entity-type":"item","numeric-id":2433106,"id":"Q2433106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$E5E719DC-A688-4D78-8D9D-DBB95C230176","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":"Q431670$928187D0-C0D0-4A9F-B600-2FB66B37AA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0362777c178853d7e80e500731313475ff05600","datavalue":{"value":{"entity-type":"item","numeric-id":5465446,"id":"Q5465446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$73F5D300-24E1-429D-B8D5-8A65C334BE72","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":"Q431670$6F1F992D-5D94-4E7C-B803-71B8BEBA4E7F","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":"Q431670$25C9C675-065D-4164-A94C-DB5D9F26BBC9","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":"Q431670$1E539121-4A97-47A7-8D1E-567F3B529250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3229fd331385beddc0bb23ff7c9863e53c5d47c3","datavalue":{"value":{"entity-type":"item","numeric-id":1317604,"id":"Q1317604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$E0394C1A-D223-4176-9EC6-CCFF68208115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458e02ef366425bee914a3948d69a60170198bc","datavalue":{"value":{"entity-type":"item","numeric-id":1220915,"id":"Q1220915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$0F20E0F5-AF54-40AC-8B86-CABAAC595A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$676E0ECB-8ECF-469A-8806-0DE1D747B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6842d296afa9346f672dd7607a4ee596401a1256","datavalue":{"value":{"entity-type":"item","numeric-id":4430408,"id":"Q4430408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431670$05A1DB72-9778-4005-B0AB-817BA0888AF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f22c96721f83d250fc66972baa9814a4e9a9847f","datavalue":{"value":"10.1007/S10469-009-9042-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431670$DE1B603F-FB36-4CFB-850D-C2C1CFE0B9F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cfa0d90eeb9e7ec8cc97e02b6c18ad9afb7ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3577906,"id":"Q3577906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55815b3eefb3fb0c9067cc9c17e83f3712787782","datavalue":{"value":{"amount":"+0.946018934249878","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":"Q431670$3C5D4B78-8D53-4DCB-980F-5C2FBF27D4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21de3de614e699cc9a3622d178aa49a519252d7","datavalue":{"value":{"entity-type":"item","numeric-id":1288274,"id":"Q1288274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772a38f008ede4163d20cf1a29da3c40f2dfe418","datavalue":{"value":{"amount":"+0.9311274886131288","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":"Q431670$399D524F-4048-4B07-A320-AD5B32E4BDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97f350a4f2bbc89f30320669152e5d38f0941d9","datavalue":{"value":{"entity-type":"item","numeric-id":5465446,"id":"Q5465446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4987f39c3bcdfcee8c68dd3d640c667e052b2c9c","datavalue":{"value":{"amount":"+0.8744534254074097","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":"Q431670$B409E2AA-A37F-4932-947C-24E75FE79CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6ab1b8b6d462b77a96b11cc7f93a92f87a1351","datavalue":{"value":{"entity-type":"item","numeric-id":3446517,"id":"Q3446517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e006a0bba3a2bad2b67ed4cfdad9cdf6a3fd5802","datavalue":{"value":{"amount":"+0.833507239818573","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":"Q431670$7EFFA676-C5DF-45AA-8772-07AD98B70C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a5b62bd45cec9ab681c0e89da5431bcc5f3c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2713994,"id":"Q2713994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3ae313741de302e88579ec5ff3d04777d44596","datavalue":{"value":{"amount":"+0.8217023611068726","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":"Q431670$AB671E9B-EBB1-4E4F-A4C1-ED248D3011F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restricted interpolation property in superintuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restricted_interpolation_property_in_superintuitionistic_logics"}}}}}