{"entities":{"Q1882018":{"pageid":1892760,"ns":120,"title":"Item:Q1882018","lastrevid":71049501,"modified":"2026-04-13T19:08:42Z","type":"item","id":"Q1882018","labels":{"en":{"language":"en","value":"A binary-counter exhaustive test generator for a class of finite-memory synchronous automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108553"}},"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":"Q1882018$81810D95-3009-4878-8D04-EC254280B7CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c299bad6e4199ae1bb58448f3d6d96d9e092f9c","datavalue":{"value":{"text":"A binary-counter exhaustive test generator for a class of finite-memory synchronous automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1882018$B5AFBE66-9797-413B-AF09-0F868E5D9275","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdb0ef8f413e247192a18b76eaa16f785190b41c","datavalue":{"value":"1058.68538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882018$8D5ED011-BF4F-4B0C-8B32-C7FCA389E7D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"216fdfc00de4ea901f256f1b66261ccd51d85eed","datavalue":{"value":{"entity-type":"item","numeric-id":378371,"id":"Q378371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882018$50DBDCA0-A49A-48CF-B483-FB61077C5E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec503f43d625787624a4ba8c2ae539886a73b07","datavalue":{"value":{"entity-type":"item","numeric-id":378372,"id":"Q378372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882018$556B751A-CEFE-46EB-AFED-90ADD4A7257C","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":"Q1882018$65462729-B839-4773-8D7A-12DB56B76FA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70924c1771e2f1fb0750e0c211ce694843625923","datavalue":{"value":{"time":"+2004-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1882018$443064B6-5B2D-4AD0-85D8-D8125F1B206E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882018$52DBA14F-8A4D-4B18-8D06-BA0290B7CB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882018$8C9E05D1-0B25-4B86-82ED-B5516EFBB08B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"986f45713968ab121947128ee083fd26659b593c","datavalue":{"value":"2108553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882018$B1B37E0B-17E9-4529-85A6-CC42BB5B9BE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1760f41b262edefb34fd5804e581635a8b55254","datavalue":{"value":"synchronous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882018$D1FD912A-BE9E-4B6F-841B-B163E0A1462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6772e9e65dfadc1ca1348b28a5873c37ae5b4e","datavalue":{"value":"finite \\(B\\)-memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882018$B8D7366F-9A80-40CF-84EA-FAF223EDA1A7","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":"Q1882018$7C485BD3-2411-49F5-B66F-5B0735064D6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df888268a3d83b5437db0a7d2ff7f275295192","datavalue":{"value":{"entity-type":"item","numeric-id":1290223,"id":"Q1290223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c046f2a561a9057ad2ae32822191f1b8dcd874","datavalue":{"value":{"amount":"+0.8254255056381226","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":"Q1882018$6500E0D8-8303-4F15-8B97-CF41D525C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac93e3b7cefbdcf94a2821ca51bb60dc82ad452","datavalue":{"value":{"entity-type":"item","numeric-id":1280807,"id":"Q1280807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5e9174b60093fbf3d681b920e0e69604fe49b1","datavalue":{"value":{"amount":"+0.8073950409889221","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":"Q1882018$74D88DDA-5E45-49F0-9988-C91287571D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae0803e246933ba4fd39a2b2a66ee8a8e87396c","datavalue":{"value":{"entity-type":"item","numeric-id":3699608,"id":"Q3699608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5e9174b60093fbf3d681b920e0e69604fe49b1","datavalue":{"value":{"amount":"+0.8073950409889221","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":"Q1882018$3DB52131-0630-4B19-8305-1050EE9F7555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0207ed8778ab3bcd921808a7e36748b5a33f4a73","datavalue":{"value":{"entity-type":"item","numeric-id":1287286,"id":"Q1287286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dc6fa54e06c6229d2557865c3abed0bd438c70","datavalue":{"value":{"amount":"+0.7647241950035095","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":"Q1882018$661B47DC-8BD1-4B54-805C-C32ADB56880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063af71e98796c20f5b66b074c5191a3ed0ce5b6","datavalue":{"value":{"entity-type":"item","numeric-id":4420787,"id":"Q4420787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0da9b2c13adf38c36e5652b1812352938e90e97","datavalue":{"value":{"amount":"+0.7395057678222656","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":"Q1882018$10D23FC5-D4F8-4F1C-97D7-44BEC253E940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A binary-counter exhaustive test generator for a class of finite-memory synchronous automata","badges":[]}}}}}