{"entities":{"Q3401140":{"pageid":3411843,"ns":120,"title":"Item:Q3401140","lastrevid":50890646,"modified":"2026-01-15T14:52:36Z","type":"item","id":"Q3401140","labels":{"en":{"language":"en","value":"Computation tree logic with deadlock detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664120"}},"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":"Q3401140$0C98AF74-CC08-4CD3-BC9F-8F4E9F7615EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a148fa1e0490f4c86d694224652060d8589d6a3","datavalue":{"value":{"text":"Computation Tree Logic with Deadlock Detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401140$65367358-23B4-4E72-9CD3-3F21962123B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2042875a0e0534df2cd4031a3713471b571fb17b","datavalue":{"value":"1200.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401140$F92EF38F-B0FC-406F-99F4-E95D4BC4972F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60dd6214085b8971700f1d058e5aec51f08e60fd","datavalue":{"value":"10.2168/LMCS-5(4:5)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401140$0C9338EC-ADFF-4E1B-8FE2-3EDE070D635D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401140$224F0CFE-8025-447C-943A-3125CBE675FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7682ec469886f24d2f5d573d128a429f22c994ac","datavalue":{"value":{"entity-type":"item","numeric-id":764288,"id":"Q764288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401140$E714BDB1-B2CF-4A45-86B4-E45A18FACCD4","rank":"normal"},{"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":"Q3401140$AC5DE7A6-4F26-4388-BDEA-E1570F7E512B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401140$11D41819-A46C-4915-A26F-F8F38BE83CD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401140$C67EF402-DF39-43BE-A24B-AD161C2F8298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401140$002EA244-B285-4E8F-B143-250DECEEE623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401140$3A3A6526-C71C-41D4-A915-93D7791BBC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401140$1234F01C-2C97-4A38-BF4B-B88D86BF6664","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da3b03496fd9f09afda1f937cb0e72770a6fdbd8","datavalue":{"value":"5664120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401140$4454944E-8800-4EEB-AAFF-458C6AE0D5BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401140$B2EF68C0-DE2F-4BE1-AB7F-A300173F527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401140$4A599F63-F17D-4146-9CF4-4416A97700A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401140$AC5288D5-ACF5-495A-98A3-15A87AC36C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401140$629D89F7-5EFD-40BE-A106-DED330B09989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401140$D5AA68A9-BB59-4C61-A507-A7426999CB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f158729c7f992ff153b64aca54eb60b313dc98a8","datavalue":{"value":"stuttering equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401140$DADA4D3C-5E4B-411E-B708-15743A738F7B","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":"Q3401140$9747D6F2-7B37-4518-A396-D752C3CAC576","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92c6af6d9ccb361ce51a137e550ab8d8e20cdf0","datavalue":{"value":{"amount":"+0.7534813284873962","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":"Q3401140$C3884FF5-F851-46B5-9BA1-D771CC787C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8143819b1ea4a3255b7178e2169f8ea3e2c1aef","datavalue":{"value":{"entity-type":"item","numeric-id":4598239,"id":"Q4598239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d7177f493af1f9a608a735c2a7e3756c787e7d","datavalue":{"value":{"amount":"+0.7430236339569092","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":"Q3401140$028F9B0A-44E6-4F10-9F02-AFC4613C26A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3170019fac32b2113488c1991e48e7bf13010","datavalue":{"value":{"entity-type":"item","numeric-id":5465889,"id":"Q5465889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7228323f623204c0ef857bfdeee9a60e26f93cf3","datavalue":{"value":{"amount":"+0.740745484828949","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":"Q3401140$18F20D8A-5890-4EAA-A9CA-B6B80BEB7BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ece3512bd313a9826207d86ffdf4421e7eb0563","datavalue":{"value":{"amount":"+0.7263246178627014","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":"Q3401140$F49494AE-296C-4E1B-8CC8-872E57B43B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9db2c72d22fd142da3f7d900a5828360d43031","datavalue":{"value":{"entity-type":"item","numeric-id":1784962,"id":"Q1784962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae57cca537cf3b12d896b37a37388ac1de8b8c05","datavalue":{"value":{"amount":"+0.7262589335441589","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":"Q3401140$8E125C13-D504-4D9C-8B83-9153FB2FFBFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401140"}}}}}