{"entities":{"Q23407":{"pageid":23463,"ns":120,"title":"Item:Q23407","lastrevid":56258094,"modified":"2026-03-13T05:47:44Z","type":"item","id":"Q23407","labels":{"en":{"language":"en","value":"CSP-prover"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"1e8d1d2c9abfc3e8cd1b5f14a7d63e59b96265a4","datavalue":{"value":"11465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23407$5D48170C-45E9-4AAB-BAE3-F82CDF821624","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"fb9bcef048d2920482fda709752b9ddde213554d","datavalue":{"value":{"entity-type":"item","numeric-id":5703799,"id":"Q5703799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$5A7DF559-D232-49D9-A721-FDEE1CD30E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"867ab6a521a84c8ea6bf39d83ceb96d1f1b7b665","datavalue":{"value":{"entity-type":"item","numeric-id":5198499,"id":"Q5198499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$E3FB3AD8-E30C-46C8-B8F8-C2BAFE479C6F","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":"Q23407$B681BE63-A0EF-4BB0-ACE5-1B5A72D3AE02","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d17410a8d8cbd5648775e848f61e654a61b554f8","datavalue":{"value":"https://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q23407$EF5CF307-F553-453E-89B9-A45DA11377E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23407$DC66EAA2-6DC5-48E6-87F8-60DB38192701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23407$13D9EA86-2277-4761-A033-24B3D9506AE7","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":"Q23407$545B5A36-B3AF-4298-BABF-70AEB092C088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$0120ED2F-8FC8-44EE-A826-22A28DE2C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9361b6c1f0c215f3f064a7b95870ffe8a8adb3a8","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$DEAC3FA7-D118-4D0C-8B0F-FFD3289EFAAA","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":"Q23407$51B49FD6-048A-4B78-8430-CF29CD605801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4f9ffd0ab91ebc6a95d22ce0096cbfcb2f4e17a","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$41215F68-7EE5-436C-BD1D-93299A197A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2f00704bc2eac83a2f1dac251b99828952fd79c","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$391A7E47-7FFE-4C11-B8A4-7B129A6C5C75","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":"Q23407$1A578AF7-8ABC-4805-ADEA-6552C0DB34BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e8669f86935885839c9d11cb5355208de33a360e","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$520A2ADA-A5C2-4595-8378-26F17DA5C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$A7C5F0CE-8124-4A5D-A9DC-026BF402633B","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":"Q23407$6152ABEF-BF9E-48CB-B836-99C555862641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0826468599a3b3d422343f55e756b4cbf4443cc1","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$1A012B04-8E30-4935-823C-57023AE76664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28ade6729a25a2785cfa0273bdf2c48cd9c5e39f","datavalue":{"value":{"entity-type":"item","numeric-id":21648,"id":"Q21648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$8F44F495-1016-4B91-979C-DAFAF2CC6134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5b73a93aef4696324320af1964e78347759cb835","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$99180DD6-D2A8-4ABD-9D9F-868C5E413024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d3070ff090b17b8c16d34db1351bca9515e6d88","datavalue":{"value":{"entity-type":"item","numeric-id":19018,"id":"Q19018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$906FC088-1B97-4833-AC59-491F5F7F3287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27e0f2295319858ee390a94c1634d8a65dd905c7","datavalue":{"value":{"entity-type":"item","numeric-id":14236,"id":"Q14236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23407$578D3FC1-1928-45A7-8AF3-C5B86C286936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CSP-prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CSP-prover"}}}}}