{"entities":{"Q5875428":{"pageid":7904979,"ns":120,"title":"Item:Q5875428","lastrevid":39654632,"modified":"2024-12-30T16:43:27Z","type":"item","id":"Q5875428","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649969"}},"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":"Q5875428$60057A57-BF3A-4964-98B7-3E70D5223611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$8134F84D-8D95-42B8-8EAE-0556F23E9783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d33c2cb482f696fa81fcf6b993c9bc4e7576e8","datavalue":{"value":{"entity-type":"item","numeric-id":1799113,"id":"Q1799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$F876B13D-56CB-4287-9443-8E2AF376D95A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875428$4B16F46D-50DF-4BCB-B2BD-9DB09B58A4EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875428$1F6E167F-533A-4E27-9D03-367B9B8CBE2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5f420e6cde068ccac6141595d54e611117592f0","datavalue":{"value":"7649969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875428$BEC4EC87-AB45-452F-9A07-C4FBD33F8984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875428$B981BCE8-54E5-460C-B133-E3F5EA4AAB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0677cb0d983c977c2f44635a6a8e9e9cd3414ca1","datavalue":{"value":"time complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875428$F07F8899-E0D0-4F2E-8B67-9910D619D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875428$A89D836A-F141-4133-921E-35046D9DCEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875428$C5F9DAFC-B6AE-4983-A47E-D6A2A7D36657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875428$A5B99C4D-1017-4D1B-8DA9-8EA939CDD8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fdcf759b4edc99ddba8c8d9e01f6d9cabe16cc2","datavalue":{"value":"run time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875428$18F048B0-FB8A-40F1-96CA-CDD85FF00985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875428$18CB2DF6-504E-474F-A140-5DBC8D397A0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f86a777ed9723a1505ce676eeb86cd88f8987a7e","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$6B69AEE4-1390-44B1-8839-DE1DC08F7F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$2372E855-6E8C-4BEA-B444-DD2EC83578B1","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":"Q5875428$2CF1619B-E39E-43EC-95DE-428FE21114AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d421837d95e47324e8a9568fc6a54da33df7097","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$29F36ED1-C374-4CD5-AA80-ED7C5E1C1DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$D8900D72-4C0B-4F20-AF02-6A172504E1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$C09DCE00-2E67-469A-9B31-2E8BB4BECF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee7b1670b832d84e63f3575192ff8a645b95bb","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$1C5F1D23-48AD-43CC-8DC3-040C1DF3F134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c793fa2d4ededf3f0fe9055c269eb315e9737a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$D01C02E5-BB91-404D-BFDA-D93D4881B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b276a4466d3408aebe4dbddd64d84bba4e9bbb3","datavalue":{"value":{"entity-type":"item","numeric-id":5875426,"id":"Q5875426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$81EE9CB7-ABA6-47BF-B6F4-ADD898DCE885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235cb100f2692698d1e78c89e440355cd4f7add","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$C6A7A5EA-7428-48FE-A187-8D84D625A6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$942790F8-D805-4B20-A330-A9A66799652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bf0527cae45caf1270972ff5ead3c89685a7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5875431,"id":"Q5875431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$6F86A8D8-3F27-4D12-A277-3CA24499AC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cf0d02217708d84dcdcc681838d7558a420590","datavalue":{"value":{"entity-type":"item","numeric-id":2829260,"id":"Q2829260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$72569B97-566A-49E1-8888-51FAAE2742DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$A04CB9D2-B37A-4098-A0E6-7ACCA4D5054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abc4c653f1a49315933e87e0214c05e6687fccf","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$70CB7322-C12D-4F4E-8B78-96157DB96DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a757a70ab73b8cf6bc0d295854b298f4e2fc55","datavalue":{"value":{"entity-type":"item","numeric-id":1799114,"id":"Q1799114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875428$4D7B8733-BF06-419B-82B7-7E2EABE2F22A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc3eaf4ad323c4521b80a82fcccd42f4dbfe3bad","datavalue":{"value":"10.4230/LIPICS.ITP.2019.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875428$19CFAB06-D2CB-4448-8034-6AFA999934BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875428"}}}}}