{"entities":{"Q16776":{"pageid":16832,"ns":120,"title":"Item:Q16776","lastrevid":56212296,"modified":"2026-03-13T05:24:22Z","type":"item","id":"Q16776","labels":{"en":{"language":"en","value":"CEGAR"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7f9e12cdd89f8ab53699e2e05c2f86f906c44b39","datavalue":{"value":"4605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$97367850-2B69-4A9E-88A9-DAFBD6279332","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":"Q16776$533C48A8-B259-46F7-839F-3AFAEFD1B043","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c49046ba86ca5c40aa89b2e502cc80c6b07ef4a6","datavalue":{"value":"http://rw4.cs.uni-sb.de/~bwachter/cav08.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q16776$CBE01E97-BD25-47B9-8950-5B100EB84131","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$AAC2329B-72E2-4DCC-A1FC-9FB9FABE24BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$2DD8C452-9B44-4CF8-8DE8-D9BB8376E105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$C58652E9-A311-4E6F-8B23-1A72F1B422E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$19953F0B-95E3-428C-9C9E-906E4A6E73F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$20B367F5-C441-463E-9D5D-B392E4911FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$B209E578-30B1-4398-A29B-E85CDEF426D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16776$1840A937-0E64-4943-A452-1FCB28E518F5","rank":"normal"}],"P1458":[{"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":"Q16776$F2A8C342-2ADD-4425-90E9-805C26D7C23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$B98A1E3D-F5FE-4547-AA2C-1DC4B0120E0C","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":"Q16776$9C407B2B-3C4B-48BC-87D6-40D59B6D17AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f508c94df46a9c41fe81bf5385ed50dcd63d0e9","datavalue":{"value":{"entity-type":"item","numeric-id":16607,"id":"Q16607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$5F7E1ACC-48CC-4DB0-B5E3-A656E309A12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3bde9c891ee2ad42cb68394da979cbd41a82367","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$91613E78-5F62-4F55-8A42-489866E5F4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a332fc55e9521016815a2f7c98ef1792a9bb7cec","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$30C57DDB-72BF-4155-A8A2-3174902B5CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f3d87690c9aa4658c212c2f936e4efd8f532ac2","datavalue":{"value":{"entity-type":"item","numeric-id":18643,"id":"Q18643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$9FDD80D7-E74A-4841-AA3E-7F284F3D1883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4e957703fa9117b8a7df32eda567f5da1f0943d3","datavalue":{"value":{"entity-type":"item","numeric-id":21723,"id":"Q21723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$31469F9F-46DB-474D-A82B-AC78ADAA2230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f607b565583d3b7be8efc5930bb061be2c01a2d","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$F4F3D257-4704-46E8-BB86-B9306D779057","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":"Q16776$67268BD6-E8A2-4F6C-B590-C93F2D6F76A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1bf69e8156bf52aec1b751f8bf8fcd1a92fedb1","datavalue":{"value":{"entity-type":"item","numeric-id":13603,"id":"Q13603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$2C80852D-4977-4465-9395-5D301B70903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e56b4210f9eb9fb996262d2c19e48a8b293ba056","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$2F98788B-9235-4620-B891-CFEF3435941E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae4293277921362844d52e659f53d4bb6a996ae8","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$0CD41566-8B5A-4999-AD28-9362E5D5F2F3","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":"Q16776$D69C53A2-2CC9-47C7-87AA-7185E7211C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"506ca92f4d2e993af30c0ddbc6e82ee43fd41020","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$AF551ACB-1607-433A-BEEC-7164FA149708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9ce41118dbe81960b60f95f1ee1e1f2d6c6a7db","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$4140A3E9-2A0C-40EE-82FE-C91E2AC7FDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"070ffec594af9f254c197b5dbe3e7cda1243ad61","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$6FE5989A-4493-45A9-8B02-D299AC84325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d573788def9b56fd97e42bbcb321057f4e827cd5","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16776$D0723E9E-0880-4DE6-B6E3-227C625DF2EE","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":"Q16776$DF096C7D-66AD-4C98-A4D1-DD7358F361FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CEGAR","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CEGAR"}}}}}