{"entities":{"Q4451720":{"pageid":6481319,"ns":120,"title":"Item:Q4451720","lastrevid":58253211,"modified":"2026-04-04T10:46:02Z","type":"item","id":"Q4451720","labels":{"en":{"language":"en","value":"IKP and friends"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048395"}},"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":"Q4451720$B0C4C8C3-E890-4583-B67C-393B1511D9E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"636c33690a5196c3f7b726456c245bc126527e44","datavalue":{"value":{"text":"IKP and friends","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4451720$2739D59B-9C74-4E56-A180-E30C625A1CEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11e960080281caf78b073f91e808bbd4aae6bfc1","datavalue":{"value":"1039.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451720$875BFD25-7172-4C02-A06E-1C650C241DFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451720$4B8809F9-5233-405D-B0EC-787FC1EC334B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451720$5796161F-8B42-42BA-8D39-F8876808B5D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-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":"Q4451720$12CF5DD4-7D64-4AE7-A794-B55CA6C3692D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa30ad54a1cceb54cd038a11b90fe2bc700e6631","datavalue":{"value":"https://arxiv.org/abs/1510.00463","type":"string"},"datatype":"url"},"type":"statement","id":"Q4451720$8C9E431B-DF8F-41CD-9BF1-F83EAD92C749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451720$0F0A1B9B-D5D5-49B5-9C97-C5B6AA9C2F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451720$5827325B-ABB9-4E60-B414-5B0A6237AD42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be23290a4034fe8313283ef38fbcc7b1a8c9fe0d","datavalue":{"value":"2048395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451720$2AB47457-A9BB-45C0-A028-CCA092B07B62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451720$44F5B692-E858-45BC-A76E-B3ED8549B8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e3d3186fb418e7d094643781823e625df64aa8","datavalue":{"value":"intuitionistic admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451720$0DBF087B-0E56-49E8-BB75-2BD398F14269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451720$E46B11E4-69DC-410E-8EDD-B34E7C4BD9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451720$A7A66831-5BA4-457E-9306-E3AB965F26B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f54cf0cbe8418e08116a4fdeb8b8f0be927d814","datavalue":{"value":"fixed points of inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451720$62FE4745-F92B-4038-A426-6D5E2A72716E","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":"Q4451720$03F08A16-9E84-4C51-8501-E0457952BE65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59db6d6475d1338dc361f02cda9ea2cf64d9bff2","datavalue":{"value":"W2962804016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451720$7AD68B95-A00C-47AC-B1C3-5DB924C0A655","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be74c66500c8faa8037fda64d2c640e94114f61","datavalue":{"value":{"entity-type":"item","numeric-id":3486559,"id":"Q3486559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451720$047BAA76-FE98-48B6-B3BA-CE4A9BF7B021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd2995738d5efb382e56461a4163a9e0c5cb667","datavalue":{"value":{"entity-type":"item","numeric-id":4128815,"id":"Q4128815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451720$75727D19-D91B-4704-ACFB-A2D8D7A0E796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c9c26b810505033a1046797ccce05d35f7555bc","datavalue":{"value":"10.2178/JSL/1190150286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451720$47AA41EA-C2E1-4792-AB93-F48E96598EF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6d5a1c9a37a03d1d65a80bdd581c690c5cec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2267746,"id":"Q2267746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4563545510465778c893ee2cfef371975bf1984c","datavalue":{"value":{"amount":"+0.7508859038352966","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":"Q4451720$EC0BC47D-251D-484A-BFBB-9946B87194E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973c5166632890b19349d91ddcdf82d81c23f08b","datavalue":{"value":{"entity-type":"item","numeric-id":3305554,"id":"Q3305554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335fdb31771e4a50ac261a549bd8fc0f4fe313fd","datavalue":{"value":{"amount":"+0.7488018870353699","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":"Q4451720$63D7E081-C0FB-44B5-8299-BD7606090B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9463d4fbde65997d6564f8bb0be93c312d8aa097","datavalue":{"value":{"entity-type":"item","numeric-id":3067391,"id":"Q3067391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229814ca2beaca5f20e38e97431cd45551e0f8ac","datavalue":{"value":{"amount":"+0.743691086769104","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":"Q4451720$C20061D0-13E4-4697-99BE-97E6FB66D112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7b72523e97810184049087fe92ae7b439ea15d","datavalue":{"value":{"entity-type":"item","numeric-id":476116,"id":"Q476116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9634280f90db609027a07a0c96e17b58eeada173","datavalue":{"value":{"amount":"+0.7427920699119568","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":"Q4451720$FB8A6CCD-B832-4288-9360-A21B1891B19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba69c8f00c6454f7ba9238a2baf0998162e92342","datavalue":{"value":{"entity-type":"item","numeric-id":2231694,"id":"Q2231694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d2dafea6c0fc61eb6b01536825411302c9b28c","datavalue":{"value":{"amount":"+0.7425535917282104","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":"Q4451720$47DD6803-D446-48DB-93EC-6461157D0917","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4451720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4451720"}}}}}