{"entities":{"Q5055717":{"pageid":7085294,"ns":120,"title":"Item:Q5055717","lastrevid":37470863,"modified":"2024-07-31T00:57:07Z","type":"item","id":"Q5055717","labels":{"en":{"language":"en","value":"An overview of LP, the Larch Prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631113"}},"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":"Q5055717$32D4C72C-CF65-46BB-B161-8EC4C216CD43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f21a5bb1a07cc78c3520713d94cda5a91373792","datavalue":{"value":{"text":"An overview of LP, the Larch Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055717$68F11569-6EB4-4FB4-90D5-6704AF332ABA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7d1ff8866a5825ab22d8517b6296fad06c7d1a4","datavalue":{"value":"1503.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055717$7BEB3D5C-E537-475E-9BB4-3A1D57725167","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51cd4cbf8c8d4dc4ca17fc698e8ef2a3ba922440","datavalue":{"value":"10.1007/3-540-51081-8_105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055717$54B9F330-60F9-40FE-A3AF-EB20D79FD3F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30abf2632e51ae7b20c145b21ade18e22744c234","datavalue":{"value":{"entity-type":"item","numeric-id":1393936,"id":"Q1393936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$9F15FAEE-6236-4202-B590-D7D1C7D89CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a7b8e979b680be8a0b6a23b0c48083fa2eb8bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1067765,"id":"Q1067765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$AFAACB2B-C8D2-4C3C-A10C-3AD7909C70CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$E34B00AE-F2FC-4C64-9098-D490F5E258EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055717$1B39C449-313E-413B-A3BD-8B349DC3E82F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055717$DFF41793-E223-4DFF-9420-741D430B227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055717$030EFCC1-D84D-4D8D-AE83-2C5640B74380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c98ff3d6a80e6724dca991bcca3308a57beef917","datavalue":{"value":"7631113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055717$4974AEEE-222E-4599-8D71-58D2B393D7F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$E2E49354-24EB-4787-A1ED-E591EFE191C6","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":"Q5055717$9EBD339A-98AF-4B53-98A3-070420E345A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"711968a269dfb64d0f8beafca73e4e5314a6771d","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_105","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055717$F355BADE-EE9B-439C-B8F2-AC85CF3F5BFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56bfd962708c7b7e8d94775f48fe10d211844166","datavalue":{"value":"W2027329270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055717$80E174A2-006B-410B-83C2-A724193A86B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30bcadb47052699537df970445bd0e9b5b4dbb7d","datavalue":{"value":{"entity-type":"item","numeric-id":3783523,"id":"Q3783523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$9879AC02-C846-4AA3-86AA-9D328D396DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$CB51EF0A-680F-4C46-B49C-AE2567029918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$0FC0F30B-89E8-4904-887D-C8100E49947E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bdb5bc0702168fb6381f388e6a018695f5b58d","datavalue":{"value":{"entity-type":"item","numeric-id":3696498,"id":"Q3696498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$F3D5AB38-1867-4260-A4C9-616BD6D12E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$8D9824D6-B3B6-4446-BB36-714814BB0937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d43a7f349137163fbf3bdc9176ea638979311f2","datavalue":{"value":{"entity-type":"item","numeric-id":1067768,"id":"Q1067768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$0DAE175D-139A-4833-A9E0-D47603A13602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$917EA026-3FE0-4136-AC7A-244688979798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$E37276FC-7609-4F3B-9CD1-4652099BD567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$E5040535-346D-4B24-BE1E-2ED4D68F88AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7b430836cd50b9ff8b1b508fe37ed305a1d07e","datavalue":{"value":{"entity-type":"item","numeric-id":3336681,"id":"Q3336681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$CE74332C-16FE-49EF-8CC1-AA27BA77CC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$6F68C193-D16A-4E0D-94C0-6C69A295A6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$BEA46B8F-DB0A-4319-BAF0-9CEA5EFFDCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2c382536762403afd1b57f03346562a0a0a83","datavalue":{"value":{"entity-type":"item","numeric-id":3336737,"id":"Q3336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$57FFC4EB-BA00-45FC-A118-8AF82B5143BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1318fd35d97fef2be195335af7baf6a9cc7c4ef","datavalue":{"value":{"entity-type":"item","numeric-id":1099652,"id":"Q1099652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055717$92F93010-8686-427E-A336-7DDF476C6B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055717"}}}}}