{"entities":{"Q4420875":{"pageid":6450474,"ns":120,"title":"Item:Q4420875","lastrevid":97261817,"modified":"2026-06-05T13:44:49Z","type":"item","id":"Q4420875","labels":{"en":{"language":"en","value":"Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1966807"}},"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":"Q4420875$CCAF639E-71A5-478C-923F-D49FA2C7DED9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c6b684762c8c04546996d76640bdbc15fd7d08e","datavalue":{"value":{"text":"Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4420875$9E837F51-42C9-4971-9869-3164DD01A389","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0514a246678a006cf304ed9485436a003a121cff","datavalue":{"value":"1055.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420875$2F8BCFDB-E5CA-40EE-A41D-AF98CC60F75F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c66b3b8e2faa0a7dc32cd22435b77cc3c37b9d5a","datavalue":{"value":"10.1109/12.508316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420875$0D845048-C3EE-4C4A-AF3D-7604374033D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420875$ACA721CB-4FBC-4E13-AA8B-302F230C7E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf9b851a44e707de8c749ba50a61c924288d2154","datavalue":{"value":{"entity-type":"item","numeric-id":1007296,"id":"Q1007296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420875$83A260BE-5F4D-48E6-9E06-44E5E61B6D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf200be6ea1bbc4a396e8f5c918ad37d7b6000dd","datavalue":{"value":{"entity-type":"item","numeric-id":924666,"id":"Q924666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420875$5E9C4988-F0A3-487A-8A27-1B900CB4E861","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420875$BE21E4F7-A5B0-46B7-B948-63BFA3D51ACA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb759767da9e25ed180753251b692c5922c1d9d","datavalue":{"value":{"time":"+1996-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":"Q4420875$B226A3F2-2325-4544-ADF1-B09D5624CC8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420875$D07AB785-4163-4AC5-B8D2-C7BBEB69C346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fcb921e3f1fae9ac2a7d1ee14a1313ce7f66284","datavalue":{"value":"1966807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420875$62C39B13-A51E-435E-8A97-78D5F21FE612","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8c33665cc068c1a0ad41d4a92fb4e505052253","datavalue":{"value":"synthesis for testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420875$955ABE6A-2B09-4443-9650-5BDC686DF2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59473a64063554b47f372a96d5fdc3679597f47d","datavalue":{"value":"testable sequential machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420875$B3DC3359-B774-451B-A729-5BF9E088458F","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":"Q4420875$66EBA2C8-5C78-489D-8B5D-BF9FE698C67C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbbe42a59245e50aba3a4a4fc76e6da77c2eb91e","datavalue":{"value":"https://doi.org/10.1109/12.508316","type":"string"},"datatype":"url"},"type":"statement","id":"Q4420875$0B131E19-967F-46FC-9C03-AF60326A5199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d69b8463bc315fa2fd0afa5b33c00d499b3c6189","datavalue":{"value":"W2102631177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420875$3B491F7A-D935-4707-BACF-A6AC692C4583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233225d75e431f9568692deaa84b6b9b359f682c","datavalue":{"value":{"entity-type":"item","numeric-id":3501494,"id":"Q3501494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137b8d6831968d72c52d2e441a47893ef6bed963","datavalue":{"value":{"amount":"+0.7583044767379761","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":"Q4420875$496850F2-7756-41BA-98A3-62890090E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f54cb40f488481f2562d6f4f47363588a19a53","datavalue":{"value":{"entity-type":"item","numeric-id":4419725,"id":"Q4419725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247a103f0c07b26aa7aaccbe81a26205c2980169","datavalue":{"value":{"amount":"+0.739238977432251","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":"Q4420875$D148C240-827E-4FE0-8696-F9A8860C41AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffef029a9cd044620697d3cbb6f45ff8234cf05b","datavalue":{"value":{"entity-type":"item","numeric-id":4848443,"id":"Q4848443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04f6fafd5064f1840ec7199e6ec39cf7d778b62","datavalue":{"value":{"amount":"+0.7166616320610046","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":"Q4420875$596A976B-E699-40CF-92C6-9BE9EB3FFFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f30e69afdc7ce5d82251ce620fbb1dc5ebb09e","datavalue":{"value":{"entity-type":"item","numeric-id":3210196,"id":"Q3210196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cf46c202882a24c42f691225a69babd46a650f","datavalue":{"value":{"amount":"+0.7074030637741089","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":"Q4420875$F2C7B38E-A000-4CFB-9FDE-9676409BA517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4557c541dc468d6570a389ee902556819a9a5a8","datavalue":{"value":{"entity-type":"item","numeric-id":3654094,"id":"Q3654094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0942191aead519f6b93117b4c3575625374d8c","datavalue":{"value":{"amount":"+0.7064162492752075","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":"Q4420875$D6040D33-DE78-4185-8A83-24978F7FCBAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines","badges":[]}}}}}