{"entities":{"Q5009419":{"pageid":7038996,"ns":120,"title":"Item:Q5009419","lastrevid":58395600,"modified":"2026-04-05T01:01:49Z","type":"item","id":"Q5009419","labels":{"en":{"language":"en","value":"It is easy to be wise after the event: communicating finite-state machines capture first-order logic with ``happened before''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378551"}},"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":"Q5009419$9DA0EF59-A296-4AC0-9843-BDB8E55560C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c98f6e9f57544e17d2704bd6da1b1b64849f0ba","datavalue":{"value":"1487.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009419$A4688446-AD06-4218-A09F-8163925DE6BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$76732591-41C3-4956-B058-DB4FE5A6157F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d44b325f158cd7c4eed27a4f49c09b063e7c27","datavalue":{"value":{"entity-type":"item","numeric-id":2164218,"id":"Q2164218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$C7CBA5CE-E9C0-4405-B78E-5030F29D7410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$42C80C40-E5A0-4358-BCA5-2AA92CBC82B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009419$C942AC2D-7982-46B3-9F29-8DF4D482970C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3b822fc2283fe50051ea6121d58cec520c27501","datavalue":{"value":"https://arxiv.org/abs/1804.10076","type":"string"},"datatype":"url"},"type":"statement","id":"Q5009419$7934A67B-ED4F-45F3-B10C-BEE04BA56E08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009419$4B20E538-1FE7-4C62-BC06-37D9FE4FFC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009419$AE9F9673-E396-4C51-A436-8D6FC6AAB45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009419$FF1ECA29-C9FF-4055-8AFD-D8A81DC558A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c441297bc92c2125df853ed023751e15774711e8","datavalue":{"value":"7378551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009419$237688A9-AA99-4C2E-879E-FC0F03FE108E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bf6d7f7eeebfda2585b22d78a8ad1fef29cfe","datavalue":{"value":"communicating finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009419$B002B04C-02D1-437C-A553-F65E7C341134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009419$DC46BE15-0379-4EE8-9618-60FD15DDD940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86e6eb19bfc525c0a7448f1aaf6f6fad94b33ae","datavalue":{"value":"happened-before relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009419$FD2E75E2-073C-436E-9CD6-8F0FB51A257F","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":"Q5009419$25D8C131-4172-4AD1-BA4E-3D31C0C71CB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3766b08fb7ba8c07f62a56db6df6f2291e365d86","datavalue":{"value":{"entity-type":"item","numeric-id":3304111,"id":"Q3304111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$B6B4F957-5B5E-4C32-BBD4-0D0F63BE6578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e805f4099ea4645d02195689f6d27be17348563a","datavalue":{"value":{"entity-type":"item","numeric-id":2786133,"id":"Q2786133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$3649289F-A4ED-47B6-BBE0-A22BBD5F4AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$8032F4AE-214D-46BE-8EBC-65B2A030E754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$309851EA-48F6-46F1-A3DF-BCF7D501EB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$D3480605-718A-4CDE-8C96-28649E40D6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$3F3E4A57-311B-4920-BEFC-287B114691FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$D10658CC-1B39-4A96-A16E-7651F5ED054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$291A8E23-33DF-4093-843E-70B5E953FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e8b232baa9b03a98b6de510505525c83b98fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3674621,"id":"Q3674621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$467B520E-7571-4B20-9402-BC7279D670B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$8B03077C-4715-495C-8B5E-756F291BD440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$7D20986D-D494-4CC1-BA9D-B254678BF11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f092966db210c9a9c9270bd8c548e203adf45991","datavalue":{"value":{"entity-type":"item","numeric-id":3504343,"id":"Q3504343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$347CEE56-F3C7-47A7-8876-032E7733CD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2672b0830d5a9aa5ce8286af79493607f8128982","datavalue":{"value":{"entity-type":"item","numeric-id":3616354,"id":"Q3616354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$ED43FA23-7749-4B5A-A650-A38AE776E0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$50456834-E831-4BF2-9629-60F21176B275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$380E3BD2-8273-408B-A2A1-C51F814A774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$C2C6B07B-F168-401D-B5E2-67E7981C2C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$67C63768-FA25-4E73-A5A9-7BE87C5B285B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c706cf525e1e8895186e5fdf1a56f877c4c63f","datavalue":{"value":{"entity-type":"item","numeric-id":1887140,"id":"Q1887140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$1A97BE6F-5233-467B-8998-1F5F74E23711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$8E86EE4D-EDE0-442C-9842-812AC320BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a75d7eb8197baf9f25ff642e0a4e967ba41360","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$3CE14B79-9C82-46B4-BA1F-BC12DE5BC9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e6ea50c0aa72100793b570cf775fb9f02d2be4","datavalue":{"value":{"entity-type":"item","numeric-id":5486241,"id":"Q5486241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$6E6B18BB-117F-4430-8186-ACA8DA890825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcca8078da70cd6b86300469ed5634daa3f58a6","datavalue":{"value":{"entity-type":"item","numeric-id":1881218,"id":"Q1881218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$DB5FDD95-9555-4707-A165-D62FFC451A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4062c3392b3f94661e8cd97eb185cd81a6a0bf74","datavalue":{"value":{"entity-type":"item","numeric-id":5891071,"id":"Q5891071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$C4D0E95B-2C40-46A5-8771-A320732AF0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$3A0BE19C-E196-4B10-BBEE-471D1303F6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e765617be6c53999db47622e1c6d446a84e10149","datavalue":{"value":{"entity-type":"item","numeric-id":5586356,"id":"Q5586356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$987019CB-A763-4608-AF38-A69E0826823F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009419$0D587996-AE8B-4AC9-9DE0-DD1C2842E8CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a54c34d86482a50b560d4dea484d6c67b0d7ab71","datavalue":{"value":"10.4230/LIPICS.CONCUR.2018.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009419$34690067-DAC5-457F-B16A-7FB039178C48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e828c661f65b9f5259ec2b422fc403adc088bfd3","datavalue":{"value":{"entity-type":"item","numeric-id":2208242,"id":"Q2208242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ff398cfd330704a13987ef1f68e2f28afe5285","datavalue":{"value":{"amount":"+0.9502819776535034","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":"Q5009419$93E7BCCE-4F9F-472C-9365-AA5C3F1590B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1862b5fdddb9ef470669d87e3792fd857da46e","datavalue":{"value":{"entity-type":"item","numeric-id":3304111,"id":"Q3304111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363f3112bc21a10d3f9bc26c5c1af60022c64539","datavalue":{"value":{"amount":"+0.8199512362480164","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":"Q5009419$974C68F3-A007-4402-9A79-253C90B6FEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d5fe473de3e1a70316ff6cb0f956abdd177268","datavalue":{"value":{"entity-type":"item","numeric-id":2786133,"id":"Q2786133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fade4ee5fe987917ed8469649a60a3dc95f6ad65","datavalue":{"value":{"amount":"+0.8197579383850098","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":"Q5009419$CA83E7BF-31AD-45B1-BFD3-C94D8698C85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6784abe5d7197553d9e9f4c314bcab39854e4747","datavalue":{"value":{"entity-type":"item","numeric-id":5458843,"id":"Q5458843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7628bb00cbd85a33b496ba6aa41a5ba4448c8a97","datavalue":{"value":{"amount":"+0.7959886193275452","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":"Q5009419$50A1BD3C-9D8C-45BA-8D82-A4FF8BCC06DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d5992cfa966335aed6a867eeb0cc984eae3ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4736865,"id":"Q4736865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2eaad2bca9e928f8e32c74c33fa62fc9570deca","datavalue":{"value":{"amount":"+0.7798035740852356","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":"Q5009419$6910F860-CCD6-40CD-97AD-FC052AB90245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5009419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5009419"}}}}}