{"entities":{"Q6041277":{"pageid":13175378,"ns":120,"title":"Item:Q6041277","lastrevid":47854123,"modified":"2026-01-02T21:33:57Z","type":"item","id":"Q6041277","labels":{"en":{"language":"en","value":"Exhaustive property oriented model-based testing with symbolic finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689382"}},"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":"Q6041277$1CE0AD88-E0CF-473B-8631-FBFF1D53C6D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e13fce6a1f419f0b685e8ad167ee44ea28413b4","datavalue":{"value":{"text":"Exhaustive property oriented model-based testing with symbolic finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041277$8CF0E35C-18F5-47A9-B599-B8A306404C37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aeb6753d9659a65597fe1e3f614d43379e2e41c0","datavalue":{"value":"1522.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041277$171A5DB8-FF3E-4ABB-8C87-D76DE9DBE83E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eca0063b6c8e5c6fb5edb6d37a6fd1feabdad28","datavalue":{"value":"10.1007/978-3-030-92124-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041277$A0AD881E-66EA-46DC-B808-3855FD0C7F46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ea6b588c8d29fc5d2333b062042de8900a0642","datavalue":{"value":{"entity-type":"item","numeric-id":2065529,"id":"Q2065529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$0B5220B7-4C1A-4861-A66D-9048D101FA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff72d2830868bf9e7ed58c85e71f5c25c51d4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":520245,"id":"Q520245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$B541E3FF-F121-41FD-8389-53517E4F4554","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$9683B8CD-4D45-40DF-8803-9AB52F08CE88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041277$CF9D4DCE-2383-465D-BFF2-3BBFC1577FD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041277$84EFEE67-7BA7-4A8B-A19F-E5965EFB8822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041277$AFD457BD-13C5-4243-BDF7-BD27115309D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041277$F16CF701-3AC0-4C3B-8073-63EF2E0FA521","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72780adbad02e2b33e9348261ed428b5d3ea6543","datavalue":{"value":"7689382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041277$EB9C0F8E-C478-454A-921F-7B7A8B600668","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":"Q6041277$630B198D-71AE-4BFA-81F9-8237E8CA1455","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b52f515ad0116294367b84bdbb31f30ea8e758b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-92124-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041277$D7BD241D-2359-47CF-9FEC-212558044B2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69e418d569491137d504e66cd9f3049b45944277","datavalue":{"value":"W4205907374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041277$0B2CAB7E-D5D0-4A28-9D96-F3ADA7CD8AD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$2CD2CB71-4906-4EA4-B25C-B9512F99B81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6accf9f1ff472066651f3f3baac4ded84ae92054","datavalue":{"value":{"entity-type":"item","numeric-id":5902016,"id":"Q5902016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$5057B3DC-6EA2-47A7-AFF2-76CF0A777C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3455bfeefffb00fb3b37c8364890ec3bf805f7a","datavalue":{"value":{"entity-type":"item","numeric-id":520246,"id":"Q520246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$A0A68B71-7FB0-4AED-BF31-7666CA6205D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf08238b77ac09fe0d67b32fc1d7df4fa131e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2870321,"id":"Q2870321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$DAB3AA93-53C4-4611-B6C8-8291DF876DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6b64ab351c24b784fd1200a430e4a948637867","datavalue":{"value":{"entity-type":"item","numeric-id":6165822,"id":"Q6165822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$2A743C60-6984-4E03-A0ED-8BC3C6B29469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041277$25E04AA4-AB43-4C63-8D3C-66E81A868717","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2bd13c31b19ad8a60bc95c25f118d787063095","datavalue":{"value":{"entity-type":"item","numeric-id":2870321,"id":"Q2870321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74651c0cf3c2be230bf2e3e4ae866f1ad79eed8","datavalue":{"value":{"amount":"+0.7380198836326599","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":"Q6041277$59F06975-4965-4EF2-81BD-EF9E70A67614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255bd870d045363d1b4665fbc37f6a59fb5fe945","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1271b25291ffa8304e2efe8fa55c678dbdb295f9","datavalue":{"value":{"amount":"+0.7358638048171997","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":"Q6041277$EBCF78E9-4E43-42B5-81E3-A945E3203AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9efe8fbf03798aadfc9cfdc8b8c1bc9f59367ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5179362,"id":"Q5179362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90eaeaa8a392d5e179b5001d1d52ba956c8a4fa8","datavalue":{"value":{"amount":"+0.7238641977310181","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":"Q6041277$40C9BEF2-D0B4-4DBE-A62A-F185B9700E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465ed2ceb9bf5235cf58daf918b87209dd962201","datavalue":{"value":{"entity-type":"item","numeric-id":2830050,"id":"Q2830050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20aef85ededde29f2f5c6fc0e61ee4676f5dece9","datavalue":{"value":{"amount":"+0.7145464420318604","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":"Q6041277$988DF03B-8F3D-4389-B454-37B18D9E3AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8ec629d4e7a7ab2b63c122382d05f7bf9e48a5","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4acb71ec868f588c24bcba18c29dc80234acf7b0","datavalue":{"value":{"amount":"+0.7132771611213684","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":"Q6041277$7392EF30-14AD-4CBB-B0C0-AD421C3F4E30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041277"}}}}}