{"entities":{"Q34515":{"pageid":34571,"ns":120,"title":"Item:Q34515","lastrevid":56493255,"modified":"2026-03-13T07:06:09Z","type":"item","id":"Q34515","labels":{"en":{"language":"en","value":"ProofScript"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e85f22319d2771e323ac9eb737b28005f02553af","datavalue":{"value":"22724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34515$6A99D4EF-7DE3-45A6-B11A-B6EA32C6E356","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"2d5dff5da958389cae06495d0cf734b0ea4e1935","datavalue":{"value":{"entity-type":"item","numeric-id":3179409,"id":"Q3179409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34515$A47F51C4-599E-4ABC-BC52-624E230A9F57","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":"Q34515$242CBF53-DA33-4697-B1DA-10939ADCA7F1","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"4a5c9a3930f507ccadd35e3c023e806af58f97f0","datavalue":{"value":"https://rd.springer.com/chapter/10.1007%2F978-3-319-46750-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q34515$E69D48D9-406E-4538-AA43-B3B914BE0824","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34515$65D2ABDE-796B-4F7F-8E07-A0596E8C8DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34515$5F22E56C-A248-4A1A-B0A1-498C5D711A3D","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c53bfedce7b23d4721a03856d5c1ab57e2dbeda","datavalue":{"value":{"entity-type":"item","numeric-id":42136,"id":"Q42136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34515$9CF93D4A-7819-4575-A55E-BD92ABAFC54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32eb0c8abe1b67b4df46bc8108bb18a63a80ff38","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34515$022716A2-7CA6-4E30-B316-B8356CD44A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34515$6A076393-C005-4E9A-B0FC-C502805AE7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dbfb5e33d8cb9dbe814515b007e55b6104c2d79a","datavalue":{"value":{"entity-type":"item","numeric-id":24996,"id":"Q24996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34515$3FA22A3D-5613-4AB2-8879-8ED450693AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"06666b35a7ca0f59454cbb0c19654d5792350b24","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34515$63B242A0-4EDB-4FA9-A823-73E02F0C30D1","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":"Q34515$55D24A9F-A681-4FED-812A-FC2E0434251D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProofScript","badges":[]}}}}}