{"entities":{"Q2495403":{"pageid":2506146,"ns":120,"title":"Item:Q2495403","lastrevid":49867726,"modified":"2026-01-11T10:57:15Z","type":"item","id":"Q2495403","labels":{"en":{"language":"en","value":"Infinite-state high-level MSCs: model-checking and realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037296"}},"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":"Q2495403$E0EEACF9-D652-49C5-8974-883371714495","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"631349bf3541082f9ec60e21c8e7367b146eb7ed","datavalue":{"value":{"text":"Infinite-state high-level MSCs: model-checking and realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495403$438FF8C4-29C3-4208-8CB0-D00B11923EEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1630da0038e64178703848f1c2657b0cbf7f6d76","datavalue":{"value":"1105.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495403$05447C78-B15B-4EAB-A483-AB02624B7FFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c25692d5864b09581ae766555ef6d0e63eb5f0e","datavalue":{"value":{"entity-type":"item","numeric-id":436615,"id":"Q436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$E5A9106E-BEC2-46EF-B0D6-15065232ADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$AF5C7024-B154-4090-B472-80968CFF4DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$85D1963E-BD7C-4447-865E-74F778340D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$517F0511-920D-4AA6-94FD-7F7DCE11F6FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$9B10CC0E-A300-4572-8A72-0B31EDC42E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-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":"Q2495403$9328B964-2EA4-4B8F-8DC4-8B654BCBC416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495403$DE56C449-B012-4764-B68C-23DE59D5C3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495403$0E9763D0-94B4-4413-9AA9-31361D4E2BB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a456b563a010dac415765be16491b46ed528ea29","datavalue":{"value":"5037296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495403$42F76998-3C23-4D5A-A8A6-63D10A1DA2F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495403$7FDA1057-F19C-40BD-9209-54F1178DBF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df8587b8cdc183458a338b53fe4faebd9aebbe79","datavalue":{"value":"MSC model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495403$F84AAF96-0752-4C57-98D2-5F72E262B2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495403$9080BC0D-6E09-4638-A3A0-B4B8E1E88B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b540c1974e4f91a1ebdbd0611399a8ad7d05f0","datavalue":{"value":"communicating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495403$48968B20-E1A1-444C-973B-8C890DBB6B58","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":"Q2495403$3AA6DA22-0D9D-4494-B3A7-72A019122E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f558efcc8aa1d9a2480f4832f0dd3f4618608984","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2005.09.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495403$5484F20E-B4EA-48F8-9646-CBEB3F47C6EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae40b950011b8a64fe8d3f5ab5e7f91da2512b85","datavalue":{"value":"W2146742781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495403$0D7A8A55-4263-48C0-9E73-D989EDAC5C36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2182b7779cb179b39a2d6903978c52b8f514522f","datavalue":{"value":{"entity-type":"item","numeric-id":1770427,"id":"Q1770427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$3075E1A9-6510-4670-B396-9CA911C36FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$DCB1DF99-34BF-4F34-91FE-5CB3764A9336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8f44c10c9ce9e069cd7a23e6049cc37b8ddb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4532079,"id":"Q4532079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$D7FE64F6-5377-4C32-BF55-17B948AFA293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14544fd5181b078c7cc423c5c493a45ca792eae3","datavalue":{"value":{"entity-type":"item","numeric-id":5711975,"id":"Q5711975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$D79AC342-D5A9-4D1B-993C-778533AD2240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fada216d5e08eaceccba67dea2f916a1dab43f","datavalue":{"value":{"entity-type":"item","numeric-id":3044337,"id":"Q3044337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$177916B3-2D29-455B-8C2E-BBD0E0F1DB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c34147ffd6c06a9dd1a5280776b0af56a634c68","datavalue":{"value":{"entity-type":"item","numeric-id":4737197,"id":"Q4737197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$0B3D98FD-4826-4986-AA65-DC0B8D3ED960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957ca1b3f93af567f6152b6b43dd2b5768568d53","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$BACEE37F-9787-4F68-8CA7-5566F121C54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a141e186f93b943e7f6d8d3b0d3780cef7d87f60","datavalue":{"value":{"entity-type":"item","numeric-id":2754187,"id":"Q2754187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$5941CB13-5BFB-43B3-B5C1-36E5AD05DD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b55cddd5b17d573486da63a02861fc86a87952","datavalue":{"value":{"entity-type":"item","numeric-id":4484487,"id":"Q4484487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$8087AEB4-D455-4907-8718-F26FF652A7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decb4737ef9605c600f3faacab42ab1687d3b246","datavalue":{"value":{"entity-type":"item","numeric-id":4535064,"id":"Q4535064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$D6EB3F81-19AA-4AE0-AD80-CBDD3F2E2697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$C03F06BF-5AF5-450C-ACFC-CD7668C64A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32aa1157772b94939bba2ede97a34ba9aaba6f","datavalue":{"value":{"entity-type":"item","numeric-id":1111703,"id":"Q1111703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$F49F8FF7-6962-4E87-8877-AE4512137157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434264a0a69e6edfaac74758bdb1a1a6eaaeed73","datavalue":{"value":{"entity-type":"item","numeric-id":4736868,"id":"Q4736868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$F87EC56A-9E82-434D-9F82-28474B2F9538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f87bea368bb687c968dac5ba717c4c09f8d973b","datavalue":{"value":{"entity-type":"item","numeric-id":4536625,"id":"Q4536625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$D64A1B84-C269-4B70-B7F9-5A27FA5881A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c18ab676636b97245c873cb4e3d5b1cf83e630a","datavalue":{"value":{"entity-type":"item","numeric-id":4941891,"id":"Q4941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495403$38E75378-27D4-43B6-ACC5-66A171A38302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf98b25c52431d6b261179bb1b4bdd2f228ead78","datavalue":{"value":"10.1016/J.JCSS.2005.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495403$46AFA533-4D19-400E-95B8-99AFC7ABED5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee4b62ab20f759c8da9ba63ee2103791518b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4737197,"id":"Q4737197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bfdc502fb1272bc94fa8b6ad9a8245337fb5e08","datavalue":{"value":{"amount":"+0.9186060428619384","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":"Q2495403$302C045E-2594-4993-AAF4-16214A86B34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dd22aab631d47ac3a7975396c4e74409630806","datavalue":{"value":{"entity-type":"item","numeric-id":4535059,"id":"Q4535059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be09703af2ad76f2003d1bd0056d17d7ae568500","datavalue":{"value":{"amount":"+0.855229914188385","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":"Q2495403$D2639D9D-332E-4900-91A4-B20BCD9C6021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec871a9505b08233e7fdc01ae2af4d37b6fee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4484487,"id":"Q4484487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be09703af2ad76f2003d1bd0056d17d7ae568500","datavalue":{"value":{"amount":"+0.855229914188385","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":"Q2495403$5174EB18-C55D-4EAF-A80D-DFF1874050E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b693a8a053664e2303d82a2e6c155db04e93994","datavalue":{"value":{"entity-type":"item","numeric-id":1884911,"id":"Q1884911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7431bd884ae2bbeb758c1e795e37249aec6033","datavalue":{"value":{"amount":"+0.8515339493751526","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":"Q2495403$3FD49359-B696-4817-B94B-650A6B557A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e03a99909eb2f7720923aa126af1ac7f80b2ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2769610,"id":"Q2769610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e584da28f9ed1bebb6778180e938500b231cc8ab","datavalue":{"value":{"amount":"+0.8459208607673645","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":"Q2495403$93EFB75E-1573-443E-A417-E26B3D650725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2495403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2495403"}}}}}