{"entities":{"Q5470728":{"pageid":7500287,"ns":120,"title":"Item:Q5470728","lastrevid":49846135,"modified":"2026-01-11T06:26:23Z","type":"item","id":"Q5470728","labels":{"en":{"language":"en","value":"Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5029565"}},"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":"Q5470728$B7E5451E-B09F-4157-B528-81B31E812CFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a72eb8b7dd503e8ceecd923eaa8d30b9dfed337","datavalue":{"value":{"text":"Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5470728$C3681EC4-690A-41E6-A370-53EDFEA30663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a4c43934b8c267591e564a64eadb7c41399a62e","datavalue":{"value":"1100.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$501FED96-D64B-484D-9215-1E6AB9FC054F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e58997b1ae77bf737271e65a290c37187f4e0dc","datavalue":{"value":"10.1137/S0097539704445597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$385F34A3-5720-46E2-B8D0-FEAB25F5A0EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35dac4a82d7994982b6498e99b5b158ff9ad79c7","datavalue":{"value":{"entity-type":"item","numeric-id":688506,"id":"Q688506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5470728$3092F25D-60B3-48BC-825E-AEAFE86C4EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6be5a03706688b1f03f2377e516670109f1303b7","datavalue":{"value":{"entity-type":"item","numeric-id":445246,"id":"Q445246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5470728$D9757C09-2777-419D-8A35-EC1322DC14B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5470728$DBF62ABE-440A-4C74-A81C-C1C62A320C80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a277b3613bea0aefa80be7752a72369716d085","datavalue":{"value":{"time":"+2006-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5470728$FE98EEBD-86E8-4B94-A73F-D05B7AA27578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$48551CC9-62B7-4BF8-87E1-14F7F6ED2AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$3CDE91A2-BD75-4F37-9DC5-98C71360BFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$8169BE94-EDDC-4AFA-864B-FADDF3B1D945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$73BA7981-B076-47A3-95E1-09A0A0C566BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$D71AE9ED-9DE7-46A7-903A-1B30D86A95ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"633267471eb204428f8a2a61cba0ffb75d82025b","datavalue":{"value":"5029565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470728$E5C37048-F9F6-44C1-8DCA-A0F7AD49756E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470728$9FEBB207-FD79-4F5F-896D-AE64AF779CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"821ac440ef8f32302d9a2d5fbd2d4990d85168b2","datavalue":{"value":"linear space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470728$B6F0D9D9-A114-4A7F-80D9-53878125E367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470728$54838313-E97F-4139-94CB-1185C32CC71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470728$8E31B375-470D-4CF0-8E73-D275C2029366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470728$7602AC5E-3111-4D0B-8BB4-7FB8626F636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470728$E6FF4A93-7B6B-4561-AC09-4823171CCFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c38a0c42e0c517c2c4818bcce3b04701ba8acf6d","datavalue":{"value":"imperative programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470728$7D717EA5-3678-4736-8CD9-3052E6DC16DE","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":"Q5470728$45335B90-8F51-4999-89BF-1FAA1542F9F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7cfbb1baf5492327acdec245a15506b12854ad","datavalue":{"value":{"entity-type":"item","numeric-id":2946585,"id":"Q2946585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38be52280832634db3adf5a544833e1e73b512a","datavalue":{"value":{"amount":"+0.7556819915771484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5470728$AF229C6D-21DD-43DB-9737-D3C7E99CDAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ee3035903d354ab6d7c9365a93a3f201dd2507","datavalue":{"value":{"entity-type":"item","numeric-id":1827396,"id":"Q1827396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d863aaf4527102aba419862b13355b0ad5caae2","datavalue":{"value":{"amount":"+0.7547972798347473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5470728$1E59511A-99C0-43F0-A956-641A39AAF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa04b6c05d9e00386226a72b1df853e19f47dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4475109,"id":"Q4475109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d084593c32e95d2df6feda0074eb5ceffff87a72","datavalue":{"value":{"amount":"+0.7435648441314697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5470728$8F2DB456-9CC8-423F-8C54-BF0200EA7039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8094e912b09c1bdc90b113ba4f4c8101556312b","datavalue":{"value":{"entity-type":"item","numeric-id":2767004,"id":"Q2767004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d928602ae19be5d5b8161ff76cf07b5e46cfa44","datavalue":{"value":{"amount":"+0.7430270910263062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5470728$807DA84B-79EF-4D1E-A812-4728EAA565FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ab94c6810b68d2e34ffbb221501ae07f7e73cd","datavalue":{"value":{"entity-type":"item","numeric-id":3507419,"id":"Q3507419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b01af7109af5ed5d22233722c98d052d850e50","datavalue":{"value":{"amount":"+0.7413414716720581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5470728$535B0225-4681-4EEE-A06F-625016CEED50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5470728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5470728"}}}}}