{"entities":{"Q1054479":{"pageid":1056327,"ns":120,"title":"Item:Q1054479","lastrevid":66722907,"modified":"2026-04-12T12:24:56Z","type":"item","id":"Q1054479","labels":{"en":{"language":"en","value":"Unboundedness detection for a class of communicating finite-state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823153"}},"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":"Q1054479$4A691ACB-F8B9-4DDD-87C7-7CC39061576F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a57bbea660148a1e689372ea4eb22d66883f6f3","datavalue":{"value":{"text":"Unboundedness detection for a class of communicating finite-state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1054479$7CD8EA8C-AB6A-4C21-85DE-AD4C209FF84A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c11d2380a3e54fd60242eb86099e9d4ab051e7bc","datavalue":{"value":"0519.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054479$E78FC3DE-9AFA-40F4-AF44-03B1B45D92B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f17e0d64015b9faf8e1d14a28e591e1c43c15237","datavalue":{"value":"10.1016/0020-0190(83)90105-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054479$779FD363-DC18-49FF-8FD9-0B7E465439E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7881e081ebcbfb99d36abf81d0441d5f0ca9b308","datavalue":{"value":{"entity-type":"item","numeric-id":1054478,"id":"Q1054478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054479$45ABC3E0-95D4-4EA3-86E4-9437FF4A0014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54a8b527177245beaadca05f10fe7026f602d89b","datavalue":{"value":{"entity-type":"item","numeric-id":701150,"id":"Q701150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054479$78E5E15C-F002-4F81-892E-0C83CB244484","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054479$410AFF09-F355-47CB-B224-193AF066846F","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":"Q1054479$DE278418-6146-4D5B-A6B3-D6DC6A2CADD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054479$AAE25FEB-518C-4452-8BE9-F4FF01E41488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054479$3728D814-268D-4702-B9F0-A0A8F7BF1A6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e28a70f68becc39a154b962f05b9b0f71c95e16","datavalue":{"value":"3823153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054479$4A56D50E-8B17-4889-A96A-58FA8144B23F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bf6d7f7eeebfda2585b22d78a8ad1fef29cfe","datavalue":{"value":"communicating finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054479$84353C98-8853-4EE0-B2FD-2F5B0FB59AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054479$E9A6BCD1-9978-4331-BF79-101C9145A249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6521ccd380c236f763faef98a7efcf1ee65a7c4","datavalue":{"value":"reachability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054479$30CC12BD-9FEE-4C48-B935-8579752EB50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054479$4AD64C3B-F181-4320-848F-A5FC0C1CE52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054479$07B8F5D1-799C-491A-88CF-5FA8844EC004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f34716a4ecebface445d28b95084dd183121c2","datavalue":{"value":"unboundedness detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054479$1688944C-C311-46CC-953C-F2A3FDF2B789","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":"Q1054479$F78F5593-11BB-41D3-9DC5-DA28769CC26A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c432320efe5b2cb6d954ccf1ede709044105b9ca","datavalue":{"value":"https://doi.org/10.1016/0020-0190(83)90105-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1054479$76B0364F-9220-4846-8DB9-1D5785D02705","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"663e542929acead2e3a4d80e6d6f790bf6568aaf","datavalue":{"value":"W1990154918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054479$130370BA-EBF9-4E6A-BE74-C400E3380244","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca2c70313d1144dc7b70c75e2350828fdb0fc9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3962470,"id":"Q3962470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054479$FE9E7378-F97D-4882-A3F8-C349AC54D21E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unboundedness detection for a class of communicating finite-state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unboundedness_detection_for_a_class_of_communicating_finite-state_machines"}}}}}