{"entities":{"Q5089309":{"pageid":7118885,"ns":120,"title":"Item:Q5089309","lastrevid":39527794,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559498"}},"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":"Q5089309$671B482C-CAF2-4824-94C2-7A4FFD21DE73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$A38A58DD-D5B3-4CAC-9735-5D70699481FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$535B7534-8160-4391-9B25-3A0855CF3449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"793278252a584d8cdc15f505f0cc53c1ba52d609","datavalue":{"value":{"entity-type":"item","numeric-id":1653015,"id":"Q1653015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$D949B902-1269-455B-9CBF-C5476D6FC23A","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":"Q5089309$CC8DF694-927A-4754-957A-467E4B0ABF40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f665ab6bada3dba7693dcd371cb5ce72de27c4e","datavalue":{"value":"https://arxiv.org/abs/2007.09340","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089309$AD951D5B-95B0-4E9A-BD7B-6BFE69634F29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089309$C0A329A5-34A5-4B99-9232-D9F4F524E228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d308c07d8394462d68075e0ea8ccf986371ff98","datavalue":{"value":"7559498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089309$C08020FB-FAB3-4A20-8ADF-DD3C615FB8C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089309$EC3F4EB8-8877-48F8-B94D-AF5FD94A9383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60856e43fe079d8f45dced5b8cbd5af048066e22","datavalue":{"value":"determinisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089309$ADBBFCEA-A147-4CD6-9057-D16EA4340C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c653c8814bc29d43e98bac7aeed4404cdb5a35e5","datavalue":{"value":"deterministic membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089309$B7D28173-B535-4D62-A170-3669286F0427","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":"Q5089309$A8FA8F2D-9544-4C1C-9142-72F3E205F32F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6bf3dfd248a3514cf17d2001ad6605b920f447","datavalue":{"value":{"entity-type":"item","numeric-id":4643961,"id":"Q4643961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$C9E74E7A-FCF8-4C56-9164-E5E48CF6D293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$FABA1677-3F08-4D19-BC6E-67F8E002CA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$4F10511E-E717-4D60-977A-F360D46C2E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$D36DEA3A-996A-40A2-923E-B15B8A811E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b3b9b331b9f238dfcaf9697c18afb0978b607","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$2AB9261E-F966-4E4F-8F96-F0D13EED6F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4158e9526994a65a76e954808a817b67bcbff9","datavalue":{"value":{"entity-type":"item","numeric-id":5449818,"id":"Q5449818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$C4667E95-AF97-45DB-A063-A66AFE71D63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c1e460f16fa723263fc81c1752dcf2ac238b17","datavalue":{"value":{"entity-type":"item","numeric-id":2018058,"id":"Q2018058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$B3416982-CBE7-4378-A427-38012354FCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c858ff7d646b5e61d59d7ab8b0d3c88780592b","datavalue":{"value":{"entity-type":"item","numeric-id":3167002,"id":"Q3167002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$C2C76F8F-062D-45FE-B584-FD6863867D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e19bb52a9c8c241f845cb6f7eb26111667ec9e","datavalue":{"value":{"entity-type":"item","numeric-id":5705876,"id":"Q5705876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$5A88BC4C-B780-4DBD-B926-E18CD1AF3AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8438e1ba3c0e784921e7003c60b4aa65be4765f5","datavalue":{"value":{"entity-type":"item","numeric-id":5428862,"id":"Q5428862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$72ECC2F8-DFD3-4EC6-B406-D2E1A3866FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$EF718432-FB48-4254-BEF3-E2C68F64C114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e33cb9ef5102f1a13249130005fc3ad81ce2db","datavalue":{"value":{"entity-type":"item","numeric-id":5875376,"id":"Q5875376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$441DE873-8BF5-449C-A69A-9BE9A1175D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$FE8F7EFF-01E5-4ACB-B2C4-86D3DC71AB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2557de950871aba3cd786a2779ef86703e6c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2347796,"id":"Q2347796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$4747D9C5-94DD-4719-A736-2A063BB3DB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a882ddb213a4d6ed482eb68dc25e4cee7f55653f","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$C890D711-7873-47C6-8D63-5068DBCE114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06c647aa7565aa799892798c5449e01b6a5a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":2338218,"id":"Q2338218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$389A8D91-7692-46B4-A18A-95255D1F9B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286ad57ee425318e8a65bded4a739b7fc5c2dc39","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$72AD73A8-8C48-442A-BE3A-32C9D24C6E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56c2d2dbfa3d9dc8756dc0d4aecba180d8e0fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5145660,"id":"Q5145660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$18A4BC2B-154F-44D9-AFE9-3C56AC648EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d5b5ef220f6f2383a3477daf70dc594eb1404a","datavalue":{"value":{"entity-type":"item","numeric-id":5875377,"id":"Q5875377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$09B05D98-54D9-4459-A50B-B8847AEC11D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea67b034c9d80ead8fad28f48b3dbaa7da33e9e0","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$A3D34F03-7A9B-4300-B03F-F890FFE1ADE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15744995f7cdcb1b651d1683f9112676384ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5897779,"id":"Q5897779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$96CA74E5-2C80-45EE-8012-0477E20EAA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b15cb6ee5100537ac204806dc2e8a0652d4f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5277799,"id":"Q5277799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$9D7059B9-CA71-4B67-A9DB-68587F14BAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92325a8e80037d21fa787dfcadc2acde793b266","datavalue":{"value":{"entity-type":"item","numeric-id":5308461,"id":"Q5308461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$CCB33153-6C71-4936-B86B-FA161F856003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e42f0028eb276733b0205f8d462592e23f52066","datavalue":{"value":{"entity-type":"item","numeric-id":1401309,"id":"Q1401309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$FB93963D-ABD6-4E51-B8C3-0987CFB8C238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$1F74A40A-CC76-4EE4-9735-D6E7D4E0537C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99d516f03f630b465144bf2edfacff7e586661f","datavalue":{"value":{"entity-type":"item","numeric-id":3549457,"id":"Q3549457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$0F76801F-5E4A-4CA6-820D-DFDBD3CA2FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9f0ec80ec6d7cbcb87923302232ebdad5d185d","datavalue":{"value":{"entity-type":"item","numeric-id":3543291,"id":"Q3543291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$55745966-4C98-4F6A-89D9-70325D510470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf4523d868430bb55780072c2376bb2b99d0ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2176706,"id":"Q2176706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$9EBAF790-E712-40DF-9B6E-6DE842946CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f167889b95f8d71fc5e93e219f59d51beef85f31","datavalue":{"value":{"entity-type":"item","numeric-id":845728,"id":"Q845728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$29F75301-759F-4041-B7F7-7CBF59BD94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6e6ab585a855fab7a27153f29da3cfb8f1e7c9","datavalue":{"value":{"entity-type":"item","numeric-id":4045649,"id":"Q4045649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$21C205B4-F5C6-4F13-88AF-AACFEC3304D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4742fb3b3c48c73bcf3c896ebed6b9469ae658","datavalue":{"value":{"entity-type":"item","numeric-id":1158763,"id":"Q1158763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089309$130B577F-4D05-419B-BBA5-B45E747367C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25aca1bcd068265cec2c6514e64ba04cd5410d87","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089309$82BB8D32-2434-4D28-B837-AB328D10FAE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089309"}}}}}