{"entities":{"Q1349739":{"pageid":1360478,"ns":120,"title":"Item:Q1349739","lastrevid":56462952,"modified":"2026-03-13T06:41:16Z","type":"item","id":"Q1349739","labels":{"en":{"language":"en","value":"pyModelChecking"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"54f457a336dd7e2e0c18c92a1611ac8674fc1d84","datavalue":{"value":"44205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349739$CF286ED3-1965-4DFA-95AC-F4928AA18686","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"ebacbc00cbda34f51934f368d6240e0d7bb6d21d","datavalue":{"value":"https://github.com/albertocasagrande/pyModelChecking","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349739$88ABB258-ED31-4A30-B108-2760547CCBEC","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":"Q1349739$3F0E7D4C-F9B1-429D-A4DB-6435D5C9F091","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"ce336dc630d7b9cbdc5f70a24b7575f02cc97bae","datavalue":{"value":"swh:1:snp:d5925ce84f4fc48581ffc02792beed0af0a23e27","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"ebacbc00cbda34f51934f368d6240e0d7bb6d21d","datavalue":{"value":"https://github.com/albertocasagrande/pyModelChecking","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"55437cd45f8488441d01ca68452d966720218ae9","datavalue":{"value":{"time":"+2024-01-10T00: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":"Q1349739$5BFC321E-E7A3-4238-975A-4899AF11B86B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e60d3ab62b461cc94089e9dc288c49dfec170511","datavalue":{"value":"https://pypi.org/project/pyModelChecking","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349739$2D29315D-6EDD-4D46-9619-6C1F878869E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349739$36FCED1B-B33D-4F10-BE18-C71334082ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349739$A59D96B4-14F5-4CDB-BD6F-0AAD494E398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349739$70D1A4D2-9EF3-4BD7-84EF-11F7F2934719","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d89df1ecebe772c6d89beb27ab4eb1bd62721a15","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$025EE843-6F5D-4C21-BA5E-CD7ABA8F7E74","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":"Q1349739$62860A27-FB39-46FD-A271-E603CC7D15AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$A5DEC6D0-5296-422E-AFE3-0F1C1F83C453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cd85ea4235f75e500e615783d8111edd91d3a41d","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$149E4E18-0E9A-4EAD-BF9A-C14A301B0D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c30f33a520586f4e186c4684f96d47e7cca3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$B9C42125-5601-49AC-9A15-8CEBEBAD47C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fc75c5385eae57245f39190c7432c486d7a3d0d5","datavalue":{"value":{"entity-type":"item","numeric-id":21793,"id":"Q21793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$F0574B9F-57AA-471C-862A-282AA93BE512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e57995165428ea25b1602b3372c5868a5951b050","datavalue":{"value":{"entity-type":"item","numeric-id":26958,"id":"Q26958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$15757DDA-70ED-4F76-B8B5-DD948EEE4063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a1b87c40cced1afe23f9ae8ed97996053ba41ac","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$83AFD903-0935-4D64-98A3-B439F37F4086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea33959c08006f6073c1d1044d21ffca8f0fd427","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$B960912A-5907-437D-A122-CB15175DEAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"17ec403dede3a0f803ee2ea795d9ca5b9d1b6fd1","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$403068C0-E8C6-4E94-AA68-33F7AA2C6BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dbad72d1f424ab979d0ca2822dfd227a387f6fb","datavalue":{"value":{"entity-type":"item","numeric-id":24860,"id":"Q24860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$414DB75F-2B3A-40DB-944C-84EAA7D0B354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fbd787e9a8a7f2e8df18b464c7f4769454d66363","datavalue":{"value":{"entity-type":"item","numeric-id":5973055,"id":"Q5973055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$881EB100-F6A8-4F24-A819-4334E53A1804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"17134725281998202d1c185407a6a6baa33e6c56","datavalue":{"value":{"entity-type":"item","numeric-id":1349741,"id":"Q1349741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$021399AD-27B1-4CE0-A94B-FC6CA7B28C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"57c1f1d25c74c43f8eba3da03c2ab94ce07b84ed","datavalue":{"value":{"entity-type":"item","numeric-id":21906,"id":"Q21906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$920FDC9F-D9D9-450F-9DE3-4A632790884F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a23fc872a742ec126a5c2c38f2176a0dcb1a136e","datavalue":{"value":{"entity-type":"item","numeric-id":1349737,"id":"Q1349737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$9C3AD818-CE33-497D-844F-F0EBC8E4B187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"384c2d3c4a1740b5dd66833b7a3bb291453bc329","datavalue":{"value":{"entity-type":"item","numeric-id":25351,"id":"Q25351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$6EB17AF6-862F-4B51-B2DD-28EF1927658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c55e7b42dfa5cb187e69a94430507ce8232d3399","datavalue":{"value":{"entity-type":"item","numeric-id":21065,"id":"Q21065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349739$53F2BEC5-996E-4DF0-839D-BD2763C7C4FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PyModelChecking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PyModelChecking"}}}}}