{"entities":{"Q4909350":{"pageid":6938929,"ns":120,"title":"Item:Q4909350","lastrevid":41576735,"modified":"2025-05-06T00:46:22Z","type":"item","id":"Q4909350","labels":{"en":{"language":"en","value":"Model Checking Using Generalized Testing Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144132"}},"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":"Q4909350$2993BA11-24A4-4FD8-8A6B-119C021D0B36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31e025e088b02f30bd47c09a447462beccf7b2da","datavalue":{"value":{"text":"Model Checking Using Generalized Testing Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4909350$9C5DFFBB-5B8F-439B-BA5A-EB9F29E7F21F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68aefd223a06786025a37d98c8dbbc9dfd2e2c03","datavalue":{"value":"1377.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909350$158F2A08-8949-4676-886B-E3E18AF24E1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"389de46723fb802fa13380170c66424f6de15d97","datavalue":{"value":"10.1007/978-3-642-35179-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909350$EB848CB5-4471-4190-9A4D-F87BD3873CAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6233a1b1dd2a3e4ba5a53bc0d01eb7f8c2e222","datavalue":{"value":{"entity-type":"item","numeric-id":2799206,"id":"Q2799206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909350$61892056-8130-4D1C-ADD6-2D6396690184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909350$EE46F29E-AAF8-49A3-93E6-C650CA838AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36f874171f87759c33ecad32bf45bad085bb06e","datavalue":{"value":{"entity-type":"item","numeric-id":1006893,"id":"Q1006893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909350$6106C33A-152E-4C66-99F0-A64FA638CF1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa154b4cbc98af745082e3ef34f54341e48a3b29","datavalue":{"value":{"entity-type":"item","numeric-id":4909346,"id":"Q4909346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909350$6D4FC182-96EC-4511-B21C-74517A8A8DDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4909350$F438EB8B-B730-4438-B58C-AE6079C4AFA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909350$E54F6B94-8DFB-431A-A14B-F550BDC0BF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909350$BE3ADC23-6B0F-4097-A628-DB76F72EDC7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94c7ec8da4e97804947b798bda26a567a391aa33","datavalue":{"value":"6144132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909350$C75A6B30-F1E9-4098-9EB2-B0D00BB7434A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0367d1541dd32628c152585ddb3e0028039dc577","datavalue":{"value":"testing automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909350$879FD7F8-6095-4AF4-8398-8B97DD76692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909350$8F796BD1-6FC2-48C8-8B1A-21BE5A9551B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489ccf8e4bc105c9e99859d0c618529e117564a7","datavalue":{"value":"emptiness check","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909350$A2690818-2C1F-4CA3-B86F-15CE3F2A5DE6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909350$29F0978E-1676-4EC1-A97B-25AE9C82DBDD","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":"Q4909350$20CD18A1-59CD-4FC7-9006-7273A045B347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff670907b330205e29df4b8dc345e5564017c499","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35179-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4909350$0C3731E5-C109-4522-9AF7-E6EEE6BC48E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beae13a0bb0f8e2dae5e667877687842b98c74a9","datavalue":{"value":"W148757792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909350$0E7F5C0F-3278-463B-B71B-FBC7CBE67EF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b814139f2dce1d4d74300894e54f300141c05","datavalue":{"value":{"entity-type":"item","numeric-id":4503921,"id":"Q4503921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440b2461204d1ebcfd735bd8e5d8561722d30908","datavalue":{"value":{"amount":"+0.9246496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$1ACEDD43-0A70-4955-B722-A1F20DEF13E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147efaf7fd0e283000b8fc16662e2d4e13308864","datavalue":{"value":{"amount":"+0.9175187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$0EFEFCB3-54E2-4DDB-B7CF-48952C831141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57639fa5fb2114066e9ae953f85ddeb230663fc1","datavalue":{"value":{"amount":"+0.90977687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$65FF8D5F-445B-4257-A6D9-E5B180F200D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b720644d5cc2273ae7c2bc0d8dfe52d098ad705","datavalue":{"value":{"entity-type":"item","numeric-id":4817537,"id":"Q4817537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30053294e582fe6988b14149feb6606b7bbc937","datavalue":{"value":{"amount":"+0.90720785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$75405E15-A53D-4759-A13D-D9BA68E3EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2405ff32fd3c2eb1ae13e5863c9045acca62ab","datavalue":{"value":{"entity-type":"item","numeric-id":4449163,"id":"Q4449163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb39a85c9f9dda50b663080b7c0b39a0cf09dc31","datavalue":{"value":{"amount":"+0.9060406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$B9F9D091-77FB-4BE7-98E3-62EB9F420FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b924f33539a420787b9c1bbc73132b6e70028d","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12344c131c2f5e0a5eb01a91d63a073dcf54aa44","datavalue":{"value":{"amount":"+0.90280604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$7AFC154E-4B2B-4EA0-9472-A1DACD01684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5620b92497535ce150212d62745061c0130caee6","datavalue":{"value":{"entity-type":"item","numeric-id":987969,"id":"Q987969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0b1085daec0e7ca41fb39a640a09df7b411ab2","datavalue":{"value":{"amount":"+0.8954633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$9A7FB0F2-CD2A-4B00-86F7-A569CF3FCB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b444bc0efcbc24542058f77c490f21863f4d7789","datavalue":{"value":{"amount":"+0.8939778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4909350$37F6E4E0-8E30-4649-840B-BABACD39D71B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4909350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4909350"}}}}}