{"entities":{"Q1351993":{"pageid":1362732,"ns":120,"title":"Item:Q1351993","lastrevid":56445537,"modified":"2026-03-13T06:37:14Z","type":"item","id":"Q1351993","labels":{"en":{"language":"en","value":"Kaa"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"8d3b199c3968003b372a1a82b9605b61a9dfc62c","datavalue":{"value":"42705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351993$59B433F6-525D-422F-B5C4-31267DA57814","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"e0d9e41502dc95753985366b185079dae9335ba9","datavalue":{"value":"https://github.com/Tarheel-Formal-Methods/kaa","type":"string"},"datatype":"url"},"type":"statement","id":"Q1351993$6FC5CA40-6912-4C4B-912C-99E91F5CC56B","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"b34c134ccd6e80ea1f6f294dcae54429bea087f0","datavalue":{"value":{"entity-type":"item","numeric-id":832032,"id":"Q832032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$339B5E75-1F55-467E-B774-D547C92A438E","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":"Q1351993$D81ED50C-EC86-419E-9BAE-52B99F29FED0","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"0dfb81af4dd5e08dc7cd39fda553a7710741b548","datavalue":{"value":"swh:1:snp:4435f0d6e62573cd84f34d8b055dd5c935e08e9a","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"e0d9e41502dc95753985366b185079dae9335ba9","datavalue":{"value":"https://github.com/Tarheel-Formal-Methods/kaa","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"ebcdbb4720eaf4be40dcb33707b5c506bdcb0e7a","datavalue":{"value":{"time":"+2022-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q1351993$330A9EE2-3B03-4FB3-B5E0-5F2D2027100E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"98c85362f7c8e7a175fa72f932c59fed26528380","datavalue":{"value":"https://easychair.org/publications/open/Flp2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1351993$7D281AA1-FAA3-4ABD-B551-E1D7D21CDDFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351993$2A7EF027-D293-42C1-9B88-9B0ABAE605F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351993$AA90A3EB-9891-430E-8CAD-97EA18A0F5CF","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2e57f7bc0e4c0eac204b97559bfce96e771694d5","datavalue":{"value":{"entity-type":"item","numeric-id":1351987,"id":"Q1351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$EC456DE0-443E-4744-8098-AC4BB5477664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aae2ed65f315ec481988c4c8aa672f2062d79f51","datavalue":{"value":{"entity-type":"item","numeric-id":35337,"id":"Q35337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$1A481206-C11A-42AA-8CC7-F34FA7652AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"229be6d35e6a6cc9b891b0ad25e96d0e6b080e7b","datavalue":{"value":{"entity-type":"item","numeric-id":31986,"id":"Q31986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$290B4E35-992B-41C9-85C2-A85C05E2378E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c9bcf9c514f08bfce65561dbbcf4b9dde98592","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$A28681A0-E442-4B31-B848-3546AEB66B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"455b00859381b416e797394b11a7dbe1037097fa","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$B0F18F92-3EAE-4744-8B85-A0FAF65941AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f6d76cf60509100febeedb74b365263d60f6dfda","datavalue":{"value":{"entity-type":"item","numeric-id":1350652,"id":"Q1350652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$72135CEE-A1E3-4344-B1E0-8079D78B3B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ffb70e13006d4f018e42f47d7feb0d00826421a6","datavalue":{"value":{"entity-type":"item","numeric-id":39932,"id":"Q39932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$B7F92B90-4A63-4B8E-A43B-C7E01E7677FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8538e7edb5814bed39cd0b655e7261f88db36dd2","datavalue":{"value":{"entity-type":"item","numeric-id":32917,"id":"Q32917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$7896C8D4-886A-487A-9EA3-C1C840CAF9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"209293c63874bc9c46a181ba9bb0bf96cc6391b1","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$FB37EA04-22EB-4D54-A3D7-9BD5788406BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cf576b8af5d4e4f4c37b7ec488e7af40c52cdc31","datavalue":{"value":{"entity-type":"item","numeric-id":18756,"id":"Q18756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$13173AAD-FE0D-44CD-83A6-AFED5A02442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fef5119cc276a651ea287663b7bbac85166163c6","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$742198A6-2994-483F-91C7-F302347EDE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20f24b35928b1dd8019717de94ed50292b94fae9","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$58CC88B5-B8C4-48D3-B41B-F7D537B59A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4cbe3f1486e7fafad1f60dce21451bcc64856c3d","datavalue":{"value":{"entity-type":"item","numeric-id":54222,"id":"Q54222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$D4F2CEE3-50E6-4266-A922-51F85B9107D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"faba020dd5002b435d2295ed59494070f5de5bcd","datavalue":{"value":{"entity-type":"item","numeric-id":39931,"id":"Q39931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$2648DEAF-71ED-4C0C-96CF-E56223C24E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bc794d34d26fffbf018f6594229d1a80d0bae01a","datavalue":{"value":{"entity-type":"item","numeric-id":44250,"id":"Q44250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$9F1B5DB1-DCA0-4F59-9A09-10D6004D5958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4da3d81b34bf309255cd0e0f1303ac8dbbfb176f","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$F80FF55D-6004-4000-8CFC-4AD7F1BA6055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf41439dfad28cac6fa93ca2a8a8bfb52f2a21a9","datavalue":{"value":{"entity-type":"item","numeric-id":26449,"id":"Q26449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$46C906F3-B1F9-4A64-BF8D-4EF98073A6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"02d281b0b8290d41322495759d8b7ff80318fe99","datavalue":{"value":{"entity-type":"item","numeric-id":1351990,"id":"Q1351990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$8437E3DE-735A-422B-9A1C-BB9B787A57AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351993$4A653C6F-AA57-4C7C-A177-2FF0C998FC48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kaa","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kaa"}}}}}