{"entities":{"Q3588100":{"pageid":5618004,"ns":120,"title":"Item:Q3588100","lastrevid":51077156,"modified":"2026-01-16T13:09:50Z","type":"item","id":"Q3588100","labels":{"en":{"language":"en","value":"A conformance testing relation for symbolic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783586"}},"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":"Q3588100$0DC69464-FE1F-4DB1-9554-774230EC5C56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f05e4d12ccb5e4059c30eba9886c77cdd019ec0","datavalue":{"value":{"text":"A Conformance Testing Relation for Symbolic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588100$921A7237-3395-407E-B634-7868F8EC8D7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76dd173291bad80807f41ba1eaa8b87b806afa18","datavalue":{"value":"1290.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588100$2A8A0C0F-618C-42A9-A9F0-7FC6CB4F66A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce672d071e39ae4807ae05a5f7727ef0967527e1","datavalue":{"value":"10.1007/978-3-642-15297-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588100$152C3FCD-CBC4-4D9C-BEA4-88B906681F8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f02b19ed47dda5810404af185a7f06b693b18ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3588098,"id":"Q3588098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$F58ECB3D-E991-4474-A054-3A528C413DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e35d19e15dd76dfcd47c690e84c8e0e2d5203b2","datavalue":{"value":{"entity-type":"item","numeric-id":3588099,"id":"Q3588099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$4F7956A0-CCBC-4A70-859B-B3D1581C3394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$71043DD0-8BCC-497E-80D3-AAC7570B368E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$11793B4D-808B-4360-8A92-1F665C83B538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588100$CE512627-CDF9-4B67-805D-7E76C0A78358","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588100$2C89AA5C-E665-479B-B404-87317139D315","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15b6ecf9b53d5cba1dc687e2cf79be94c9f9e939","datavalue":{"value":"5783586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588100$DAD37F5D-271B-493E-8F6C-60C0788BA2D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c14cb77a0e85993954dea5bce368cf9934a84a","datavalue":{"value":"real-time conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3588100$B9E09747-7FAC-44A0-AEA2-9AFC1EF67B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3588100$B3756F5D-BCCB-4B4C-95EE-E5A2EF197013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dbaf9d5cf9a3233ecc86a5dbe6fdead2a4d188","datavalue":{"value":"implementation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3588100$2FB1E58F-A1EA-48FF-A203-39318D0E4D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3588100$7553801A-F5EB-453B-B401-E50DC98BF98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0500d8f6d03c7dd1e90d86401d39804c84d53e7a","datavalue":{"value":"FO logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3588100$DFBC003D-30E2-49F2-8052-D0653C2DCC33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$F9682F96-0778-4344-9790-74143363057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"522ac9e16af5942f46389f39bdaa8bc8aa2b0c9b","datavalue":{"value":{"entity-type":"item","numeric-id":19319,"id":"Q19319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$9B8F14F6-79C6-4ECA-B02E-FBCF97664371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bea0885bc8e2fa7a4927ab7181e328bd683df2ad","datavalue":{"value":{"entity-type":"item","numeric-id":14158,"id":"Q14158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$E16900A0-6161-4CB6-876F-C3CB82EB97BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aa9c990050844e02d619f5dc6d4cd64e20bd57d","datavalue":{"value":{"entity-type":"item","numeric-id":19208,"id":"Q19208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588100$6440A47F-3EEF-42A7-BE8B-81C32CF64ADC","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":"Q3588100$9E8EF227-4FFA-409B-A55E-B4BFBECAF3FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecf61dab3659a456d518a76ad6ac3a857bdab544","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588100$75ED2056-43E5-416B-ACD0-46F0969DCCB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c42d4eb3ba5d938fd792b87d51ac91eb46812512","datavalue":{"value":"W2159011965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588100$19880E6F-6C81-4DCB-971B-8F30E9D1E09E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dc29470a77e406990af5170c1c7a72746d078e","datavalue":{"value":{"entity-type":"item","numeric-id":3543302,"id":"Q3543302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbd0994adb3d03806b5a49f6acf1b36e2476d86","datavalue":{"value":{"amount":"+0.7875165343284607","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":"Q3588100$7388F860-214F-4399-8D40-FF760A316016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902659823dddfc2fd0264b51d4763181ebb01bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3434605,"id":"Q3434605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e1ca258e3ded5d1f8cbfef1687ec0a74110b6e","datavalue":{"value":{"amount":"+0.7657032012939453","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":"Q3588100$7ECE081F-3039-4F5D-B4CF-1AAAA2735510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a74af6d814a3d08283f85f858fcba11fad787a","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e45c75fb9b3c511a80ce5dccd36c56c9aa25ca","datavalue":{"value":{"amount":"+0.7615935206413269","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":"Q3588100$0ACD1D97-BC95-4A49-9928-1D9F167DC6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6f8f258286a02224bbf4112c1dd5edc67e08e7","datavalue":{"value":{"entity-type":"item","numeric-id":5900959,"id":"Q5900959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a450b6baef386ba3d487a1008a6e0d546da3af9","datavalue":{"value":{"amount":"+0.759758710861206","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":"Q3588100$33D1BC98-073D-4F8F-9059-B884FCC4037F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b292d1dc1d0a8ef456d844dfb7040bce54a78673","datavalue":{"value":{"entity-type":"item","numeric-id":3525158,"id":"Q3525158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03478c48c5fe49eef99b6dc77100c90102345039","datavalue":{"value":{"amount":"+0.758725106716156","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":"Q3588100$AB228678-7895-4891-A094-B07EFB183CFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3588100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3588100"}}}}}