{"entities":{"Q6536171":{"pageid":14147314,"ns":120,"title":"Item:Q6536171","lastrevid":55623379,"modified":"2026-02-17T19:54:52Z","type":"item","id":"Q6536171","labels":{"en":{"language":"en","value":"Coverage-based testing with symbolic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7828021"}},"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":"Q6536171$1EE8FC8D-2711-4CB2-AF28-3FCBD14DC9D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f601d3c291e61ba498dc17bc7d65cbe991e1f85","datavalue":{"value":{"text":"Coverage-based testing with symbolic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536171$815558E9-B604-4DC4-ADBD-693ACF31A7D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9b9b20e4ccef1cc4e402f6586530e26339d4ca0","datavalue":{"value":"1539.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536171$46DA4C03-AB6B-4195-9606-13B3607F38F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d69b697623bd98cb49f97815487364c80949b3c9","datavalue":{"value":"10.1007/978-3-030-31157-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536171$8C75AAEE-EF2D-4024-B569-F973D8283CF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04de41604536a4a663269317572614129fd60f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2814130,"id":"Q2814130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$0008FFF9-7A9A-4582-9C0D-3768BF2E6D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a8f7adba98d7ff3d1c6566c18ba7973a806312","datavalue":{"value":{"entity-type":"item","numeric-id":239143,"id":"Q239143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$5A2F978C-0E2C-4B5C-8D40-93F0B5AC24C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-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":"Q6536171$F4446D7E-F233-4AAD-AA6C-7358008D8312","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536171$D5B3FE7E-FB28-44F7-A17B-56F4E96160BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"599c3f8fe67723e85e8c42726cc7881bdb0a61cf","datavalue":{"value":"7828021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536171$CEC083F2-BBB1-47D4-9E98-79C4F4A49B7C","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":"Q6536171$EB7B5FBE-EB36-422C-8346-D6D54AF2B0C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21fb3e2cd808f6d26054f99f1332787e8a2e308f","datavalue":{"value":{"entity-type":"item","numeric-id":3384883,"id":"Q3384883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$63E472E4-FF5F-4705-9C51-D3DA3AF8B90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$815CE0F3-B45A-4F1F-9B9D-5B9C9FDB711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$4BA5AAE3-069E-4842-9558-D2B4AF313208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c34237b55fdcf0550f867f173cd23e62039bf35","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$C84BDA87-AAB0-4D69-A518-7D22CD41F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48a329dbdf8b631c52b28f2506f71851037a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$066F45C4-5699-43AE-BA4E-9507BD2E1650","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":"Q6536171$79956441-A19C-40E7-9030-104223C0FA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0f2a7b7cc770eb08cd20f5efe2bab0f068d047","datavalue":{"value":{"entity-type":"item","numeric-id":5703771,"id":"Q5703771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$3F3B25D8-D385-49C0-868A-607C8665711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$5ED2DA67-1FD8-45EB-B988-B5FF1230AF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536171$271FE444-EFA3-4986-9AAA-EFED31115543","rank":"normal"}],"P1643":[{"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":"2a5da67d503c2b8038ec4ca25cb2337a631fc071","datavalue":{"value":{"amount":"+0.7676834464073181","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":"Q6536171$79D33E13-4A17-4160-8852-2FB2C521FBD4","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":"072ec7ab93f533038f920f14c911edfc9914cd0c","datavalue":{"value":{"amount":"+0.7398334741592407","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":"Q6536171$ACE28889-437E-4B4B-85CC-984F7FA11B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eadc64e1bd8d4b8aef40cfee25fdfb243cd676e","datavalue":{"value":{"entity-type":"item","numeric-id":4787226,"id":"Q4787226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b72dbd40cb0715ce10ec0609eb52fa7c21d969b","datavalue":{"value":{"amount":"+0.7308297157287598","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":"Q6536171$80EF8392-3B31-43C6-9BAF-41A355DB4C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd339a05005fc46f8bdced30c94e7ecfb18b31dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842624,"id":"Q2842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c08dc0af2b79481d8fb42701e36343accb9d92","datavalue":{"value":{"amount":"+0.7258550524711609","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":"Q6536171$9EC82224-90D3-4AB0-9541-764BA6AD56BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32640d47148b666d0ab05cbf243533169262b3b8","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5acfe66b4f78e1ac7e99a89310b9171b50ed30","datavalue":{"value":{"amount":"+0.7217591404914856","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":"Q6536171$E9603200-3E06-4AB2-A8CE-D40B888899ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536171"}}}}}