{"entities":{"Q39279":{"pageid":39335,"ns":120,"title":"Item:Q39279","lastrevid":56355204,"modified":"2026-03-13T06:12:43Z","type":"item","id":"Q39279","labels":{"en":{"language":"en","value":"F*"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f2f788b467df1f2bd8accf4406045f6d78103ec3","datavalue":{"value":"27563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39279$36D1934C-BE07-401E-84F9-BCDA4946F80C","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"91c6d05ebe16f3ede35149d0285d5dcfcdb727a3","datavalue":{"value":{"entity-type":"item","numeric-id":5398328,"id":"Q5398328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$556B1D7A-C3D0-463A-8F55-60B1137C3E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"35ca3f5f6d85d3bf971aa831c92bd7506791d5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5176981,"id":"Q5176981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$424AF1A4-0FD1-4893-90F3-9C52FB5C7DEB","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":"Q39279$17BC6C1A-4276-4CBE-BD3E-CBB0EB86CF1A","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"76ee5a748f1104593d326e31cae680537ba3fc4b","datavalue":{"value":"https://github.com/FStarLang/FStar","type":"string"},"datatype":"url"},"type":"statement","id":"Q39279$7B701B0A-B116-4DC3-A3CA-00FC8C94D39B","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"d4a589e57d6715cb87d97aeea50c0cb5e4cd97b6","datavalue":{"value":"swh:1:snp:0dbe946706fffe8413d90c0e2708d64c08ba3150","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"76ee5a748f1104593d326e31cae680537ba3fc4b","datavalue":{"value":"https://github.com/FStarLang/FStar","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"502850434f5dc1dadd7e446b08564267b747676d","datavalue":{"value":{"time":"+2024-03-12T00: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":"Q39279$A201DB6E-7A51-49F2-BAD2-2B75AD0B79BF","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"14be6a7837f9c9cee7454e684a73cfef20ec2bdf","datavalue":{"value":"https://www.fstar-lang.org/","type":"string"},"datatype":"url"},"type":"statement","id":"Q39279$0AA54577-1D02-4EBD-82FF-0AA7F9422E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39279$6CB42AE2-4EDE-4B38-8C05-E4D04A213F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39279$BFB4A768-CF55-4AD0-AB93-9042AE54474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39279$06657B81-424E-40EC-B12A-CDA24FEB6459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39279$94C829E5-018A-4F4E-8DA7-266EE01FA40C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$060EF4D6-12C7-4A0A-8F7E-0DB144294C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a3f9d192df50f24767772f5b218635cb7747b820","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$E3B1D1DC-9BF3-495F-81BF-2BF8F384E5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$2A2427DA-F42D-418C-B4CB-9BD4CBDE1A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cc6b0913edacded01c385a7bde05b242ad151a4","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$59DA0F71-34D5-4F0B-A778-FEDA4B351477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"acbb7343ca91abc55f27a1bba1da913a8eed5df3","datavalue":{"value":{"entity-type":"item","numeric-id":23424,"id":"Q23424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$E7AF149B-EC32-4B96-B863-9D46093E67A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d5211df17a010f85ec7b9023f31dbebfc75c11de","datavalue":{"value":{"entity-type":"item","numeric-id":21669,"id":"Q21669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$7CCD1C37-5C28-4A92-ABFC-3D6C90099572","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":"Q39279$AB41ED35-49D3-4EC2-AC09-DA07E3A496E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$EFBE26A8-D63D-4392-81B3-CCA457788470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a02d239e8e5fb50db504a225f64b24632e538b0","datavalue":{"value":{"entity-type":"item","numeric-id":52554,"id":"Q52554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$B97D5923-E1FE-4105-BCC8-24A4F86BCDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$3CD47B2B-473E-493B-871F-CC1C93BA6CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da71442535724374fba994798fe2e776a105b283","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$45E6F7D7-D86E-418F-86F8-DB503239B874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$171DB632-0A7F-4BCC-AE1B-60DD49B013B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$C53BA3E7-3E22-4B55-8319-50C868537A56","rank":"normal"},{"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":"Q39279$A5E5A4AC-5E41-4090-AE04-A7EC2AE94505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2dd0f68f2db49987843fbfd2e3249bac6551d0ec","datavalue":{"value":{"entity-type":"item","numeric-id":32413,"id":"Q32413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$408B6D52-D613-4005-A7D2-FEFA7E08EE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1421f1a9fc4a13921eb46fba45f5aced114fc8b9","datavalue":{"value":{"entity-type":"item","numeric-id":34865,"id":"Q34865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$43C8E754-B4C4-4036-B368-852ED7178E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$3B301B1A-476B-4732-B1F4-1517531C1A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aef05499d92f1f08c2b3b19259de9c55c6b51e05","datavalue":{"value":{"entity-type":"item","numeric-id":40561,"id":"Q40561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$4E52BF69-FAEB-4068-AA82-A6F74105C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2b11711042f0541d30a89aab2f1c4ade7b181a","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$8610869F-75FD-49B0-9052-13B85E806C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"883e9b82fbb885d1254e29faf75b0e1e44d8c00d","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39279$AD242B71-32C6-4A31-89AB-C777160B7413","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"F*","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/F*"}}}}}