{"entities":{"Q988201":{"pageid":990049,"ns":120,"title":"Item:Q988201","lastrevid":65921658,"modified":"2026-04-12T06:16:57Z","type":"item","id":"Q988201","labels":{"en":{"language":"en","value":"Type inference and strong static type checking for Promela"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774999"}},"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":"Q988201$9F430DFD-DDB1-4FAF-8D6F-DBB942F1ABDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd8c9e18f88de491395173069f72521208d85836","datavalue":{"value":{"text":"Type inference and strong static type checking for Promela","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988201$DE3F0DAC-7E36-4901-8A9F-A83BC69580F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e132fe17659d4e16a0b197655a53eed426762ba8","datavalue":{"value":"1209.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988201$ABCDB02B-FEDF-42DB-BB9A-C31A77996C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$D5937DC9-5B8A-47CB-AD5F-7CF308BF0D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"321ca6e544834c17532b59a2fec765e641824743","datavalue":{"value":{"entity-type":"item","numeric-id":859840,"id":"Q859840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$83DF4FAE-CEF5-48B9-9CE6-AEFA7A2BADCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$EB734D75-7E70-4DC6-9515-28E1D463D6F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988201$66F1212B-DA1D-4A0C-A590-F2E480E9062A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988201$20EE097A-ACC0-4382-8ED0-1B1243A56C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988201$98D38613-E132-4163-BF67-D5BB4F1CF421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7d15f566b3bb3acdd4adfa337b63fb9957776c8","datavalue":{"value":"5774999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988201$5193779B-D647-4560-8A22-B2AA482FF475","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781f78ffdc47bac1c5888ea37cf22bbef648783d","datavalue":{"value":"promela","type":"string"},"datatype":"string"},"type":"statement","id":"Q988201$85611FD6-A180-4033-83CA-BBECCEA19392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f12a5a1bb8b683b4a145865fab30d25f003aa2","datavalue":{"value":"spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q988201$0353C4D3-814B-4FDD-9F9C-A20C8F7ABF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q988201$F66FAB0B-7532-4053-AD7E-05A31A1E1CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q988201$8BE114C1-DD79-42FD-A143-6AF7A867E95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q988201$D7806AE3-C495-4EE3-A090-23E919EF4EC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$76C0E4AE-75EF-4B63-BCC4-8F528E1D276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81765de327b048f15c0bb31fc9188771aa32b3e0","datavalue":{"value":{"entity-type":"item","numeric-id":19658,"id":"Q19658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$EA511B23-0198-4AAE-B239-FF763E68F239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$1E6359B8-5D24-47C2-906E-4137E9C56A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$AAE201DB-93DB-429E-8D77-70F48E4B48DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"905f756b551096187ba96fca390ca91be930dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":17130,"id":"Q17130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$54D3272A-A017-4811-9B56-0C236CBA02E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$63BE32DC-3F0A-4C3E-A931-A494EC286AA8","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":"Q988201$AA08A9E3-506D-4834-9178-2ECE5CD968A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edba43e9018179a3cd837bf74f1abdd71c9be6d4","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.05.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q988201$4E21D015-D9A1-439A-A05F-ABC1D9AC133C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24a744f43c1361c6bc7cf72ff6c5beb2918dab25","datavalue":{"value":"W2068086706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988201$F78D5C7C-6141-489B-A978-43B540DD450E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$1EA4C168-1CDF-4DC3-848D-DDEB279D839B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84fab24a7f448f35647c890404d0ec85bb9653","datavalue":{"value":{"entity-type":"item","numeric-id":4531760,"id":"Q4531760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$26B25F05-D905-40FE-B48E-43B14BD8222E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91019ea35e1cc05e49615e881a22dab7187da386","datavalue":{"value":{"entity-type":"item","numeric-id":853722,"id":"Q853722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$A82B4BEF-4159-4DB6-9AB7-0939F6876FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e18d1ff9e4f878683676cc1b8d2c70670171782","datavalue":{"value":{"entity-type":"item","numeric-id":1021571,"id":"Q1021571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$5FB7B77C-2DB0-43AD-A5C1-B5F49AD8303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44800c5798875844175881ea0eb7030d0077512a","datavalue":{"value":{"entity-type":"item","numeric-id":4222755,"id":"Q4222755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$8AF8CDBB-C8DF-4FE2-B9C8-F23055BAAA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd9ffbb2bb1a9467c3702b24d09ef15e73cf978","datavalue":{"value":{"entity-type":"item","numeric-id":1887738,"id":"Q1887738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$A05CD8E7-3BB9-471A-8EA0-F7AC3EB6F338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$0944D8F3-36D4-4883-806F-8D32DBE7D0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$43F473AD-B32E-4366-9ABF-61811492A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a1d438e1e999c84950266e0e8f5cead25f48fb","datavalue":{"value":{"entity-type":"item","numeric-id":3108337,"id":"Q3108337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$5F693C6B-668C-4767-AE00-E17569129BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99d5c598b79868ca097c855fbfa9c076ee241b9","datavalue":{"value":{"entity-type":"item","numeric-id":4518886,"id":"Q4518886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$63661A51-9C28-41F2-9DB3-87302D4AEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$731F65C4-3D8A-49BF-BD09-483E1563AFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3718c6bf57f5371aee2d246b8d5205c2c477cec","datavalue":{"value":{"entity-type":"item","numeric-id":1205185,"id":"Q1205185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$D945C7F5-DA25-4659-A144-C4F2ED09DAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$BB7C673D-EC8F-42A0-8A1A-EEF5F15AD818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$A452BE47-6658-4EE0-BB2A-B2DCBF8DD7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec8627b58ce0ddf1babc17382872c678cc9547a","datavalue":{"value":{"entity-type":"item","numeric-id":5348899,"id":"Q5348899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$E7A42ADF-C434-4CAA-95B0-C11D49780575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b003f0832ec5fe848c059fb75c7471d045f97e1","datavalue":{"value":{"entity-type":"item","numeric-id":1854464,"id":"Q1854464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$F3DD2D89-AC62-480C-874D-4CBA182A7B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60385e3825afc0795b17d7ef91f86b0af7bc5abb","datavalue":{"value":{"entity-type":"item","numeric-id":5178963,"id":"Q5178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$8388ABEC-4411-47B6-B302-A8C38BE73AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$781079A9-0F35-42FC-99A2-FCBE9A2EF252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988201$7BB72332-7257-4EA6-A98F-B5F0FA20791E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8af7d924859a8974959780546a0f79e871e73c59","datavalue":{"value":"10.1016/J.SCICO.2010.05.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988201$311CE6AC-5301-4283-AB58-A08A8FE4C629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd4cadff8376df57883391d2745835ea9db7a71","datavalue":{"value":{"entity-type":"item","numeric-id":5178897,"id":"Q5178897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447eba81d9804cbc4a116c25c795fca18df2c543","datavalue":{"value":{"amount":"+0.7302135229110718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q988201$DC9B9815-C8E6-4AEC-89A4-B69748F40BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55fda94bbf542d1012ee05096f4781d0ca46516","datavalue":{"value":{"entity-type":"item","numeric-id":5316577,"id":"Q5316577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5a6bded6cd83d09437846d601482ccac61d02b","datavalue":{"value":{"amount":"+0.7201032042503357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q988201$2DE3E394-FD9B-4F89-9A09-26AFDECC2E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7406a6043450609f29a9adf09cf8e8c5eaa87040","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d493b454e54ec6468a4a764521a367cec89722c","datavalue":{"value":{"amount":"+0.7139418721199036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q988201$694242F4-C178-4911-969C-FA99C5DEDD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf035e9d36c2d71fcd8ce4ce446aadfe916a019","datavalue":{"value":{"entity-type":"item","numeric-id":5466554,"id":"Q5466554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0318b04df7f0cb2b8beab8d6c4413e4a3a1797c6","datavalue":{"value":{"amount":"+0.7087672352790833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q988201$D4468FC9-85B6-4618-AC53-4A687455DBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eccd09397d702949754798cd5a4ecd3aeb7d4df","datavalue":{"value":{"entity-type":"item","numeric-id":859964,"id":"Q859964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99fb2263b5d2c41e9492686805d534b8fbb42f9","datavalue":{"value":{"amount":"+0.7076759934425354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q988201$F7D3C19C-49F9-4C18-A680-1B7B0DBDC6F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference and strong static type checking for Promela","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_inference_and_strong_static_type_checking_for_Promela"}}}}}