{"entities":{"Q3304111":{"pageid":3314819,"ns":120,"title":"Item:Q3304111","lastrevid":86844554,"modified":"2026-06-04T10:00:06Z","type":"item","id":"Q3304111","labels":{"en":{"language":"en","value":"Communicating finite-state machines and two-variable logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228408"}},"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":"Q3304111$9A6D1E6B-B72B-43CD-AC45-E4290650E78F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33f04f4ce2a09a6609c2defb4b8b135c947501d6","datavalue":{"value":"1487.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$49DA5E15-3DFB-49BB-B181-1B4AAC05EBFA","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":"Q3304111$A623DD2D-532A-4493-9AA7-736FED966AE8","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":"Q3304111$69037289-29F5-4F84-A41E-7813E8F54231","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":"Q3304111$F9BD6C85-1138-4358-9FAD-6B2B75A5BB4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304111$F1319B24-29E0-4877-B0C2-694F4C779869","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"655be9b2c5d624f45081139fcbb9831017195c9f","datavalue":{"value":"https://arxiv.org/abs/1709.09991","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304111$C5381FEE-7A40-436D-A1B8-C4251C80CC56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$A7AFAAF4-4FBC-449D-9F0A-1D00765CFD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$68278143-72DA-4F51-BBAE-C236A96A2A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$57136C9E-1749-496B-9139-E414F97B7874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$26A87F2A-700E-43CB-BB84-21E16D2D1214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b75219ab7492ca11568723f296b6414fe1db89","datavalue":{"value":"7228408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$7F9586A7-101B-4356-A513-DCDD4FCF7A0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bf6d7f7eeebfda2585b22d78a8ad1fef29cfe","datavalue":{"value":"communicating finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304111$57481975-9038-4AB2-95C4-FD91FF101257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304111$B7559287-79F2-4282-879D-B105DB58CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304111$4EEEA100-EA85-4BE7-BBC4-D4146F3F65E8","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":"Q3304111$B65F47B3-3200-4559-AD0A-F351F9886915","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$B3FEE32F-5EC4-4133-AAF3-D71D055C2B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaecc3cddca28ef69101ff9135054fa9dbdbb992","datavalue":{"value":{"entity-type":"item","numeric-id":5895230,"id":"Q5895230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$456EEA52-1208-46D1-AEDF-FAC9B6D57FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99b6b8d77e20e3628ebd7f7a63c4bcb3523ccff","datavalue":{"value":{"entity-type":"item","numeric-id":846359,"id":"Q846359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$F11C50C2-E8FC-4A6E-8FFC-A8605A0E585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$4E48121B-471D-43EE-92C2-62779564864C","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":"Q3304111$FBB82BA8-8E39-4BC5-B8E2-5E9C06785850","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":"Q3304111$1813E37F-4795-4A34-B786-BAA3FE8DADDA","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":"Q3304111$7CD87652-597C-4F55-8AAF-BBBFF09B0174","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":"Q3304111$26BDEFC7-CEE9-4672-830E-26FE54B94F69","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":"Q3304111$93DE76F1-1491-475E-9E9C-DEFC0B6C15B2","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":"Q3304111$B3D37359-CA1B-470E-9CC5-CA2900ED39FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9693b6aab4e859fd3c29c6b9ce137f9cf3214650","datavalue":{"value":{"entity-type":"item","numeric-id":5431917,"id":"Q5431917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$40E9BF9D-22A3-433A-B613-2268B8E1777F","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":"Q3304111$EEAD9C09-4A8C-40EA-833E-E0C88F603661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b1bd8512be358e23145e52562ffbf1338fd42f","datavalue":{"value":{"entity-type":"item","numeric-id":5292639,"id":"Q5292639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$F1CBAA5E-0C4D-4877-97A7-431D7DD17563","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":"Q3304111$D02ED6EF-8284-4D55-96F7-A702D65197BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd10df8aadb4fd23e6a44589cc7b4541609eac41","datavalue":{"value":{"entity-type":"item","numeric-id":5918244,"id":"Q5918244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$368AEFBD-11F4-409A-B462-8B089EBD24F5","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":"Q3304111$FA0AEF59-D1FE-405B-9F79-851849D23795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8596aa54a6958616ee0a5b2702de350117dce6","datavalue":{"value":{"entity-type":"item","numeric-id":2754184,"id":"Q2754184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$EECE9BEA-847D-4468-B19E-8115CCF30B51","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":"Q3304111$9933E2F2-3306-43CC-A127-08314D600BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a78d775c719330432fb0c2ec248ce55a297169","datavalue":{"value":{"entity-type":"item","numeric-id":2958538,"id":"Q2958538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$017D33A9-1602-47ED-9958-2FE23C38E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52dd4cf037ece6f163efe555af24535cae3572bf","datavalue":{"value":{"entity-type":"item","numeric-id":4635803,"id":"Q4635803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$3FE2DC88-2E1A-4F4E-8E9D-66AC65154AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9c03e7823b7d77942c63ac6f8200c44ad93bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5111432,"id":"Q5111432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$25876674-DC0D-4967-A2C8-2DCFE1E6C2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304111$54C4D0CC-97BC-4562-8152-D946C032DD64","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":"Q3304111$32071569-487C-4DF9-AE28-0655F2532CBB","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":"Q3304111$A6185A1D-1A79-4C16-AC04-F33A4C882E43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"792da6c4d43dbd27e9cf829538dc040f78e81510","datavalue":{"value":"W2963026932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$81CCABCE-D479-496D-8089-F3819D4CBA89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5981f9507d2621e554e06176b7a45f37c6735e09","datavalue":{"value":{"text":"Communicating Finite-State Machines and Two-Variable Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304111$DAB59A3A-5465-4C31-B4DE-9FE4E8C5D45F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"628249f70cf0dffd43b5d9297df7ba729b8b6b72","datavalue":{"value":"10.4230/LIPICS.STACS.2018.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304111$C0B552FE-2669-4CCB-9C91-A45E52EE0BDA","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":"5b97d6b3b9261150997ad45b1fc9d2560dfdb150","datavalue":{"value":{"amount":"+0.824637770652771","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":"Q3304111$7AB54D1F-E57E-436E-93DA-90918B540E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930502d3c35a2035be7d959107ed4400e8f7cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5009419,"id":"Q5009419"},"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":"Q3304111$BCC5D4CD-EE72-48FF-9E15-AEBE57901CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48ef26ec33055bda9f3a94de841ca4018646f17","datavalue":{"value":{"entity-type":"item","numeric-id":5711975,"id":"Q5711975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55467708a62cef0b86b6c408808dfdf348c9aca3","datavalue":{"value":{"amount":"+0.7795180082321167","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":"Q3304111$B020C3CC-2270-4010-A5F5-45C3477FF1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887a076b6d4f896f1fe32c094367ffbbeaec0d56","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e8e37b624e870fa9e3a15ac8906a73492fd697","datavalue":{"value":{"amount":"+0.7755941152572632","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":"Q3304111$97DDADEB-76F2-4584-8009-D64717176A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9078a4ccf4ab0bbc42a6174966e55ee6c80e01a2","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d851bf8c4fa7408c48d399b2847d058f285097f","datavalue":{"value":{"amount":"+0.7715217471122742","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":"Q3304111$36B9C550-EECF-4E00-8E14-CF0D08031FEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Communicating finite-state machines and two-variable logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Communicating_finite-state_machines_and_two-variable_logic"}}}}}