{"entities":{"Q3185769":{"pageid":3196477,"ns":120,"title":"Item:Q3185769","lastrevid":52587260,"modified":"2026-01-23T01:23:59Z","type":"item","id":"Q3185769","labels":{"en":{"language":"en","value":"Embedding constructive K into intuitionistic K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609675"}},"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":"Q3185769$C846C96F-FC7B-463D-B307-E1B37360A95F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"844868347e86cdf71688bf0c46ed6f2253ac45fa","datavalue":{"value":{"text":"Embedding Constructive K into Intuitionistic K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3185769$3169A392-7707-42DE-A7AA-5D38E25EA69B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d972147412af2a63795dcac58af7f3eb9cbff3f7","datavalue":{"value":"1345.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185769$BDD35ACF-E99A-4EF6-8AF0-BBE61E75B459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45aad9737500cd5c37b6bc2df82a4228c748fd71","datavalue":{"value":{"entity-type":"item","numeric-id":3185768,"id":"Q3185768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$7E6215CF-39D4-4526-AF0C-1CB90BD3A737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$095ACA1F-9E7D-4B6E-9DF4-0BB8CE663242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3185769$660E6898-9E54-47CF-A2D9-F50BEA5C03E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185769$99A389EA-84AB-4A09-80BE-ED3D5BB6CF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185769$AF0F4324-495F-4620-88D1-9C9593B443C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7bb4584671f549e997d4601a250dc2c509b49fb","datavalue":{"value":"6609675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185769$FD4EFC47-4171-46DE-9696-665AB7984471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185769$D67EDBEE-1C1D-42A7-8023-DD4520F49404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185769$13E46030-8B07-4E17-A3C7-3872E75852F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92e116e99c8f34d4419dc1500c687a24342a4b4","datavalue":{"value":"possibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185769$05228366-50C2-46AB-A58A-52D7B0E0F8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6747830efa57097051f3fe63bc68d3bf2b3fd82","datavalue":{"value":"extended natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185769$E49AC6C7-FDF6-4E3A-A9A9-5B2A68429631","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$2A87800A-3873-4256-A31E-73FBB8C97FAB","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":"Q3185769$26DE111D-463D-4978-B6D7-AC73992083E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36025295b7bef8993dcbcae5252e82d33e170d5b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.04.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q3185769$961CCD42-FFB5-481D-BB6E-5785E1FA85D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"389cf4d7f5a28071a7e9c9e60054507f9e12e89e","datavalue":{"value":"W2029185689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185769$B4EE04FD-71B2-4791-B6E4-07D57E787F3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$DCBA1F57-91A3-4D34-8B37-21B722C1BCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71681916ff11f8a3fc6dbd9d1ba8a9a2a0b03154","datavalue":{"value":{"entity-type":"item","numeric-id":4724618,"id":"Q4724618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$B0DB4909-B8F4-46C8-9BFE-4CE584E4F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$485E87D6-5B08-43EE-8816-E6041CF0ED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$7329F7D6-8A4A-41AF-8E8C-A2025F51E423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$B90568CF-52F1-494C-BCFF-2B7F875B62BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a938eaf8e00143c82dc172174ab51602e55d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3550858,"id":"Q3550858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$DF10DDC1-10C4-41FA-AD8D-258C5AA79990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$7706431D-7438-4331-AF92-8842FE19DF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$EE8B22B5-76ED-476E-AFA5-A23A3F99BCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a0ddb2f7794ad7c828b48c586e70a0480a4a27","datavalue":{"value":{"entity-type":"item","numeric-id":972423,"id":"Q972423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$828919FA-B72B-4D0C-9397-2CDA63E7E4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$2049142E-1697-4EA2-8CAD-EF1A34FF3689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$9C0773E3-5B4D-4F76-8C4E-1384EACC6388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$ABCEBC44-C0F0-4384-8806-6017926FB868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56ce954b7e8e8fb878261515c944d815c3ba72e","datavalue":{"value":{"entity-type":"item","numeric-id":3532209,"id":"Q3532209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185769$DBF3523E-6013-4A03-8702-41EC5B3F3262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dee9c763a2f4f637c8f2d7c33440e5173a43e2db","datavalue":{"value":"10.1016/J.ENTCS.2010.04.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185769$631402F5-8BE4-49A1-9888-7B10839DAF78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e43a8e52d9764867b80193aa5f9de7685229905","datavalue":{"value":{"entity-type":"item","numeric-id":2721197,"id":"Q2721197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdbe89ad75b540bd7414a67abb00014ddb9d950","datavalue":{"value":{"amount":"+0.7899324893951416","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":"Q3185769$DBCE82DC-0588-4B3F-8F7A-2A7E5CDE38B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3af6615aa935c19d22d206c8431a7b973af754","datavalue":{"value":{"entity-type":"item","numeric-id":5213676,"id":"Q5213676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92dfbfe320cd8fd12cf0a25c1a25acc0652b820c","datavalue":{"value":{"amount":"+0.7841836214065552","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":"Q3185769$D7D7AFB7-94DF-4253-837F-411CF4E49E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0172022cee178bd5271aa1cda4a33b156f95f9c4","datavalue":{"value":{"amount":"+0.7764562964439392","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":"Q3185769$022CAB1A-E6FF-4EBC-86F4-BAE23F53B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c31ca188e013a92699037cd8e636ea667623c87","datavalue":{"value":{"entity-type":"item","numeric-id":5039164,"id":"Q5039164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9885ada6f412968925be17d2db0681de3c0fa16a","datavalue":{"value":{"amount":"+0.776208758354187","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":"Q3185769$5852ACFC-BA0A-42ED-86E2-349AA2C31AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b140597510faea297aaea9fd4869647c61499e1b","datavalue":{"value":{"entity-type":"item","numeric-id":2240542,"id":"Q2240542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363562f3df7f9b33c5cfabb167d363dc95b36db7","datavalue":{"value":{"amount":"+0.7753949165344238","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":"Q3185769$B363E3A3-30C5-4F48-8A76-0FB29ED9E7DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3185769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3185769"}}}}}