{"entities":{"Q42954":{"pageid":43010,"ns":120,"title":"Item:Q42954","lastrevid":56377686,"modified":"2026-03-13T06:19:31Z","type":"item","id":"Q42954","labels":{"en":{"language":"en","value":"Isabelle/DOF"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"33ce9e66285c5beef1476b4397a766ed1833b18c","datavalue":{"value":"31242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42954$E731F448-1C31-4D72-B1A0-43E148BF10B6","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"b28a9a551d4196418f32bc613cd837d784fbb39b","datavalue":{"value":{"entity-type":"item","numeric-id":1798941,"id":"Q1798941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$BF300AB6-FCD6-4598-9B65-2C139D8F4F83","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":"Q42954$8DD0F6DD-9937-4FAB-96E3-0D3FCE41563A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a6abde9cf12281053cae933478f67c9c5134bce9","datavalue":{"value":"https://link.springer.com/chapter/10.1007%2F978-3-319-96812-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q42954$8AFDD66A-4527-468C-8C14-337EC30CD6CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42954$836ABCA6-402A-4DCF-8F60-A0ECFBD94A93","rank":"normal"}],"P1458":[{"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":"Q42954$267B8ED8-FF3A-4B08-9140-CA3235A40BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$F244DB05-8F23-46AE-BEF9-75E6B7F4F9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$4A7B514A-2D9D-41C1-9954-5822E70CF2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bede6a37ebe08319061984bb68beaa8e4664a82","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$61B5414E-AF80-4600-944D-C0BA2A13B900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$D115BEE1-4099-45C8-A1A8-5674523D8513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc75b1f4f41a196c347c039c5eec89b08662123b","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$AF0E991E-F905-442D-993E-90D8E6E65992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$05F39861-F97E-4736-B16D-D0D77F8292FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$98FAEE1E-84E0-4641-9C60-96451A4F9E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"52c7d0221814ca576b5683546bceb9be8a7775c5","datavalue":{"value":{"entity-type":"item","numeric-id":43071,"id":"Q43071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$376D2C7F-AF17-4AF2-B261-8AE3EF544280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f29f9f2394b4fdd0b2e3548dbe603ec687039422","datavalue":{"value":{"entity-type":"item","numeric-id":43070,"id":"Q43070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$8C345026-00DE-46B8-AA71-FD92B6036731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f3983be2575bd119aa2c87511a50e7a22b6169de","datavalue":{"value":{"entity-type":"item","numeric-id":29370,"id":"Q29370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$9A13B223-AE43-494D-AC93-33971C7B5457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8b90f2363f70739309b7f39dfe62abf159458bc6","datavalue":{"value":{"entity-type":"item","numeric-id":31279,"id":"Q31279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$8A43C0EF-43ED-4A3D-AB5C-288917F5C9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7a2da40db1ac237f6429c7108c3da2dd027fb70b","datavalue":{"value":{"entity-type":"item","numeric-id":13519,"id":"Q13519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42954$26093DAA-1B8D-41F0-AE30-19B18D8D5157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isabelle/DOF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isabelle/DOF"}}}}}