{"entities":{"Q2469174":{"pageid":2479917,"ns":120,"title":"Item:Q2469174","lastrevid":50265782,"modified":"2026-01-13T16:55:05Z","type":"item","id":"Q2469174","labels":{"en":{"language":"en","value":"Formal testing from timed finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231982"}},"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":"Q2469174$FF191556-D83E-4AA0-89D1-5EEB9209B708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c9564081c0dd033dabea3fab9bced8646f328b","datavalue":{"value":{"text":"Formal testing from timed finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2469174$6E4A9721-C003-49B4-BB7A-44D5F38D2E68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d0b574aa5ee2319750e74819a5a0b827156069","datavalue":{"value":"1131.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469174$CD9383F6-FC08-4104-84F0-D5865B32E86D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ad4647081cebf487e43eb38397c4509c0d7057","datavalue":{"value":{"entity-type":"item","numeric-id":347400,"id":"Q347400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469174$10073F97-2C64-415A-A439-E79C95FB3720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd6de6e29d4d04eace6f20fac90455e00f4e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":470033,"id":"Q470033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469174$F0993C53-626B-48E7-A169-BEAB81009366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469174$14DF68D4-27AC-4692-9C7A-3C7CEBBA161A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5b6d2e589e4e15465d745ed9cba11a5a86e282","datavalue":{"value":{"entity-type":"item","numeric-id":551683,"id":"Q551683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469174$3875757E-7053-4012-9CF1-597FD89A3075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7d92ceb78f78f49389a1027568ad4fd3f39cc02","datavalue":{"value":{"time":"+2008-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2469174$E7C0A7AE-69C9-4AE0-80D1-5424D8CBC40F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469174$7487B560-04E8-4D9B-B920-A9EEAFE0E020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28107c7a42be91a3e91ffe38c672e32bb788549c","datavalue":{"value":"5231982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469174$F794A88E-12B8-4864-9764-F38B4E52029A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469174$3FC0841C-E758-4D18-8B1D-1B8D492DF0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469174$7ADA67FC-5EAA-4FCF-987E-F127966FC8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f76633f75ad992c87ec1fbb73343152ad2f79e","datavalue":{"value":"timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469174$7438FB39-1BF7-4C86-8DA5-DA870D3A2C75","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":"Q2469174$D1D650BB-7BBC-4636-ABFD-B42F209761CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9b6531f6a02fbafc2e1012523b6f231093dc4e9","datavalue":{"value":"https://doi.org/10.1016/j.comnet.2007.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469174$3D83F8A2-DCD2-4ECA-8816-07AC80771966","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc6d328902a57f1a9e38c619bef8b2345e409eb5","datavalue":{"value":"W1990687584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469174$5A893EED-4C4B-41CB-9534-FE94A72BF956","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7f4f8519ffb9dfbbcea18d915feeb204f9d63ee","datavalue":{"value":"10.1016/J.COMNET.2007.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469174$29C5C57F-96C2-4482-90D9-C5CFAFB5ADA2","rank":"normal"}],"P1643":[{"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":"40e0307c7b6d556fdeffde92673e33ae77493005","datavalue":{"value":{"amount":"+0.8735731244087219","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":"Q2469174$E9D1781C-9D2A-4F91-B319-F7B08947D305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e094ac94cf223b49466fa4701cee74556d56cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3522091,"id":"Q3522091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8abcf236915ce4039e2fca0af19ae3144c2564","datavalue":{"value":{"amount":"+0.8563269376754761","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":"Q2469174$CCB98A47-3F53-464A-9459-C680A106071D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69eb9900a6fd6ddbb14575d1939d1536f2a28add","datavalue":{"value":{"entity-type":"item","numeric-id":3613082,"id":"Q3613082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb8a8bb253aff3af35b411250f54c096e0bd701","datavalue":{"value":{"amount":"+0.8281415104866028","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":"Q2469174$27EBE6F6-57CB-402A-99B4-7291F1ACD5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cedc2eef21adab51d47a243e5cb5167bbf7b98b","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1029b481d36bc243b31d1ada032faa1dadd6e33d","datavalue":{"value":{"amount":"+0.8242357969284058","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":"Q2469174$2820B17F-AD62-49B6-AD36-29E54013377A","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":"725c3e4fe2ea0f21c1158a22483cecb013174003","datavalue":{"value":{"amount":"+0.8186510801315308","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":"Q2469174$0F1632E7-178F-4E65-BB36-245FCA457059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2469174","badges":[]}}}}}