{"entities":{"Q1784962":{"pageid":1795704,"ns":120,"title":"Item:Q1784962","lastrevid":74243325,"modified":"2026-04-14T19:08:36Z","type":"item","id":"Q1784962","labels":{"en":{"language":"en","value":"Cycle detection in computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944943"}},"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":"Q1784962$01036BA3-8EC8-45A8-B6D5-7BB8B8839A20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"195d112ad1d532766ed391a68bea76a6fd2b6aef","datavalue":{"value":{"text":"Cycle detection in computation tree logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784962$727C55A8-E3BA-4254-982D-B4403F57B67A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c044a7d9b71a1542d02012a74f007bce6f8966f6","datavalue":{"value":"1400.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784962$A0C73AA3-31FA-4FFF-9DD7-483A5ADAAF7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4806e22388fc22e3970ce41be246be0da279e951","datavalue":{"value":{"entity-type":"item","numeric-id":269315,"id":"Q269315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$4CA5AE7C-AC70-4924-918D-031B9C48D19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$B87BA727-99ED-4AD7-8679-3C163F7EC246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$E8309290-3CBA-4DC5-A9C3-96EF85ABD4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e5be1447898a2ac61f3a9737d4a015411a19d","datavalue":{"value":{"entity-type":"item","numeric-id":314470,"id":"Q314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$1E2E8ED5-BF86-4F05-B82F-7EDC39CE1230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d2e4712309048acf2ce4cf388d2296c8734377","datavalue":{"value":{"entity-type":"item","numeric-id":1706168,"id":"Q1706168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$9090F282-865A-411C-9283-4F25A0F0A8D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$CE79B488-507F-4A96-B9D7-9B33F2087AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784962$677B6F51-9C96-4BAB-B9A5-53E8D9DEFF6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf30379e8e01986447c4cc775ce67dc5ddd44a6e","datavalue":{"value":"https://arxiv.org/abs/1609.04095","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784962$5BF88115-A74A-4122-8915-856104F7B51C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784962$F1A21AD4-C029-43B0-9346-221B353FAC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784962$C4063EF6-D848-4668-856C-4B1AE4F08132","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42c613721a70be84466da8327f8e7ef46b7deeb5","datavalue":{"value":"6944943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784962$3E788ABC-9D32-4001-A027-596387BDC11B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784962$196AABCA-05FD-4B38-9E62-BA5D91E549CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784962$FE105B9C-7A0B-4FFC-9ECD-4A53D6AB6E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784962$A228DFCC-FB16-4D85-A95A-50D3127A4082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784962$80EB8CC7-4130-4D90-A6C0-2EE09728ACFB","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":"Q1784962$430ADF6D-23B6-477F-928D-F5C278CCC87C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c48dcc1a1e0e2b3285ce0dacebef3fcda14b5f86","datavalue":{"value":"W2962715492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784962$35929397-D032-42B4-A9C4-8A1AD5801E70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$9C5B6248-3288-4849-9858-44E2E66F2357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$2E521AEF-957B-43E6-851C-1612215503E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed1d5d70e3773d446e8bb2fa68e0db6b1a2ebc6","datavalue":{"value":{"entity-type":"item","numeric-id":3535618,"id":"Q3535618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$03317B1B-60C3-40FA-BD6C-69EFFEF483CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6eb349a791ef34219aa97210664902e99ca1cb","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$5EC9730B-0DA9-43EC-8132-A3D367A31AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0724f03c880da110db2d809a33869a75cb2872","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$F88CA30B-985B-4985-B469-BBE5AA7876B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$E37C67B3-87F2-4B13-85BE-29511D10D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$FE2C424E-78FC-4E1F-982F-CF172C56379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$6D011463-7711-40D3-BFFA-0F379257CFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$06B18F96-FF84-4C21-9210-8DBD69E0DCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68c9c5e6dc8c820f13872cc0a21e816d437222","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$726D9D58-BB6F-42BD-8A93-657541661144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d59cb4ec5e5fe07f320735751867c9f21e5ff81","datavalue":{"value":{"entity-type":"item","numeric-id":5015276,"id":"Q5015276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$78C0B5C7-ED3D-4C3D-A796-C24FEFAE4DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$03551EEB-DCE5-4545-972F-70600D895D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$943C0984-F755-4E8C-BF2B-5B7297FFBDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95ba2dc8409e313e773c7488e96564eaac62316","datavalue":{"value":{"entity-type":"item","numeric-id":5484907,"id":"Q5484907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$6F923816-D226-4E34-91C7-D65510B42A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab8130d3aff9409c6a296190aadf3113874d3d6","datavalue":{"value":{"entity-type":"item","numeric-id":4428305,"id":"Q4428305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$94D0F555-AD5F-4685-8E3D-3D21D6359B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$F8E096EF-9869-4452-8696-7A87131F4439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1901ce6381510a7c862c00cad6ae39b661528f81","datavalue":{"value":{"entity-type":"item","numeric-id":439961,"id":"Q439961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$D40F4057-7BD9-4011-939E-89725BFD6F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$A51ADD64-3FA5-4EA6-A314-EDB2F76DF1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$D0D2F213-F579-400F-8FC6-FDA82E229440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$D73260ED-1F57-4000-AD2D-372FFD47D981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b381a2389ed3f4dfbac60cec5796c5944e6396","datavalue":{"value":{"entity-type":"item","numeric-id":2980973,"id":"Q2980973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$91D17A73-8BAC-4D76-9F6D-C7E015C8D985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ea1396da53ecce5aa6cd2c1b39be80144eb1af","datavalue":{"value":{"entity-type":"item","numeric-id":2805469,"id":"Q2805469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$890E3B51-517B-4658-AB68-5581EE4CC1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$AEDEC594-74CA-4708-B393-56569313FA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$FF70D366-2728-4D41-931F-6FF968806C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784962$EE9BAF3F-9CAE-41DC-B389-9731F63F8DF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47856213f20a90e6b8c70958b1527c17d0a46d5a","datavalue":{"value":"10.1016/J.IC.2018.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784962$28C75256-1D1B-46A8-B61E-E87FD01C0037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431d7040cccd1fb6295469210816c44be11aba14","datavalue":{"value":{"entity-type":"item","numeric-id":5015276,"id":"Q5015276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefb042809cc0d311ec4b677e1d6ddd92d0d482a","datavalue":{"value":{"amount":"+0.9418864250183104","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":"Q1784962$4F2A3E0E-E2E6-4740-89BC-9009D6B07B42","rank":"normal"},{"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":"49d5badf84e5c5a8e2ea25e34a696f56a267bef7","datavalue":{"value":{"amount":"+0.8062715530395508","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":"Q1784962$23111FB6-E78C-4C96-AD76-139D847E1498","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":"272c8df8923cbf45df110797a289811157700c22","datavalue":{"value":{"amount":"+0.797664225101471","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":"Q1784962$310BE3C0-CD18-48FA-ABCB-63AEABBB6CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf6362829a471005761450390520303b5598814","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0037c3916d80da7df7ee49a4d12372b1c2132f74","datavalue":{"value":{"amount":"+0.7884126901626587","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":"Q1784962$6D5F0940-0B70-481B-85B9-EDF8FA63D835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7279b9ea12c02179b3fb5f75f953d3911da3e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3557853,"id":"Q3557853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac925120ca054a3fb6724b09e41f0610fd6e216","datavalue":{"value":{"amount":"+0.773299515247345","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":"Q1784962$AA3A479F-9C07-4BA6-97D8-04835E39EFE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cycle detection in computation tree logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cycle_detection_in_computation_tree_logic"}}}}}