{"entities":{"Q1407080":{"pageid":1417820,"ns":120,"title":"Item:Q1407080","lastrevid":67369206,"modified":"2026-04-12T17:09:39Z","type":"item","id":"Q1407080","labels":{"en":{"language":"en","value":"An algorithm for checking the time consistency of message sequence charts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1978232"}},"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":"Q1407080$75795240-A070-4478-AFAD-404A0BAF0A09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d87fbd0630cff6f66fe09dff1b3ffb4336e200d","datavalue":{"value":{"text":"An algorithm for checking the time consistency of message sequence charts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407080$AC9C9D88-8C69-4064-AF84-0CFBB0834BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbb82bc58a336781d54122b8cada7127344af550","datavalue":{"value":"1031.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407080$274B494C-578A-4E7D-8110-28CE7251B7FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0ddca2c79bbb68a4877fbb1f382831d12129323","datavalue":{"value":"10.1023/A:1022979502087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407080$EAC0B185-686E-463A-A59E-9B1C23DA83AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58aeda4272a999744bfea79950e821af55428ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1364091,"id":"Q1364091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407080$348D28A4-4219-429C-B1EB-B032D3D080A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25690c9520bc845a42c15c64feddf62148263975","datavalue":{"value":{"entity-type":"item","numeric-id":1407078,"id":"Q1407078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407080$12F53430-CCC3-4EEC-BBDA-058B9F13A864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab451fbeb122504f2ba1ba7d554b1c9574af677","datavalue":{"value":{"entity-type":"item","numeric-id":1407079,"id":"Q1407079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407080$0066B228-C999-4FBB-B51A-E3C8B46F88B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407080$CB83ECC9-D884-4501-AC7E-86D265146B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a3bd22b3255d28cafbe1a32be16f369f6f38fa5","datavalue":{"value":{"time":"+2003-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407080$042D884A-61F5-4AA3-9C3B-2287D4CE9753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407080$B7A70E13-779A-4F45-B060-D48D2896F8EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"103ac139f1b9c8b43ef0046f4d5aebf9a0665286","datavalue":{"value":"1978232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407080$0A3C85C3-A010-44FF-AA46-02FA38057876","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e6a12250722d86c6e96308934eb366e8118bf3","datavalue":{"value":"MSC language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407080$9004A23E-A952-47D7-88C8-FAE21ABEB8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3f668791da50cac1fbfe4578db880f49a07f84","datavalue":{"value":"time consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407080$A7BD2BD8-DC56-4A9C-8FAA-67D49580E336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995a9e216e901e6e84523342a404e17cdaadf89f","datavalue":{"value":"scenario of computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407080$A6A3297B-0702-427B-8871-90407E2A2342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407080$A8221A2A-1AD0-4AED-A7DD-0CED143331DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9df476972591a952e7fb58f1945ffdf1b263bcd","datavalue":{"value":"races in MSCs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407080$9EB72ECF-91C0-4A25-85D2-1E4316742C2D","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":"Q1407080$5E905C7C-7E9E-4024-A129-DDD0F868720D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3e6f8faae24550a1074b4d4d6e484a3896ec96b","datavalue":{"value":"https://doi.org/10.1023/a:1022979502087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407080$724A6C46-6C5A-4BBA-A43E-3265801A614E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1e8dbbe246261c01050f90e3c93255f9612ba09","datavalue":{"value":"W1496377018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407080$C2E7E98A-D4BA-4F05-8ED8-F3BFAECF7F3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8dd32cad257dd42997fcf6cca173f255ccb190","datavalue":{"value":{"entity-type":"item","numeric-id":1400422,"id":"Q1400422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360dd5d770ce18369da7f864d3ee7ea25ff59f30","datavalue":{"value":{"amount":"+0.8684592247009277","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":"Q1407080$4C1FA4E0-ACB7-4169-B8E3-F20A7C3C1E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251c042df65e9d0f5c7ade86572de4f1cf4813be","datavalue":{"value":{"entity-type":"item","numeric-id":1599639,"id":"Q1599639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8544806e3343956cd269cc4bbfc671b880c6c6","datavalue":{"value":{"amount":"+0.8552549481391907","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":"Q1407080$7376A3CA-E042-45DD-8479-6FDD7A9005FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea49d02586272e9b423fc8822641fe798545b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3613085,"id":"Q3613085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073797cd9ae2be1a46eff8ee499fb7415b641c6a","datavalue":{"value":{"amount":"+0.8435942530632019","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":"Q1407080$4DE33986-D6D1-4A95-B74B-B14239624223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf364e22632878f7388a3c1e565dc98b4f2dbc4e","datavalue":{"value":{"entity-type":"item","numeric-id":1406345,"id":"Q1406345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba139af468a61505f620523767dba98fe19fb161","datavalue":{"value":{"amount":"+0.8411547541618347","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":"Q1407080$33383E61-2888-4ADF-BBF0-C4445E83AEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a47fb3023f97db33e6b7d5ff395bda83ce45d2","datavalue":{"value":{"entity-type":"item","numeric-id":4536991,"id":"Q4536991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ea08368b4b6a47b5a494c7eb207d277758eaa4","datavalue":{"value":{"amount":"+0.8216142654418945","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":"Q1407080$F03D5C81-A77D-4950-B0C3-4E2836655D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for checking the time consistency of message sequence charts","badges":[]}}}}}