{"entities":{"Q21933":{"pageid":21989,"ns":120,"title":"Item:Q21933","lastrevid":56249355,"modified":"2026-03-13T05:45:01Z","type":"item","id":"Q21933","labels":{"en":{"language":"en","value":"SCOOT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"29d9d1b05394c07355bbd463f8dcca9c04abd4d7","datavalue":{"value":"9954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21933$BED23208-66D4-422E-95A7-139C220922B3","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":"Q21933$C2A68001-2610-4965-85EE-E85CEEF726E0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"091c8d9868548a5f7c753ab05a205e98a51fe730","datavalue":{"value":"http://www.cprover.org/scoot/","type":"string"},"datatype":"url"},"type":"statement","id":"Q21933$230EA484-540C-4475-B7C5-16237A1C84DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21933$29CBD364-0477-44F4-A217-5D72F079CBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21933$D220FDDD-748D-43FC-9372-A1FB20579B4D","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d532e5e8f28d62c92789783af8e6f9e39ae52c3e","datavalue":{"value":{"entity-type":"item","numeric-id":21934,"id":"Q21934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$91D32B1F-DDE7-4195-AE7A-6088A4FD1C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e6d2e04e15e4ff7c5352e03cfb60cfa3a47ea2e8","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$F68A67EB-89B3-4F6C-92F6-20219BF12069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"deabb3a509275981131189078b9d9fca9cb8e1bd","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$506F679B-6AB3-40C6-AF7C-EC48190683C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea8cbb6cabd8331d614ec3d875c6ca9ff867a802","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$A552FF64-895B-4614-9D4D-EE717D7335BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"05d5bfa6ac6794d0c9f673bba18900a5eb010605","datavalue":{"value":{"entity-type":"item","numeric-id":19824,"id":"Q19824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$38965B62-984E-449C-A3FE-2A9BC59C6018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f349865de5c29264842bf478dc01d3ee732ed741","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$3738CA19-5991-423B-A8B9-1A779815FDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53dc8b665555c418ede526a5287817b4cab45873","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$0E12356F-5FA1-4188-B69E-1319B2F91CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"02b329e86bd44e002b407e5543cbe998c79c263a","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$39AFF211-ACBA-45E1-9EFF-7A8C88A807A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$DC56F29D-6569-4AA8-A36E-4793342A10A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fbf202ee2b6e5912a6faa7a88e6e3186417d8860","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$2E9D3F31-27C6-46F9-9601-12F783CD23A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0a4986ea38c452979a8209911e87d2ec31206db7","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$4AAC952A-F68C-4186-88F6-10D2B5BC2CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b37a8a80b69a51617bb49d05d0c34a944056f381","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$E8CAF157-53C7-4CF5-B379-C9E7729E0FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$D57FA815-F0FB-4562-8075-83522B2A7136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd36a79f21586dcde663ed7a88c99f00a8d8c485","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$14AB992A-E6AA-4FA2-980F-A6F1A5094716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c0643ed48e2fbaa5ca11e3415e758a5528ea88c","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$22F6E477-7FF1-4DE4-9E58-6FD43B229362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$36F56A1A-2D0C-495D-8CE1-EAE131BF63C2","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":"Q21933$AF5ABDE0-BEA5-4B40-8759-7CE4A951F64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7652f22ff2f7e5067ab8936cb52781cb5e23f38","datavalue":{"value":{"entity-type":"item","numeric-id":37164,"id":"Q37164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$0C8012A7-7031-43D5-8CD9-D7C7013B415A","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":"Q21933$5824CCF8-FAFA-4E91-81D7-71701E6EDD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d415c0e796201decc94b5dc4e3ee671f2a4aa29","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21933$3A23CC08-A059-4F8B-9D19-BC4FE722E8AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SCOOT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SCOOT"}}}}}