{"entities":{"Q5089158":{"pageid":7118734,"ns":120,"title":"Item:Q5089158","lastrevid":39528013,"modified":"2024-12-30T14:52:59Z","type":"item","id":"Q5089158","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559372"}},"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":"Q5089158$9717ECB4-FCF0-4729-865E-43BC079C667F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$B75CA1E4-0842-4238-8735-814BF8F2BCE6","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":"Q5089158$FB017EE5-D7F7-4E2F-9EBE-2A03BF28AFDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089158$8FB23680-6E83-4077-AB34-89B4FB684FCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ca83c143251e10051ae80b884e1c692168d7aa3","datavalue":{"value":"7559372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089158$EF3D5041-B717-4122-A88F-6CAD300D061E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43a29a916a7304f820c367a6add4a9f5f8bae1e8","datavalue":{"value":"concurrent games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089158$AA67170B-93D6-4E72-8CD0-A8DFA1DCF1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089158$F91C4877-AA31-4A91-8366-CC5207929ECC","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":"Q5089158$EFA2F111-BC42-4CB9-B0F8-1646A5CBF76E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$0C4E77FB-85FD-4F70-9C2E-CE2665934DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cbc0ad632014d62e69e2e554c71b9c8f7e1971","datavalue":{"value":{"entity-type":"item","numeric-id":5875665,"id":"Q5875665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$BB51A75A-40D0-4B48-8C98-5144FA7356B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd285b8b40f0faa8ba15e8324b2dfd9d80364ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2941757,"id":"Q2941757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$877262F8-771C-41F1-84B6-1981E6147D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa85bf304d2d52b693bf31eaffbeb196a6f672a7","datavalue":{"value":{"entity-type":"item","numeric-id":4913770,"id":"Q4913770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$5BE34FD5-A2A2-4109-AD3F-AC45C3F2F835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b3a63191708fcbef13555df7dd8e686610d49c","datavalue":{"value":{"entity-type":"item","numeric-id":854165,"id":"Q854165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$F996FC76-48BB-4721-B669-8032CA1467DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$6A3141D9-4AF3-4974-B755-B8418B34CD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f5f8e6b6733bc93603e4856733e20f1adca48b","datavalue":{"value":{"entity-type":"item","numeric-id":4599509,"id":"Q4599509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$35A5A80E-7271-4AA6-B391-5EFE590DE52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$59D54A2B-2782-4454-BDA9-E24FDB434D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$5EF6F150-37E4-438C-B8B9-8887FA7BC5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9713421918f6869e50dd22e530b5f937b309d98d","datavalue":{"value":{"entity-type":"item","numeric-id":3090850,"id":"Q3090850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089158$30C56E07-5B43-44F6-85EC-F667C46B9485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb2eef441e5833ad34a60a74ded4d913e8420b49","datavalue":{"value":"10.4230/LIPICS.MFCS.2020.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089158$C58DA39F-4B27-43ED-8DD9-CCCF9210AC6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089158"}}}}}