{"entities":{"Q6099618":{"pageid":13233925,"ns":120,"title":"Item:Q6099618","lastrevid":58680912,"modified":"2026-04-06T07:30:22Z","type":"item","id":"Q6099618","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7699443"}},"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":"Q6099618$C3B36F16-5377-4AFD-AD17-FCE28757B21E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea229d5c7d566db264a7e69175c2b14cf582fccb","datavalue":{"value":{"entity-type":"item","numeric-id":438545,"id":"Q438545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6099618$D579C4B8-DD6D-4508-A6D1-381B0801C489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9da7c9374dd0ab043960241fef7dbc3e505cd1","datavalue":{"value":{"entity-type":"item","numeric-id":6099617,"id":"Q6099617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6099618$AE7CA211-C303-49A0-B7A0-2CC0E9B0D1DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b82aa14f69973fa1b25911e00f92c9fe2c2cbee","datavalue":{"value":{"time":"+2023-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6099618$0495170F-3E75-4FDA-B12D-41FB1E50D143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bec9426342b78c88911c3e66f05d160ae06f6df5","datavalue":{"value":"https://arxiv.org/abs/2102.05945","type":"string"},"datatype":"url"},"type":"statement","id":"Q6099618$FD379B53-F407-4D16-82B5-D0B82102F2D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099618$1FC5955C-24CD-4D6A-A824-98F4F2858ACF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65e38ae33c645584ec221cbf90d1b73e6ad5f968","datavalue":{"value":"7699443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099618$10D6F52C-61B4-4EA5-988D-BBDAA694B747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099618$AE477071-4FF1-4911-B378-6B40965E0702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099618$DDB4D7AE-47F6-4430-97F6-3D764B57A066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5cc8e8184b14b39b555e2997003bf3622dcaf3","datavalue":{"value":"mechanized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099618$44D7C44E-A941-4E16-A288-C2009E045745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb58aa312422cfac7af547a60b039bf8707e831b","datavalue":{"value":"HOL light theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099618$625A969E-EB85-4B07-980B-627D0F07A41E","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":"Q6099618$9929715E-B650-417A-9465-B42F8BCBBF77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06a05fd4d7a456cf47bfc095f3dada469e7139d0","datavalue":{"value":"10.4230/LIPICS.ITP.2021.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099618$0F974078-EB43-4073-B3BD-643DE69117C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6099618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6099618"}}}}}