{"entities":{"Q3120212":{"pageid":3130928,"ns":120,"title":"Item:Q3120212","lastrevid":86265374,"modified":"2026-06-03T17:13:01Z","type":"item","id":"Q3120212","labels":{"en":{"language":"en","value":"Subframization and stabilization for superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7031590"}},"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":"Q3120212$6A75298E-733A-44FE-A9DC-06D513ACB736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50edde1dde1a57d8aae5aaa4a86c105ab97c040e","datavalue":{"value":{"text":"Subframization and stabilization for superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3120212$875A5FA3-5FEC-46EE-9423-169A9A9B93CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40fa2d20d2604cb2ed9726272b6b5f611c35aae0","datavalue":{"value":"1444.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3120212$5BCCA156-D50F-4E41-A621-F3DE0231E635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3120212$BEC2296D-51E2-414F-AFF0-EC067051901E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3120212$0F545321-2599-4C29-97D8-26206C291422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afe3297ff08401926483dd78d1ecdd546114a861","datavalue":{"value":{"entity-type":"item","numeric-id":514516,"id":"Q514516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3120212$FE376789-BCA5-4DD7-B1B6-EE9B6C653B30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5a661a693c3f6fc359d51c6c11db62a6dd0bc7","datavalue":{"value":{"time":"+2019-03-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":"Q3120212$6E9109F2-B00C-4BEA-9B78-2164398DAF6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f7f2c706e6547eaf2e62339196f4c7a95b6306","datavalue":{"value":"https://semanticscholar.org/paper/a4af98379e0a943cbb1198109fd835eaf74186e8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3120212$10C45676-BC9D-4D19-BFC7-5030AF5CEC75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3120212$A51ABC06-C045-45D3-958A-4C9336E7ED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3120212$8648630C-F89F-4AA7-869E-CC5007325EBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a067b01cc8d67fffb5cc1b050a94902039a8c9d","datavalue":{"value":"7031590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3120212$D418D0D8-5777-43E0-B44E-B464FE059D79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3120212$EAD0B566-D482-4F8D-B7FA-21FAF89587C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4990892a0f22cc41347725fde4312353893c03cc","datavalue":{"value":"subframe logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3120212$F775CEC0-CF05-43AF-836C-51A898EF9D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3120212$0FB9D567-2C88-41BC-9852-764924E0652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e50d5fbb0a0213551861efbf21fccdb4e1f5917","datavalue":{"value":"lax logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3120212$1EA5AC15-C0CE-4D40-96D9-C034D04C4A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a330b1c477b3220ce5add7ca966a2fdd44fa3e6","datavalue":{"value":"multiple-conclusion consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3120212$174CA1B2-4BCA-48E7-BA75-1AF73646A663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3120212$39097864-A9EA-4F6A-ABEF-071E2D97FDAD","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":"Q3120212$29BD5244-BF4A-4450-BFA2-505733CC15F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f75c05a4b0a7dfbbdd9ae20a8abb3f4f9ba735c","datavalue":{"value":"W2914898942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3120212$7549DEF4-4F91-4055-A00E-3BA25456A4FE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4a2115a324e2108c29c32e02bd8186745d2e7910","datavalue":{"value":"Q128583503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3120212$D151E1CB-546D-483B-BDA3-CD0A608E8406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72f3752100923cc7e613ec827d42eb9f5e4181a5","datavalue":{"value":"10.1093/LOGCOM/EXY035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3120212$9A7803E9-761E-4201-9265-760BC893CDE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3120212$DCD35350-B884-4773-9CAE-9E2F422321D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2a89260444a9d031cc8bc764a32205a98bb8b9","datavalue":{"value":{"entity-type":"item","numeric-id":514517,"id":"Q514517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df7018d63a6a0dda70f5f464673b394026f4ea6","datavalue":{"value":{"amount":"+0.7830632328987122","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":"Q3120212$EA37D2F6-58E1-4C75-873F-CFF3F7229EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6bf576369a8c8c8430f9f92a36b9dc29424db5","datavalue":{"value":{"entity-type":"item","numeric-id":1091383,"id":"Q1091383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b051fcac86fc3983d9ef6757c990e595d67321a","datavalue":{"value":{"amount":"+0.7557682394981384","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":"Q3120212$52CFBE42-5CBD-4C00-BFA7-C8F266B78395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c665e62eb40d6fcf85ed95dc42b92896916f9de1","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ccb6b60afb9daa4b3c16810f04d10c84f29381","datavalue":{"value":{"amount":"+0.7545361518859863","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":"Q3120212$13F89A62-1274-4271-9BBF-283EF63C4F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4350a44fa4eb3e1264e625127ecc99be84ff0c57","datavalue":{"value":{"entity-type":"item","numeric-id":1432372,"id":"Q1432372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f01f137015de8fe33c09ed676608889632c8f48","datavalue":{"value":{"amount":"+0.7427578568458557","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":"Q3120212$8E0D0DE3-4A13-4491-B9E3-956FBEE473BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f51006f64124449e649ce40acb20e911a58036","datavalue":{"value":{"entity-type":"item","numeric-id":3329444,"id":"Q3329444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a65a0ac827cd282d110364e0374bebda0ecb96c","datavalue":{"value":{"amount":"+0.7365829944610596","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":"Q3120212$90104B45-7C37-459C-9BFF-6F53B35D719F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subframization and stabilization for superintuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subframization_and_stabilization_for_superintuitionistic_logics"}}}}}