{"entities":{"Q5150950":{"pageid":7180521,"ns":120,"title":"Item:Q5150950","lastrevid":31285165,"modified":"2024-03-19T17:17:02Z","type":"item","id":"Q5150950","labels":{"en":{"language":"en","value":"Expected Runtime Analyis by Program Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311046"}},"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":"Q5150950$6AB4C70C-264B-4930-827A-F4A527866E27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"459b88ad0885e63a81996721ae7581a02241f468","datavalue":{"value":{"text":"Expected Runtime Analyis by Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5150950$5E697E78-1100-4A7B-8589-69318849D63C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e1a2a8a116858d432da197af406f51756ba7933","datavalue":{"value":"10.1017/9781108770750.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150950$DDB916F9-91E3-4C2D-ADAC-B9D8BFBB5DC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aacfa5b5220f00c3776f4488c780f2bf11d5042a","datavalue":{"value":{"entity-type":"item","numeric-id":832285,"id":"Q832285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150950$5F4957E1-242D-4987-B3B2-0CE5DBE990F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6540e32a203254877553aac5eab75fd0bcfef04","datavalue":{"value":{"entity-type":"item","numeric-id":832286,"id":"Q832286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150950$445F978F-2CB4-4274-9A70-7D9A17C802A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150950$019C6E47-BEBA-4515-BFCB-8CEA0D6F601B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e52e4b93ff503064121ca3520ea0d96485ffc3a8","datavalue":{"value":{"entity-type":"item","numeric-id":5150943,"id":"Q5150943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150950$B25D10AC-AEC7-4668-A918-681B14CF8EEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb6d0c59335c1f7f7c958651ce65d4dd55c412f","datavalue":{"value":{"time":"+2021-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5150950$559C63D0-EA87-467A-BCB3-53A0AC1C75D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150950$5246B769-7C9A-4333-B9E9-34B79B03265C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bd1ad9ecaccc559f935213419d339b4490c5d87","datavalue":{"value":"7311046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150950$43F20BF7-431E-4953-80A2-8308D3D2FC49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a10a6d9eecd81833801dba1c7e4716d12489f780","datavalue":{"value":"computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150950$25591889-40A4-4EB0-B90E-7399659C09ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1179069f8b399635dfde964c1ef73420665d8f","datavalue":{"value":"computational statistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150950$5E79465F-B702-4566-90B1-CCD011EB4921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29beda3621e0a64de00958eda8b3b798eead43b9","datavalue":{"value":"machine learning and information science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150950$F1F99C32-8F60-4C75-97D9-58EAA9DAE1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f4f13e95eb01982ed9dac9e400145ba8180d637","datavalue":{"value":"statistics and probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150950$7C3D92BB-89BE-4B7E-81C5-B264263AEEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb19761e79eda4360b807a0be4a80dc55d7117d6","datavalue":{"value":"programming languages and applied logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150950$5D95A5F5-DF1D-4FD2-B30C-32EC3BF933FF","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":"Q5150950$7EE880FD-8F4E-43A9-8A93-B86EB47DC941","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4fb71d1d75f5c9585b82586a9b1dbce542c47ab","datavalue":{"value":"https://doi.org/10.1017/9781108770750.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5150950$E6692FBB-7CD8-4325-9F19-AE940F7935D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c46f3f22e62619f56868b6d5052995b1e35e398","datavalue":{"value":"W4235707373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150950$AE3BFCD6-DCBB-4FAA-B78D-97B7704893A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5150950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5150950"}}}}}