{"entities":{"Q5089284":{"pageid":7118860,"ns":120,"title":"Item:Q5089284","lastrevid":39528291,"modified":"2024-12-30T14:53:15Z","type":"item","id":"Q5089284","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559475"}},"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":"Q5089284$6D4E12B2-4271-4A34-825E-A72D56F02213","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec514fe460115e16fa2381aba3b18f8dbe14f2c0","datavalue":{"value":{"entity-type":"item","numeric-id":904142,"id":"Q904142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$7736BB40-43E4-4005-B5A9-84B70A22E2F0","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":"Q5089284$CC1844B3-3440-444B-9150-7F2614FD3099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bead2067434c4d8ae91a1820e7027c9ac13185","datavalue":{"value":{"entity-type":"item","numeric-id":2140477,"id":"Q2140477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$4B70EDC5-D3A9-45D2-A745-2A0BE9E9F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$E4BB4A2A-D269-4559-B0B5-2B8836AF9A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089284$2DDC0D7E-9E5A-426C-83B7-576578677E07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"523ee0ecdbe26921e1291efbfed4d62b651b7590","datavalue":{"value":"https://arxiv.org/abs/2007.07940","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089284$52F2BAAA-1CF9-42EE-9B64-6AED74EE738D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089284$2168B4AD-E76A-44E3-8D64-DE32209F6252","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2518c6c5e3dbbc20f8c4c0056655dd37e97091c","datavalue":{"value":"7559475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089284$5772EEA8-B57E-4798-A083-14552C3C7679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089284$F6B1E109-8061-421E-B99E-CF0596812BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2b1f819495409ffc29c1f8db528862dca4c16e","datavalue":{"value":"asynchronous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089284$2BFEB375-9078-4FA1-88FA-7F14057CF65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ee478c750caea749591f40b4d0b63323c1eecc","datavalue":{"value":"wreath product","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089284$83AED800-BE49-4CB6-AE96-4DB4C12A5348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b39f85e52c8085a786071206ed9136a46b6cc6","datavalue":{"value":"cascade product","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089284$34F856CC-3817-4557-B757-B6C8F3309633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c1756ce19d6469dbbe7d85a48e7db6f937499d","datavalue":{"value":"Krohn-Rhodes decomposition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089284$A5901899-EBFF-4DFD-940E-C364B0F9170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0e53c7ad7cbfde84c69167b541bf8e4a10e01b","datavalue":{"value":"local temporal logic over traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089284$95921F8F-7FDF-49E5-9584-CCA78E85A525","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":"Q5089284$26D78561-D02C-4B81-AB75-8AFFDC16A5BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d85b24bd44b5bf22f4c5c31f33d7bb1fc086c70","datavalue":{"value":{"entity-type":"item","numeric-id":5465887,"id":"Q5465887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$95335D6D-D093-446B-8720-66AEABDBC532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$5C2769C2-339E-446F-BEDE-6D447FA39E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5be2cfdc456062ac293d666a4fb2ca8a6ad452","datavalue":{"value":{"entity-type":"item","numeric-id":859824,"id":"Q859824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$5F294733-A28A-44BD-9DED-3CA00CB1175A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b996c64db99670728b3943ae82699501f73902","datavalue":{"value":{"entity-type":"item","numeric-id":2893300,"id":"Q2893300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$EF1237DD-18A3-493B-AC68-12432B2FC5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23cc85c0060f1bbcfbf8bfbb7708ea57c83a5f7","datavalue":{"value":{"entity-type":"item","numeric-id":293379,"id":"Q293379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$7B0FF355-8A28-418E-88B8-E2E177B677FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4843ebf6d597777fb56e7b61de2fec2c0cf06552","datavalue":{"value":{"entity-type":"item","numeric-id":407518,"id":"Q407518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$A44116A9-F98E-4484-9F84-8A28DFFE6435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$9F392211-1581-487C-85CC-E17DCC487477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$CD5E11AD-5179-496F-A4CD-9E9D20DBF7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac56484821fb9e3cfb27d78979d101fe32a191a1","datavalue":{"value":{"entity-type":"item","numeric-id":5631023,"id":"Q5631023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$0B90D79F-AC9E-4EEC-9AD0-13561CED82C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb2373d6562e77ae6c7389b5c71f262310e6cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4907861,"id":"Q4907861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$2E006808-9F0D-4C88-93E1-A11945DA47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c599a6d4390d928bfcaacd134fc8557765945","datavalue":{"value":{"entity-type":"item","numeric-id":5137336,"id":"Q5137336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$F3B28C04-8989-4812-ACCF-6A05675C9F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$B8C94568-9419-452B-9955-036DCC7EC0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a5e8c2f6c929bee6027e26db1efae3b438c1d5","datavalue":{"value":{"entity-type":"item","numeric-id":1731800,"id":"Q1731800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$2EFDFAAD-EE88-489A-9C34-24D4FC4DD15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$EB6889AD-F714-4598-843B-BD19594A2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089284$FD3F8E9D-E24F-497A-BD9C-A6B29FF757A0","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":"Q5089284$DE0E5F4C-8395-4A65-A5C0-8589F4533107","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"157aae26f132a784c17ceeddad30b0e498fa5fdf","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089284$632C2214-BA98-4931-B931-E147A9120C3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089284","badges":[]}}}}}