{"entities":{"Q6879433":{"pageid":20773156,"ns":120,"title":"Item:Q6879433","lastrevid":75323338,"modified":"2026-04-18T16:48:11Z","type":"item","id":"Q6879433","labels":{"en":{"language":"en","value":"Makina: a QuickCheck state machine library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8140668"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$140B9F66-92BB-4B90-A576-4414B7D788C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"276d3f0b11795af361a21b39aa9a98de159539f2","datavalue":{"value":{"text":"Makina: a QuickCheck state machine library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6879433$C2A6917C-9152-4593-8602-9E3D1A0EDEC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21f583625f016397023410cc5f87e0e02b27ab4d","datavalue":{"value":"10.1016/J.JLAMP.2025.101096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879433$41D1071F-1581-4F66-BE68-10282D1F52FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f36e0e4d01217e33d3fcfacb98ea9c0da75006","datavalue":{"value":{"entity-type":"item","numeric-id":6643473,"id":"Q6643473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$D341B2E8-BA4B-41B0-861E-AD77B18948D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f809ca6240274953ee14d763a300b54c0957f16","datavalue":{"value":{"entity-type":"item","numeric-id":1391795,"id":"Q1391795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$037F4163-ECEE-4F43-9D4F-47441A7563D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03e938295e69b22392484943dfa247d6d367e18f","datavalue":{"value":{"entity-type":"item","numeric-id":2909147,"id":"Q2909147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$4E1815C2-3A6C-42CC-AF7D-51850926CEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf7ad04e963b8c9a8e0c148baeebf8d99ee5f33","datavalue":{"value":{"entity-type":"item","numeric-id":2095428,"id":"Q2095428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$E145EC56-F26F-4B3A-B827-F30493731029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d454d038fa029b1f9a5f25ea0d9c8bbb1e2e08f2","datavalue":{"value":{"entity-type":"item","numeric-id":511022,"id":"Q511022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$9CDE85F4-743D-42AB-8E98-5905D516DD58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$3ADD6632-BC1A-4683-8A94-40669C863566","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11cbd9a6b07c2381cdc8b09e4439c018c2b94d2c","datavalue":{"value":{"time":"+2025-12-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6879433$63930CA3-1DCD-4D8A-A652-545742B73D92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879433$A852CF21-34AE-40F6-ACDF-BC42D7A038F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879433$67F5132E-A142-4585-B5F3-C9AFFDA7C84C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4db7201a3a8fb8dcf2afb4aa8fbb9970bbdf6fba","datavalue":{"value":"8140668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879433$8FD60DA6-CB96-41BE-A10F-CA44F8CF988E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd0bc2de9be614357048753018b3bdfb79d97a1","datavalue":{"value":"property-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879433$3E708414-6268-43AF-9025-CE7D68861614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2262facddf8067e8c88e20815c55a0cf2bcf58","datavalue":{"value":"state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879433$66A0847A-50A3-440E-A4A5-48DA9130446F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5628893e6e57a9b528b391e0ec65f2f2330f5fb","datavalue":{"value":"Elixir","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879433$0D009152-194D-4FE3-AC3D-B41C0593229A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879433$33591F0B-0BDD-4B55-A933-F57A41324BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcac577fa708dfca6d528e19041fef3607f3d2db","datavalue":{"value":"modular specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879433$5B8B3EC1-B5E2-4AF7-9BB4-0EBB1EA0E4F5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879433$6876E6C5-4A73-43F0-AEFD-40F57370F93F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Makina: a QuickCheck state machine library","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Makina:_a_QuickCheck_state_machine_library"}}}}}