{"entities":{"Q33945":{"pageid":34001,"ns":120,"title":"Item:Q33945","lastrevid":56319843,"modified":"2026-03-13T06:04:00Z","type":"item","id":"Q33945","labels":{"en":{"language":"en","value":"Murphi"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e8bc444a8ec860e1e388090ec6d31b20a5825868","datavalue":{"value":"22149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33945$A0A00DE3-0DB7-4A1E-A64C-C150E2727A0B","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":"Q33945$F41E5DF0-09B6-401B-9F89-D20DFCFBF8F6","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"22e512ba57ea9d9dd8caadba9c839659049c9a78","datavalue":{"value":"http://formalverification.cs.utah.edu/Murphi/","type":"string"},"datatype":"url"},"type":"statement","id":"Q33945$547A2AD2-72E9-4299-8786-BC3AE5677781","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33945$7FB0C537-FF54-47A0-9BDF-840409495324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33945$9CE40F98-7BF7-4E5C-86D6-B34FA1F68386","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$1FF015CC-AD36-46B9-91C4-B528133725CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1840d9ca978cb27c46a83c7e9dce99a49efc6565","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$A3332018-5942-40D8-A652-479DF1B8ED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4670b60278c130cc398694b62503278740209b1d","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$7D965E38-3DDB-4E50-B8CC-80D1D861C3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f8aa2b19bc348cbe92597921af75ad7f36559cd2","datavalue":{"value":{"entity-type":"item","numeric-id":40852,"id":"Q40852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$AB8FA367-244E-4C79-9A59-EDC6F37A9502","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":"Q33945$41F483D8-A1CB-4A0A-B66C-586B226CFD91","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":"Q33945$4CBA1A3B-EE76-4AAB-82EB-6E636D71B495","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":"Q33945$E8ABE67C-BCF7-4CD0-B14B-58B367E61E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7328564303d1929bbeab82ebc64c91f01ea9372b","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$36C72AA1-A9D6-4E28-8AD2-15D88DF88B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$C81C5453-7087-437C-A1AF-77108FBA8FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0c8f75759135cda8b7961f8c9fcb00c686c349c","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$98F9F844-87D8-4331-A2CE-3D9B9195D04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"84f31e6b2e406669ea0622fb61fc5032ef64f1c5","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$F0FEA6CF-553A-4E95-9A34-E572D9655B84","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":"Q33945$71A8F19D-8F22-482E-9CA8-4E6C568B24E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dda4b3a7b31128a97400b63749fc8cac181393a6","datavalue":{"value":{"entity-type":"item","numeric-id":20895,"id":"Q20895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$AE618BFF-51F0-4954-A187-4B9DE82A640E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"484e36242dc96945449b6ca92530c4cea45d08b2","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$83B6CADB-DEBA-4014-B1E6-C753FE92AE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0a5ed045faab8b0f5b4ecff6640a5cf3e0873180","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$9659AA4A-5F60-4F4F-8650-8F62E6F55893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f2efa661b3bf9562343309839505e8c4148e04d","datavalue":{"value":{"entity-type":"item","numeric-id":1353481,"id":"Q1353481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$ED6CB35A-0845-4389-B23F-0CD82C7D75DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32f6b436c5935ed191895fa109dddd41b8948adb","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$D8D85E4E-C4A4-4005-9CE7-74E38BF4BE12","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":"Q33945$24EBAAEE-EDA7-49F1-B3BB-037EEF571392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"456841288c4d01129662e54c2e73fe6ccfaf60f1","datavalue":{"value":{"entity-type":"item","numeric-id":43421,"id":"Q43421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$5079DC9F-C802-4E22-8922-ABE2F1A6A477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d6c28fb1b93263bb235b823917e9ac17d05144d","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33945$024AAD4D-3DEA-4A70-AC65-63205953E6CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Murphi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Murphi"}}}}}