{"entities":{"Q5089290":{"pageid":7118866,"ns":120,"title":"Item:Q5089290","lastrevid":39528297,"modified":"2024-12-30T14:53:15Z","type":"item","id":"Q5089290","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559481"}},"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":"Q5089290$C388DB50-9EE1-443D-B0A4-78FC132159AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$AA9FF377-BA11-4D33-8949-D25404E29634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$9DF2A00A-D4D0-4965-8103-E7763EE1CBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7ca3834697b9eec4cb675b7abb884c9439cbc8","datavalue":{"value":{"entity-type":"item","numeric-id":1652978,"id":"Q1652978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$92FCB825-0799-418E-8B81-B866A15C7AA5","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":"Q5089290$F92DDA2B-A32B-4D1A-B389-E75F4FF89719","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c25569210525808f4806e697033a435d7e3da4d","datavalue":{"value":"https://arxiv.org/abs/2003.08877","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089290$1B408987-FC27-46B8-B9D7-5F4D2FA27FD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089290$080D2969-2F5D-49DF-89CB-B33882275E5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e53873fade2b1d6aec8bba19efd0443e035f7c0","datavalue":{"value":"7559481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089290$9FA11EF5-C352-474A-933D-1725B9F067BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb713e850281893b23e8119bd6ae014e438c630","datavalue":{"value":"fixpoint equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089290$97C2F136-E868-4840-924B-8D00DDEEDA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d63bd162dbdb7e6310553fa4e73e95ac8f4ba9","datavalue":{"value":"complete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089290$D7CF5639-49E9-4EB3-984B-199076A9F384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089290$BCB35C49-4A60-475D-B5FB-200CF63B821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089290$DBEEC967-E9C3-4A87-82E9-42A484FF73AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089290$205869D9-0A1B-4106-96EF-EB663CAF0612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089290$D4FB4B19-39F1-4358-B4B7-E5B4E0F871F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089290$28225A41-AD63-4C1C-8CB8-E93E34F2AB3E","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":"Q5089290$CFF777F6-111B-41C7-8FBB-273D73AC16A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fad865b077c2075f9e4a91ae650f98b63640c7","datavalue":{"value":{"entity-type":"item","numeric-id":3066089,"id":"Q3066089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$39F8F460-4AF1-4429-8DAE-A547F09089E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$5D299B9F-4D12-4091-9EA5-7FB73445E492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25be017f34f91bcb664bf55b0c7478941a69890c","datavalue":{"value":{"entity-type":"item","numeric-id":5145290,"id":"Q5145290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$877D167B-9978-48F5-8CCA-531DAD205EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$45DB3E37-D72D-4BDF-9144-3E356FF87BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$DB34C618-2361-4142-A0BF-56D40D3BFD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$8CC3358C-3CA3-4D2E-9159-C34874A4468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$E773ED3E-2000-4A59-82DD-8A5F683A8EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e5090ecb01123b6d1ba4c412557c33fefaa122","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$C83E627A-04CD-4375-A7A5-81CABA16CAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$ACEBFA0D-2170-4E18-BDB9-BA67E27EB015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$F6B566B8-8357-45E6-8CBE-D503E825A1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$F815CE83-D2F5-40A9-9B15-B190961C4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc4a6ae5cd2ba79a9e8b7bf45f2bff911aa80e1","datavalue":{"value":{"entity-type":"item","numeric-id":2643076,"id":"Q2643076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$68A09B6A-A114-4999-9363-B9B5F69AB12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$1E60EADB-CD60-497F-87ED-37419EF3C829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$3C14BC2E-A780-4054-ADA8-616CB7493F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cfc9721e667f943208ff3ec343cdc00460182e","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$8A824167-DDF7-4B96-B748-16643FC6514F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$F3A1B2B7-872E-4430-9D19-B9B8FB90DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde8141ba4069566f85f2bd48d3bb1e303f1786c","datavalue":{"value":{"entity-type":"item","numeric-id":5145340,"id":"Q5145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$2DAA99F6-5218-4F4E-8C05-245D4401E245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670c1684f85b15799d6e7e0fbb8ee8dc35bf41e3","datavalue":{"value":{"entity-type":"item","numeric-id":5277768,"id":"Q5277768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$5E01D86A-0C16-4729-831A-215B5A69B14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$DBA59DA8-4CD3-4A23-8702-8634A139A771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0303b1abbd4ea24e173052e3ce10a404318bd898","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$5FB5FD0C-25C4-4908-A62B-D7329A6B0145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$DDB2A93C-117F-4F7E-8951-C17BF0CD6472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$14AF13AE-C0AE-469E-B624-77141986AABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$B265C593-57CB-4A2C-B5C9-93446786BB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$BA614626-CAA1-42D6-82BA-E4767DEA03A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$5905D79E-0C4A-4F2B-AC9C-2B1D65E29C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$1AC80454-6ECE-4D71-B8AB-565EFB42DAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0981a02b8c62c5b74a2a22089df67b2dd641012","datavalue":{"value":{"entity-type":"item","numeric-id":1350911,"id":"Q1350911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$55D6B5B4-83BE-4F91-B859-654DA22FED9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d504276b6e6cde44055b289ea776359a697108","datavalue":{"value":{"entity-type":"item","numeric-id":4580219,"id":"Q4580219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089290$7965D128-83CD-4305-87A3-2D805A2FE0C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fd545ccc27495b313ea02e746463fb233385c60","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089290$BC4C44AE-F331-48A1-BF84-A0E8DACB5358","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089290"}}}}}