{"entities":{"Q1599639":{"pageid":1610379,"ns":120,"title":"Item:Q1599639","lastrevid":74069985,"modified":"2026-04-14T18:15:21Z","type":"item","id":"Q1599639","labels":{"en":{"language":"en","value":"Checking MSC specifications for timing inconsistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1750651"}},"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":"Q1599639$27F3D897-6A4A-4615-ACF8-0E93DF13B582","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a871f0dcd900cf2c3b67cd1a48edf95e0c47da7b","datavalue":{"value":{"text":"Checking MSC specifications for timing inconsistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599639$31084A35-1F7E-4574-807A-A04DD26A8302","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdbb58e8aa5015b8f7b6dd38af375a7724748bcd","datavalue":{"value":"1004.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599639$9DCBFADC-6BDB-4CC8-B9D6-8FB5AA9DC8B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"782471fb92c6b213bea95acf8d5f601cd4e45223","datavalue":{"value":"10.1007/BF02949824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599639$BC5DBD76-7A67-4FF2-A21A-7A669FA05A5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599639$4E0D410B-DD5E-4540-A44D-7B3F5B72B12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89fd38fe5c0e69b7ae19c4867d0702f15f407c5","datavalue":{"value":{"entity-type":"item","numeric-id":1599638,"id":"Q1599638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599639$82E005D8-BE93-4EEC-A151-4690F03E3625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ad75cbc7b202078ece6ef2ab63950e2c3e76530","datavalue":{"value":{"entity-type":"item","numeric-id":201218,"id":"Q201218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599639$EE35D764-300E-4218-B663-5971250BDBAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599639$036221EF-6BAC-41E3-92CA-B088018892B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"491a46ed49ec5ab841ba9d0d08c465462a3e8c95","datavalue":{"value":{"time":"+2002-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599639$B924DF25-CA7B-4FCD-894F-8028508B91EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599639$7CCD4C77-62E1-4C91-9056-3EDF20CABAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599639$187F0BAC-2E1F-4B06-9235-43A91B4D841A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33167cff6a3e7e1d6be1fc4534f4f27968fca62f","datavalue":{"value":"1750651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599639$9A3AF541-4864-41BB-B6FE-C1EBA9DA75CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599639$B03A9306-5C89-471C-BEED-F3806A404FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b359ce1e831dc977a15bf7b5292b59843c5982f3","datavalue":{"value":"message sequence chart","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599639$E6F3A32E-DAF6-4CB3-A858-3064B321428F","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":"Q1599639$606DE13C-BFEA-42A9-8483-48502E202F9C","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":"Q1599639$594D9AD7-062C-4F2D-920D-6998B91114B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3782a67bb3f95ab1bda4d6f140ea21d996ec26","datavalue":{"value":{"entity-type":"item","numeric-id":1904641,"id":"Q1904641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599639$1534F1F2-F128-40F2-9B2E-C1F6CF8D9A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebad44132ec4c31e1fa9fb12b9c3f09ba8733b1","datavalue":{"value":{"entity-type":"item","numeric-id":4835262,"id":"Q4835262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599639$CBF8480C-CA83-4369-A93E-847BF9F50D07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9a567f38a58c3a176d9b3a49fa626495213a479","datavalue":{"value":"https://doi.org/10.1007/bf02949824","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599639$F8ABBABD-20BA-4C4D-A56F-0D7FF0A3D0C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"637d46007365343e3f97e92502f6e00af696a302","datavalue":{"value":"W2067257773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599639$A1CE9E1C-A87E-4475-9943-0E40540608BA","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":"8c8f5f723596f2b6cfa243ace417fdf1a9724c7e","datavalue":{"value":{"amount":"+0.8923852443695068","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":"Q1599639$2195B436-1749-4D0C-812B-5C250307020F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e534f739260fc4042b3a2cfd9f983f6141215ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1407080,"id":"Q1407080"},"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":"Q1599639$65C8148F-53EF-4029-BD0B-B05CF59EEAE7","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":"d2e75cfaa4dbd6452a5c4ae9b3d6285b27206f31","datavalue":{"value":{"amount":"+0.8413329720497131","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":"Q1599639$8E564E08-FB79-4D82-ADA2-DC608083997E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df813948198e9c8b06b5042f80b99306efb0330d","datavalue":{"value":{"entity-type":"item","numeric-id":3564019,"id":"Q3564019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651801e199b9502b33d0df921b54a92a0b408a6b","datavalue":{"value":{"amount":"+0.8324825763702393","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":"Q1599639$3506FDB9-E891-4F0A-B012-B5DABB413929","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":"978eff37a6ab283e613a3de9cf8f265da31de4f7","datavalue":{"value":{"amount":"+0.8288256525993347","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":"Q1599639$B34A2321-51AF-45FE-8BD4-D26C9762474E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking MSC specifications for timing inconsistency","badges":[]}}}}}