{"entities":{"Q4691187":{"pageid":6720765,"ns":120,"title":"Item:Q4691187","lastrevid":90632201,"modified":"2026-06-04T20:53:39Z","type":"item","id":"Q4691187","labels":{"en":{"language":"en","value":"Mechanizing proofs with logical relations -- Kripke-style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958618"}},"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":"Q4691187$BB3427BE-EABD-4C86-B128-0DCF5EAED2E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56f36aa3352ea0ee557804859d74a8d8f6d7add0","datavalue":{"value":{"text":"Mechanizing proofs with logical relations \u2013 Kripke-style","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4691187$D1679B6D-FD85-4126-852A-A4EF1D5E5ACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7c6e918e568789b1550de9bbe49c36cbfcc9f3e","datavalue":{"value":"1400.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$FEE06B1E-C601-49D0-9AD5-7E9447A9316E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a97078262745fd3ffa6a953bfcfbc6e7a33309a","datavalue":{"value":"10.1017/S0960129518000154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$2F53DA0B-BC21-4228-8926-866527CA9EC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15cb7e723c6ba3637d8c83366f88049fd361bce2","datavalue":{"value":{"entity-type":"item","numeric-id":2942889,"id":"Q2942889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$6CBD56C9-ACCD-4AC4-ABD8-AE044A75D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$018229A3-60EC-4FDB-BAAF-50E6CF49C653","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$D9B11143-1600-43EC-A36F-7745B841BB55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851604a72cdd40de4e79399957d1d12419d2f19","datavalue":{"value":{"time":"+2018-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4691187$03EE9B6D-1AA8-430C-8074-6B8896AAC0BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$6B78A61E-54E1-4847-9104-A97A94478A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$A2ACC3BC-37AD-4D92-8395-7A23B258CF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$162282CD-9E36-453E-9CC0-39A7FDC76662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3a33f983eef2e9a8c329f73386324dfc787f504","datavalue":{"value":"6958618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$48BE7D43-BA2C-4BC0-B805-A6F56FA823FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ca68d9e60f39b64375620b23802b5755dae3004","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$3A61439B-DFFE-491F-8BC9-7733D3811FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$1609097E-1183-41D9-9786-E84367E4C5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$D80371F2-8F74-4196-98D9-AA1AC0739814","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":"Q4691187$33752ABE-CEAF-44EA-B7D1-634921BB04CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"62618efc5b438699903dae49175acf9da3eadfb7","datavalue":{"value":"Q113857441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$CEA485A3-4D95-49DC-9D0E-E909B5DBA05A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"833079337a3c2f303ddbc3fe894c26799c99160e","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$FAE77F0A-5391-4922-A2C8-EB3F32E621CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8bfe191ca90d3395347096033dd0a0643030e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$445CB384-CACA-4024-9A84-5BEDF9AE3501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$39A3327F-9C35-4A9A-86DF-4D778E6EF60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bc2eece43ed61a28c0516dc0b9048a4a049547","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$DADD359F-495E-48E7-89CF-33C9FC26D702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$70985E24-65C2-4796-A67C-B52B5B5FC083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea3d89d9caeecb4ce96d5251e582d3bc04e60e3","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$F017AF94-9B96-4B8D-99DE-377865CF62E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$CA1CF64D-27E3-468E-A081-84609496A3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd90ba3b3c5e17240dddef25d5b236eea01d9de","datavalue":{"value":{"entity-type":"item","numeric-id":5747652,"id":"Q5747652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$F946DBD4-955E-46D4-8863-517B46BB18D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$D959B0DF-C86D-4BEB-B84B-83213B5FC27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$46767BE4-FA52-415C-9D0F-F50EC229D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$8F32AF3C-F8DA-432B-AC17-23E0954A1062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4cd72d2df0d5e232e935ad9628f5293ffb8055","datavalue":{"value":{"entity-type":"item","numeric-id":2871867,"id":"Q2871867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$B673F87C-9A9A-4C72-A87B-DA9348DF384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b19eae06ce0ec3719d39a65466af8f728d39032","datavalue":{"value":{"entity-type":"item","numeric-id":4912883,"id":"Q4912883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$DD2C28FB-A9CA-408E-8C0F-1DC243715E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f3d2f285479d1dcf9ce1de92be526618630a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3838063,"id":"Q3838063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$D4CA7F6C-B537-4424-BFB8-361AD1717389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c7c2929e9715fc4b2f275523456488eeb1a6fe","datavalue":{"value":{"entity-type":"item","numeric-id":2946721,"id":"Q2946721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$C13D93DF-62B6-4A41-A74B-70DDEEB02902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$11EAA4E6-08C0-4961-82E0-37B19B3495B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691187$A8A8207B-4F9F-4D24-8D62-23DA0E470AE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8762cf606f91fece8e27fb4d30f1d9471e10bb2","datavalue":{"value":"https://doi.org/10.1017/s0960129518000154","type":"string"},"datatype":"url"},"type":"statement","id":"Q4691187$AD9A8F0F-8535-4077-A5F9-BA64A9CDBEAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d212a6109a1598fc60a8215bba36ff035f6ae8f0","datavalue":{"value":"W2887657530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691187$F8EB22D2-6D9D-47D6-AF09-B05E2B09DA66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4b130ba3f3ab353eb95092c98b979c20e43019","datavalue":{"value":{"entity-type":"item","numeric-id":3454100,"id":"Q3454100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2161b5be749861b804a962a7e3d2d28686384f","datavalue":{"value":{"amount":"+0.8507842421531677","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":"Q4691187$E316EAB3-10BE-4B08-9F14-3F2FA3165114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3a108876ee2d73cf53e48814576175e292747f","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d794ca6056ec6fe148d21067c7de6f6af3af19e","datavalue":{"value":{"amount":"+0.8434321284294128","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":"Q4691187$7E02F422-46FB-4D77-B3C4-19DC5239FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38aa120b25c6a2afd536e54ca4c3bec74fcc152a","datavalue":{"value":{"entity-type":"item","numeric-id":5236557,"id":"Q5236557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075b21642f1d5b4801f91802454f588b943af5ff","datavalue":{"value":{"amount":"+0.8100125193595886","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":"Q4691187$9C59F500-749F-42AE-968A-E63C913338B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7609494392bb4215d21f7a8a3e5f08d86684fe14","datavalue":{"value":{"entity-type":"item","numeric-id":3058448,"id":"Q3058448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9c8683b21e48d5d6b8433ad445b7a61f7cff39","datavalue":{"value":{"amount":"+0.7575639486312866","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":"Q4691187$4067DD7F-1C07-407C-8FC8-A3A3026F044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9d546752157f9e756c98b4a253aee9c63c89ab","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931b4073c21bda179916f1030e0c929479e4c80b","datavalue":{"value":{"amount":"+0.7503272294998169","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":"Q4691187$63340548-24C5-48B3-AB0E-0EC6ADC685C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing proofs with logical relations -- Kripke-style","badges":[]}}}}}