{"entities":{"Q799374":{"pageid":801222,"ns":120,"title":"Item:Q799374","lastrevid":48747256,"modified":"2026-01-05T18:47:03Z","type":"item","id":"Q799374","labels":{"en":{"language":"en","value":"Transition count testing of automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874628"}},"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":"Q799374$AC51F62B-BB41-400F-83BE-11E906B58715","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a61decfb7a3ee02b982b1d916757aa22d93476e2","datavalue":{"value":{"text":"Transition count testing of automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799374$13E7328B-A109-40A7-BF14-B27D9EDA2840","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b8b54099860a0f202ed5a4b6ac51d3e99f41b6a","datavalue":{"value":"0548.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799374$1F71A004-7272-4F42-9D20-06B7F5C8FA5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6356da7db24e1e89f003859270b325dee4194a","datavalue":{"value":{"entity-type":"item","numeric-id":799372,"id":"Q799372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799374$F97BC602-1283-4BCB-9AF8-A767BF9C6D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a62dce33ba348b1ad36268c097920eb596905dc0","datavalue":{"value":{"entity-type":"item","numeric-id":548751,"id":"Q548751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799374$293E92C8-9A07-4539-B929-DE3AAE8792E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799374$6C4FA0DD-F030-45F5-B253-FCA75FB7B3C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799374$DFC416DA-3742-4B7F-AAD3-46CBD0D16C29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799374$859AB856-AC89-46C7-9E58-F8ED1ED2CED3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e239fefa61afe5cc0d73ae3b4ac04268bea52715","datavalue":{"value":"3874628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799374$DFAF116A-7C57-4F79-AFDA-DB6242B26782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d73a17c1c47e9424b91bbc08fcff9f35d38ab5e","datavalue":{"value":"transition count testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q799374$0BA07D39-5E69-402E-96EA-5C73E22F3AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c178bf8dfe385d1a40b85aee997e8aa180d5ba","datavalue":{"value":"automaton testing procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q799374$755DB718-776F-44C6-962E-B248B3A3ACC8","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":"Q799374$AA3B3468-59C8-4582-AFC9-6CA27BB28BF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2a64b356dc57658ccd4304531e238fb10d2a35","datavalue":{"value":{"entity-type":"item","numeric-id":2432219,"id":"Q2432219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f5cfb7866430a79b7625e04f1cf015b3e79bb3","datavalue":{"value":{"amount":"+0.7424048185348511","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":"Q799374$6D1522EE-2E68-4F27-BCB7-62D035ECE5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68242884a101c40f0bad22a1a848356a69934591","datavalue":{"value":{"entity-type":"item","numeric-id":799376,"id":"Q799376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53670ce82f530b77d574f191c79e57dff091f9c7","datavalue":{"value":{"amount":"+0.7399434447288513","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":"Q799374$10AAE0CD-9208-4034-9217-5490A754859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2f04e455aa289e845c2d0e6694bb67e72b83e5","datavalue":{"value":{"entity-type":"item","numeric-id":4788072,"id":"Q4788072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4052bf7cf25661ee285a33fab48c8942ff249e","datavalue":{"value":{"amount":"+0.737457275390625","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":"Q799374$083CAED3-D1B9-474F-8167-C3D15EC23B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7ed16653a7fe8c09b583b23131ebbd91b54b95","datavalue":{"value":{"entity-type":"item","numeric-id":4528870,"id":"Q4528870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d82e8affe1750fa769ac3e91c37a9978121ebf4","datavalue":{"value":{"amount":"+0.7344260811805725","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":"Q799374$F7BBCC58-794C-4F04-BDB5-21D6A2D0A0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7ab5f611fb16396dbbec8377904f4bba677bcd","datavalue":{"value":{"entity-type":"item","numeric-id":799377,"id":"Q799377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d82e8affe1750fa769ac3e91c37a9978121ebf4","datavalue":{"value":{"amount":"+0.7344260811805725","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":"Q799374$1C4D5228-8230-448D-B5B5-32D84BE18A03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:799374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:799374"}}}}}