{"entities":{"Q3012971":{"pageid":3023695,"ns":120,"title":"Item:Q3012971","lastrevid":51286334,"modified":"2026-01-17T14:47:50Z","type":"item","id":"Q3012971","labels":{"en":{"language":"en","value":"State coverage metrics for specification-based testing with B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918195"}},"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":"Q3012971$7D933020-87EF-4F56-8ED7-3DD0A5DC9384","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a8b5a79d07fbc877c0aa05e617dbf499ced3cf","datavalue":{"value":{"text":"State Coverage Metrics for Specification-Based Testing with B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012971$9677FA85-DF36-4FBE-9E31-8BE93E1BB439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6cab9cf74a5537a458838a6ae147b700bf497ce","datavalue":{"value":"1335.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012971$5A744FC1-069D-4490-8AB5-36A09FCFB170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a81cb01ce86814094fd634d1fe7522df3101f042","datavalue":{"value":"10.1007/978-3-642-21768-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012971$9027F9A9-DA1F-4198-ACF6-049353DC0E70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fd37d21df21b3852268407b23118ccd2ff6fc75","datavalue":{"value":{"entity-type":"item","numeric-id":407689,"id":"Q407689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$7196ED08-BFDD-42D8-9773-63990D921609","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$FD17AAAE-F5E4-42C3-9165-6A59746F62A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012971$04A808A7-FB75-40EC-BBE6-C98CC31C5F86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012971$754A5CEB-AAEE-4BAD-A754-3B0EA9C19535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0ee8bd908725a9622cf8379303157be4451ae6a","datavalue":{"value":"5918195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012971$36E5480F-A38C-4F65-9F35-6DE6D72E8C0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c26cfc12efc549be0b79b63593554943aa146d16","datavalue":{"value":{"entity-type":"item","numeric-id":33040,"id":"Q33040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$A249D37A-84ED-4420-A4C2-CD93D605CD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$676987DB-9177-4C65-A6DE-56F5F4719FB5","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":"Q3012971$96C4CB67-1B0D-4A10-AF84-727EA161024D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c13ab6207890f8806813d880de2a2428aedfd859","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21768-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012971$8A4C1F12-0063-4F19-BEF6-5D7324495631","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91d89e2ad4326b41a189bd26927ecd7ac2af364e","datavalue":{"value":"W202682297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012971$F2CC7E30-E63A-4124-8B68-AC38A014011B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e7da1576a6992c53b5deb6ba9a2a8e687262eb","datavalue":{"value":{"entity-type":"item","numeric-id":4319638,"id":"Q4319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$5CD84075-5A9C-4FB1-B598-548A8E3DA3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2538e91d9a1a183613631a78a200ede5c310a388","datavalue":{"value":{"entity-type":"item","numeric-id":5458811,"id":"Q5458811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$9499BB5F-EC64-4171-9D21-72D026D49D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$87ABEDEC-8070-4173-BC0F-A80DBB1FDF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f36c54329eece6c81e4341e8f4350487d789a74","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$4496B415-0080-4102-9235-C331606195CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b32512df9f3e992d7edfd904d417f1bca315c6c","datavalue":{"value":{"entity-type":"item","numeric-id":1856167,"id":"Q1856167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$904B51C7-DEEC-48EC-B1FC-95A3A395814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eec76ea18f70e1ebae3d2c1342f12677aa46492","datavalue":{"value":{"entity-type":"item","numeric-id":4738477,"id":"Q4738477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$1B2253CC-452B-4A3A-B73B-69CCDECB789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012971$3399071E-53C8-45D5-958D-8C027FDDC15C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85393b6f28202c87582faab526ab873ed6d523e8","datavalue":{"value":{"entity-type":"item","numeric-id":5348534,"id":"Q5348534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171649f5aa6860181d028c2a2c76a778d635ffe0","datavalue":{"value":{"amount":"+0.9329646229743958","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":"Q3012971$BE471F33-5290-4333-8B88-08FA11B6733F","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":"120c138a60e6fc3ab7bfc1083591674a35063929","datavalue":{"value":{"amount":"+0.7452979683876038","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":"Q3012971$22D281C2-3B10-4CEA-92AC-1D9A06DCC9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9549904843cd5072255191565d6cca932aee99","datavalue":{"value":{"entity-type":"item","numeric-id":5710658,"id":"Q5710658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d6ad23603a9115d69e0e0176d1c913d84ece2d","datavalue":{"value":{"amount":"+0.7386806011199951","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":"Q3012971$3F4303D1-EBB9-4D8B-9BB9-0C7B47DA7841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0053efcd96e57359ce08d303c7126f5b49c6067f","datavalue":{"value":{"entity-type":"item","numeric-id":3637251,"id":"Q3637251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f27fb535fa56796ca9de0639a49ed30f9dfc12","datavalue":{"value":{"amount":"+0.7295956611633301","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":"Q3012971$EF036427-B99B-4730-A6C8-D63C7FD0E861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926d5fd206d217b5f7121e6493f9afd4e589f575","datavalue":{"value":{"entity-type":"item","numeric-id":853721,"id":"Q853721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d772bf573ebe4c64cd6cbbb1f142e3a9b37484","datavalue":{"value":{"amount":"+0.7281954288482666","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":"Q3012971$4F5758CD-E771-434A-9784-AAC225B7C8B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012971"}}}}}