{"entities":{"Q20423":{"pageid":20479,"ns":120,"title":"Item:Q20423","lastrevid":56233911,"modified":"2026-03-13T05:39:25Z","type":"item","id":"Q20423","labels":{"en":{"language":"en","value":"SymmPa"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"dd0610aa1e598a2eacf61259ebc1e5fec69dd2c6","datavalue":{"value":"8414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20423$52FC6A35-532E-4304-9174-056F676626B0","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":"Q20423$9FF68084-8877-4CD6-BD75-4290A53945BF","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"9c072f5a4ceba29e6cc9e1ccb76e1aa8c26b1379","datavalue":{"value":"http://www.cprover.org/SAPA/","type":"string"},"datatype":"url"},"type":"statement","id":"Q20423$CA283C11-B0A9-4B1C-974E-861824147705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20423$847EFCA9-B0D9-4C28-983C-5F0E4D29C5EA","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b7aa0d754f57c0f0806a6e09d1f064fd78497406","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$2292D879-ACE9-4812-A86E-9A4BFAA5E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a6b3afbae34fa8787f588fb396a49e46edb996f","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$97400379-E7D2-42C3-9EBE-2C7062BD4882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a99fecf0d1debc773bb9267d63be1cf744612366","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$8667BA78-B854-4A1D-A511-746211C49527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"187424f3f1f0faaf242dd7691ed1bbf9d5e5d9ae","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$280BB092-7A7F-4B94-BD5C-2C7726742CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b17f39a64d0b7aca64f392981dd7a69ad8964156","datavalue":{"value":{"entity-type":"item","numeric-id":30347,"id":"Q30347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$5F25417A-3412-4EC7-ACB5-B433D048BA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc2257fb03d12016ff772866a8c45608576197b0","datavalue":{"value":{"entity-type":"item","numeric-id":18503,"id":"Q18503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$5AEFA64B-C82C-4DFE-862B-9FB3AC913F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5ba6031f8469d98acf3147379c0b65883a30d1d3","datavalue":{"value":{"entity-type":"item","numeric-id":32046,"id":"Q32046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$D08C3A15-034B-4380-B72F-BD97E1D0950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"887dc1686ba047a00ecc517bcb0f1295b6281c23","datavalue":{"value":{"entity-type":"item","numeric-id":21854,"id":"Q21854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$824CA53F-93AE-4DDA-99D0-98B10F405F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e61c1e7aabc4a084968411f6c3828f9b204bbd59","datavalue":{"value":{"entity-type":"item","numeric-id":19659,"id":"Q19659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$AB86056A-45FC-4F4A-AF76-8B00143B0E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cce9708c735eca903b9027de804184e2f0ded4b","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20423$06092DE7-1B56-4989-B234-267090C800B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SymmPa","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SymmPa"}}}}}