{"entities":{"Q3612951":{"pageid":5642857,"ns":120,"title":"Item:Q3612951","lastrevid":50602307,"modified":"2026-01-14T13:03:55Z","type":"item","id":"Q3612951","labels":{"en":{"language":"en","value":"Ivor, a Proof Engine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527741"}},"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":"Q3612951$86DA709B-5D70-4EDB-896A-1DE397C7AABB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a81293b9e30275a891c36521d6b54a3c9fe50b36","datavalue":{"value":{"text":"Ivor, a Proof Engine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612951$DE9F5DCF-C68D-4AC2-8E0F-243C2B256D13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e79935c280b0d77481747b5a2661a354ee98f20","datavalue":{"value":"1226.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612951$EB0E3D91-70E0-42B8-BA44-B5D57070B92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1a064e658cc69c2bae3ab7b48ee877f8cdfd8b8","datavalue":{"value":"10.1007/978-3-540-74130-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612951$E1173A8E-ED9C-4134-B4E0-1068D548212D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d31e496bca92cc6ce2d8d2fbd9fe1acfa896bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2364698,"id":"Q2364698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$8E17F048-EF32-4EBB-960E-FDFCE13B373D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"079a9a502d36bc50382ceab2d0b0fe42d20b24da","datavalue":{"value":{"entity-type":"item","numeric-id":2830046,"id":"Q2830046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$A42FCCFE-62EF-45C4-BAAF-DD449437E6DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612951$D1A15EE0-B789-4A9B-89CF-CB579DF2BB95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612951$CA564373-C7CD-480A-A664-F12EE05B8163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612951$2FB92565-7D9B-4E9A-BDA4-CB6D4BD8AA2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e58d61722270f8e0600a6ef8b7e9d04f076e4d2","datavalue":{"value":"5527741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612951$18BC0718-44D1-4712-BB9E-6EDF1DCCFB2A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$C330A113-BC14-4B4D-BDA9-D672C0099A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$59A857FE-A9A6-4D57-BBB7-C3C1933F8B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$C70C9897-ED12-4F1B-AC60-2E426AAE61DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$C2B09220-E68E-4035-ABC1-16EB0B3FA9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$5087BCF1-0CE7-425E-91CF-A4B1A9D23A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$67FF7CB0-FA8A-4E05-8AEA-CFE775D896EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$1DF080C0-C45C-4C7E-90E7-5B88F5283128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2dbc46b6c12f66b3d8eb1d4ab6390cb03b2095f8","datavalue":{"value":{"entity-type":"item","numeric-id":33983,"id":"Q33983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612951$FCB5044A-51A9-4F4C-A638-BB1E3584FEF6","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":"Q3612951$D66AF3DC-15FE-4FCF-93C4-3B987A80B123","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fae78190a1ad4327f7949504c70e20e2ffa5afe9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74130-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612951$56F8F40D-76D0-4D10-A8B9-FE6515A9D74F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"982c5c039e247a785ff5bc264bc479fd33a48fa7","datavalue":{"value":"W1536822759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612951$4BDEA1B5-C143-4C2F-B40C-95A87FDC5C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ae62e6dcd3306000dd1aa55b55e08a9450fbcb","datavalue":{"value":{"entity-type":"item","numeric-id":4028373,"id":"Q4028373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcca54ee20057b659ea1136e147235abe2d0a804","datavalue":{"value":{"amount":"+0.7337325215339661","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":"Q3612951$E7D94673-B58F-47F3-9E52-DAF9F6CA69EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75979f83f49c16579936565f94c2ab805195a6c","datavalue":{"value":{"entity-type":"item","numeric-id":2752051,"id":"Q2752051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcca54ee20057b659ea1136e147235abe2d0a804","datavalue":{"value":{"amount":"+0.7337325215339661","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":"Q3612951$6FC67F98-2E43-4396-8474-C4E8EE97EB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952dd0313ffcdf0b91b490f0739b8e7d073d048d","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629816632115c6613e638e1fbd2ed6a48ceb1b61","datavalue":{"value":{"amount":"+0.7248937487602234","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":"Q3612951$F1C3A50A-A854-4022-A4CF-5166A3B67EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357860675d9d6383009814e1650bf925597a610f","datavalue":{"value":{"entity-type":"item","numeric-id":4819651,"id":"Q4819651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f505e0972b6ebc1f2b2d6ffce18b735df462654","datavalue":{"value":{"amount":"+0.719214677810669","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":"Q3612951$018FFE28-74C9-43DE-AB52-7BE7A8732B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d629a70418c496226bec93e6d349b6e261a1c","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810b2dfec5cf72f12f74d958c2890e4c55b1a93a","datavalue":{"value":{"amount":"+0.7059108018875122","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":"Q3612951$6BB9F4E8-22BD-4C63-9F4A-331164EA8FEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612951"}}}}}