{"entities":{"Q6163902":{"pageid":13298783,"ns":120,"title":"Item:Q6163902","lastrevid":58739013,"modified":"2026-04-06T13:14:59Z","type":"item","id":"Q6163902","labels":{"en":{"language":"en","value":"Fair must testing for I/O automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719283"}},"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":"Q6163902$3E77D2D0-C744-4754-9712-769B4BA4BF4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54db00544595a8e582e6aa294186106090fc058a","datavalue":{"value":{"text":"Fair must testing for I/O automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163902$82C3009F-BF96-4991-BFE6-DA13EDD95E24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ef69585d6a83ebc3dd503f963334195559b86f1","datavalue":{"value":"1524.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163902$E4778FF7-B8D2-4B0D-ADEF-0F25D5B00DEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c70db4368f0b8e3666f18e04df6ff74e2515910","datavalue":{"value":"10.1007/978-3-031-15629-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163902$51E80B81-2BCC-40D2-9F78-13A6607160A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$D5EF2F3A-0F11-436E-AE84-E1F493F73F48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$9D6C657E-8FBE-4798-8E53-4CE129E596BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-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":"Q6163902$31C6898A-C8CC-4DE5-83E8-2F7D71E37996","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf97cf70bfe0462d35710ca72a95a14c899d963b","datavalue":{"value":"https://arxiv.org/abs/2212.11248","type":"string"},"datatype":"url"},"type":"statement","id":"Q6163902$7CED13C6-E2D2-46B0-AD8B-81BFF851C153","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163902$1399496F-276E-4330-9D78-550674C4FFED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3505f5b5aa605d554d09faa9c38cc4347ac3316","datavalue":{"value":"7719283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163902$49BE211A-18B9-47A7-ADA9-00CBEEB52E9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2b7ced654647021de9242bf805c45b29c8712","datavalue":{"value":"I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163902$6D09433E-AC4E-49E0-81A1-2D84C8B7BBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9547d6ba203157cfcb34b9fb7f73b6d71b841a6a","datavalue":{"value":"must testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163902$78557372-C3E0-4FBF-83ED-8805192E9DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163902$5F6D91B8-39E7-48AC-8DE7-BEFE7E62B58B","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":"Q6163902$0A3DF71B-C223-467C-9857-B246C3B57E14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$90742B38-2A95-4A08-8516-D018750E5311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$78D9E576-C3D1-4D7E-9758-5CC35DB97CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c98f07a910f52803118e3f822afc04cb2c7614","datavalue":{"value":{"entity-type":"item","numeric-id":2289100,"id":"Q2289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$82E83B83-E558-4EA9-8E62-43728027981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$A22ED55C-4A33-4E91-8D69-C71A8EB0EFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$32A943A6-4DAA-4BBD-BE28-AF877D3B6A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e38a8f602ec3e243e827434419bded1ded29e2","datavalue":{"value":{"entity-type":"item","numeric-id":4645218,"id":"Q4645218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$3509B20C-6A40-4378-8496-8AA01B43D595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b06dc09635ec46f478c48bbbb678633ef1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":6104379,"id":"Q6104379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$02269C48-B264-49F5-9B29-A489F6E5339F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb0c25b2a9eb35a21677ae81a8807ac01107d92","datavalue":{"value":{"entity-type":"item","numeric-id":1376423,"id":"Q1376423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163902$2B88C1B6-E013-4DFF-9AB9-B2EE2FC76942","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7653a203eaff011443e023679c609a3bcaa7edae","datavalue":{"value":{"entity-type":"item","numeric-id":671616,"id":"Q671616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e733f802f518068c6bf77d9748f0bba04cc4b2cc","datavalue":{"value":{"amount":"+0.8089383840560913","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":"Q6163902$2EE25DEC-D963-4A55-8BCC-324DDA4AAA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95acf6dab1ca109804c21a94f2e06159b168bdcb","datavalue":{"value":{"entity-type":"item","numeric-id":1376423,"id":"Q1376423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190c27587ef72cf82e286024b3d859d521fc9a10","datavalue":{"value":{"amount":"+0.7966997027397156","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":"Q6163902$DDFA791E-631C-4118-8AAA-8C43C99CEA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08859ebc6c8358b09adb7af20e08647ecc7c5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4942011,"id":"Q4942011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3542002f6aeab8ec902cb1cd11029f36f7667e04","datavalue":{"value":{"amount":"+0.7550812363624573","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":"Q6163902$1469BFE7-2499-41CF-8C01-CB666754C3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6273ea68c46a14e4dbfbc8e1b1d40921760bd5dc","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a379af7104e714b4cb4d1d4656296e23863c559","datavalue":{"value":{"amount":"+0.7319719791412354","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":"Q6163902$1A9F01C2-F215-4178-A7AC-A5616E6F42A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348e76111f53630ce12417c397b560c72fee3e18","datavalue":{"value":{"entity-type":"item","numeric-id":3636814,"id":"Q3636814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84beee145ef691c2cbf692daa09df72ba6cd38bb","datavalue":{"value":{"amount":"+0.7246336340904236","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":"Q6163902$12B56555-9BA9-4C39-B153-BB2690BAB3FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6163902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6163902"}}}}}