{"entities":{"Q2873687":{"pageid":2884407,"ns":120,"title":"Item:Q2873687","lastrevid":83960009,"modified":"2026-05-07T15:10:15Z","type":"item","id":"Q2873687","labels":{"en":{"language":"en","value":"An exercise on transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250428"}},"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":"Q2873687$C1301E91-4150-4E35-8D0F-978EC9D4FB1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3bce63d0e4bf5d702d057697004a5d84ed3185b","datavalue":{"value":"1279.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873687$6BFEF412-3F6E-483C-A2DC-F9E4562C542B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e30918db30f525c9575c15acc4177e47c90a455a","datavalue":{"value":{"entity-type":"item","numeric-id":2335527,"id":"Q2335527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$EBE5FB9A-270D-40B4-B5D3-10257F97FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$32C70156-A436-42AD-A2D2-856F107FA702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$D394A63C-588E-439C-BD22-DB4378887AEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$5990147A-B322-480B-AD99-6F9F55208EA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873687$0741119A-552F-467B-92FA-B587AADD102B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873687$16E919A5-62F7-4C14-8D24-63F6784778CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dda2eed6359663cfeebcc8ef22fd54f273e2593","datavalue":{"value":"6250428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873687$9BD8B587-DE51-4C35-B170-168C5143F92C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873687$7E491A37-6909-40B0-B9D1-3B7242874B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3494a9b1c62ceb25187dd905e032e892df6c52e","datavalue":{"value":"bisimularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873687$6D1B74E6-46DD-4AE5-BE8D-C8F162D10053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873687$73779229-37F5-4725-9F5F-67908756DB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9210d6db36940a443d4266c2435b27948e64ce","datavalue":{"value":"relational structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873687$565FB0BB-8916-4837-865A-68AD2B02C36A","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":"Q2873687$CFADDEFF-E7DA-44AD-A613-183A0BD52B70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ef067ce57f4f296ae17aaaacfb2a06b5f221fb9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.087","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873687$2E08301E-19E9-4EE5-8B30-64FBA5EF2280","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71a9741135d2b19ad171d2064b50acc64655b8a1","datavalue":{"value":"W2119300020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873687$7FAAD379-3C40-41F3-BCF3-74A71505F5B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b023b76350a158a308c3451df617b2cae9b69127","datavalue":{"value":{"entity-type":"item","numeric-id":5890039,"id":"Q5890039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$444C0603-6D0F-4097-8C47-47C6D125245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7efd0c3e6421fda2217c2b48d9294e9f8d8d757","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$A0831830-120F-43D1-BB40-BE2B7718527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b8f2843a7242ba011aa6e7f33280202a937137","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$387644BC-5749-4E1C-A125-740818BF3E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6561eb7418a5d39be52ab51c4e9fb5f3c2091840","datavalue":{"value":{"entity-type":"item","numeric-id":4499314,"id":"Q4499314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$FF54CC48-0945-4A80-B7B7-DB00A9EE94EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1abe6e4004e975a540730440c2a9b7bc2979a73a","datavalue":{"value":{"entity-type":"item","numeric-id":4917032,"id":"Q4917032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$CE4F0BDA-B70E-4E21-A48B-26FE2A29F3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b0f90c322d5183481dd86e1ef34f9d38639387","datavalue":{"value":{"entity-type":"item","numeric-id":4409159,"id":"Q4409159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$BA37D354-7FAD-4851-9772-55A3E65BD4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$8EE76027-D632-4BD4-9065-ACDB5DFAD14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$7F5CFDC1-AB8E-4B3C-AD10-6C3F85E39A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$C9E1B195-675D-4171-9591-3F671E85E943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$5688F1ED-186D-4CEE-8E32-3F3019971610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$EAE1F3A1-E0C3-4917-808B-9E2C89A2C921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$FE3A65FD-8D57-4A9D-A642-77E36E2CFCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f563538957101bb847ab8befd441e1d67d7d62f5","datavalue":{"value":{"entity-type":"item","numeric-id":5313094,"id":"Q5313094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$95F4578C-49AB-49F4-92CA-B1C096478BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$38D7BD70-86C4-400D-8EA1-015FA432C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b71c93be2c18813a19f88ee07198c2ef259e","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$2BF68EE1-AC5A-47D7-B773-EB91CA9070D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa12c45591d29a254e080a997006a10f44ba1807","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873687$38CBB0E2-269C-4883-8F30-DBA5241219B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0cb40454665b7ac3adbb3b816901055e36da74d","datavalue":{"value":"10.1016/J.ENTCS.2008.03.087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873687$92F1539F-5798-435B-8046-5318EC489F47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7df293cebe59cdb7f94a2bfceb0614fcacde024","datavalue":{"value":{"text":"An exercise on transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873687$82B08D52-2FC3-4266-B1D3-6D72269599FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3df975cc953a06f3b0802a02307f01304a9d78f","datavalue":{"value":{"entity-type":"item","numeric-id":2888487,"id":"Q2888487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a91d2d294dd89af4d549ad60a62ba4cf2d98b9d","datavalue":{"value":{"amount":"+0.8172642588615417","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":"Q2873687$D21C092A-0172-4DEF-9C3B-47B40CF7CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2f6b473e28655155528c8704a8ca172d99e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5167838,"id":"Q5167838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dd0ec125a118380d95b8c99eee7732e13e3c4c","datavalue":{"value":{"amount":"+0.8092822432518005","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":"Q2873687$4C0043F1-BACF-454E-8561-0CFC8FB69FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24a9e9ed39de44bdcc7248ea34b175533ad328","datavalue":{"value":{"entity-type":"item","numeric-id":4580201,"id":"Q4580201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa33524a05190e6f75076dfb254c8b9b74348821","datavalue":{"value":{"amount":"+0.8055937886238098","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":"Q2873687$4A1E5EC0-C2CA-46CE-9D6C-99219C79F1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56437bc5a9701315e51acd30cf500af1f18cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2915163,"id":"Q2915163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b89bd9cfd8ca470df03a319f5c8d992d12a5d61","datavalue":{"value":{"amount":"+0.8055483102798462","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":"Q2873687$AAC6B537-946C-4A53-9221-C7F6FEA88045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743c304fcf15b633005f8de3e03faf2e14291ce","datavalue":{"value":{"entity-type":"item","numeric-id":4222948,"id":"Q4222948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ee114558f96dae24550cb3943ce93057b1d908","datavalue":{"value":{"amount":"+0.7983663082122803","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":"Q2873687$95C37B5E-B4EF-484D-AB97-9AB2A056202E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An exercise on transition systems","badges":[]}}}}}