{"entities":{"Q3962470":{"pageid":5992375,"ns":120,"title":"Item:Q3962470","lastrevid":55110013,"modified":"2026-02-03T18:44:49Z","type":"item","id":"Q3962470","labels":{"en":{"language":"en","value":"Deadlock Detection for a Class of Communicating Finite State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3784270"}},"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":"Q3962470$E58FFADB-42A4-45FE-A917-B98E144F2A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"516738dcf63797d1b1e793e44fdd5c7387968d6e","datavalue":{"value":{"text":"Deadlock Detection for a Class of Communicating Finite State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3962470$9F102C85-72A3-4C99-9A33-55D7705FBE55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"519ba096db27d4d5c71fba8756f5a51dddecfd4a","datavalue":{"value":"0497.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962470$7566D8BC-A07A-46DA-B02F-41174BFC5574","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74c1bc60eebcce240b2b348ad90aac53436ecee0","datavalue":{"value":"10.1109/TCOM.1982.1095450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962470$CBAB0BB5-2874-4BEA-B785-59D20453FC97","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":"Q3962470$D93B3609-18DE-4751-93A6-3F6234F2E231","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":"Q3962470$45944A9B-804F-4E0F-818A-6F3917402A15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"113280799f51215fd20cf35fb6d5cf2ff3e7cd6d","datavalue":{"value":{"entity-type":"item","numeric-id":143819,"id":"Q143819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3962470$3BB5850F-8EFD-4D0B-98B7-ED9FD28F7782","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3962470$1EB9B064-C136-4F4F-93A0-0462A8275243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962470$D91D6E7C-27C6-434E-908E-0EE445EADB78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da1ad8b203a14ef7a308eec84875f544ce5641e5","datavalue":{"value":"3784270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962470$EE4D2DA3-6661-4852-ABF4-807E99CD64A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc544e482aa599702c82d69a25709014b297742d","datavalue":{"value":"polynomial algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962470$B9F10F62-D191-4B83-83D3-A24E4089C49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962470$3FAC1CAB-425E-437B-8DCA-0A98065D45C5","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":"Q3962470$BC7E0EF8-F9CA-4AEB-82CC-E80D6B323EAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42d2902f30fc0cf53d32e94f677b6679952a12de","datavalue":{"value":"https://doi.org/10.1109/tcom.1982.1095450","type":"string"},"datatype":"url"},"type":"statement","id":"Q3962470$AB9A439E-6BA7-4B58-9FC5-DAA1F4EE6B75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c74757cc3db47b29928ab3fd648afe648d6587e6","datavalue":{"value":"W2126163510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962470$53412F27-D1D7-4A76-9B49-3DC9598DA77E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3962470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3962470"}}}}}