{"entities":{"Q45302":{"pageid":45358,"ns":120,"title":"Item:Q45302","lastrevid":56397882,"modified":"2026-03-13T06:25:40Z","type":"item","id":"Q45302","labels":{"en":{"language":"en","value":"WhaleProver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"92ae645af488980b18e3ff37adbd6525b8e6f8dd","datavalue":{"value":"33593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q45302$52BBCF8F-B7DA-4828-9628-998B3ED086DB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$E4EA1250-8F6C-4B50-9FDB-903E242A9F7A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"32016c121a1765fac52acb0544e75a52a3a87e4f","datavalue":{"value":"https://link.springer.com/chapter/10.1007%2F978-3-319-74313-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q45302$8FFD9C58-BEC4-4247-B9C1-8A1188008933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q45302$482414D4-23D4-43EA-AAFC-F67F6448FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q45302$42AD5881-869E-4E84-9C57-803DF2F31F49","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$0A8FA76F-AAAD-4420-B81D-DD401EFB5497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$57714BCA-584C-4868-AA41-5E4A3A8F5554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$8F6096B2-B7C5-4503-BD6C-CCD741D62CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$E2CF7D6A-7E8F-40FE-BD39-19587EAEDD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac7c2310e4d1d163e4c47f4314590a06c4ee9b26","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$73546328-8C04-4F44-A9F9-5E3FB53E4221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aab8aaf79b084aeb5380036e631065a659a1ae76","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$955F2A32-A03B-4FB1-BB2B-BB2E304FFD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$33C57F1A-FD9A-46DA-B63A-B58D35F1F870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$32F88DCF-A631-41E0-8334-52B7823B9583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c1111a4af73946d995c6025450c33305be35b38","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$6E3C7045-8AF6-4E1B-83CF-F0F22E006782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"323e193172ce0ca8980ad63a16b5a8dc53a1c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":33996,"id":"Q33996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$4C1E2E3E-772C-4855-9EC2-77F563E12AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"be66831e1a0e4e135cd294b27e0dfd60c174778d","datavalue":{"value":{"entity-type":"item","numeric-id":33995,"id":"Q33995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$6C0DB494-F729-451D-93AE-157D5B375897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$90CD8132-27A7-4F6F-BF68-7759CD3FAEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1fd9048f0d3cda439d8cb45dc5b2cdaf7e8b606c","datavalue":{"value":{"entity-type":"item","numeric-id":45353,"id":"Q45353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$47B256BC-77B0-46E6-8B01-B589A4ADAC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$74825320-EDD0-4588-8738-23DCB53FEC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddfc2dab9f4484d85e8e917c537ee56253d2c6dd","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$6AC9E297-2756-4D46-B1E4-09991FE2E9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$D4FFF9D3-D257-4B94-B43C-8F3BED04F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e61d7110ca6526a0feb22a643f49231c91c2f711","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$AE6A8B6D-831B-449A-B614-590FAFAC1D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$175BCEE8-2578-4610-BBD0-76A2FAA41D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$FA94A86E-E5D3-4DAC-A6DD-CE0BA3DD6566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"375d003c9d0b6a3ff55143a96cfc80d320cb1901","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q45302$8C98A867-4C6B-4D28-9DB8-5EED89480D1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WhaleProver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WhaleProver"}}}}}