{"entities":{"Q1106839":{"pageid":1117588,"ns":120,"title":"Item:Q1106839","lastrevid":69654831,"modified":"2026-04-13T08:29:37Z","type":"item","id":"Q1106839","labels":{"en":{"language":"en","value":"Some relationships between logics of programs and complexity theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063081"}},"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":"Q1106839$A2DB1EC4-EB19-44C4-BEAF-F69DCF6436A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3789b4cc9f48e78ebe70cd00051645c90aa4f07a","datavalue":{"value":{"text":"Some relationships between logics of programs and complexity theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106839$0DB8D46D-B098-4D6C-BDE2-32AD6F8B1075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"125009b95637af81f21d302464b9a75504b3506f","datavalue":{"value":"0652.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106839$43E42288-324F-476A-B64E-6E055F912AC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d624478a5912233c1f3c267fee05218af1eec46","datavalue":{"value":"10.1016/0304-3975(88)90052-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106839$CBEE3699-CD73-47ED-A372-B1EF61BA47A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$EA6442B7-E798-47A7-8C34-0CF5362DB6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$C856DA0A-7283-4581-880C-98EB382A4132","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$3DE61C87-CC59-4295-AE50-3C38E918C759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1106839$CE5A6F7C-9E53-4684-A561-F1E8FA91504F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0af6f1dd99001a0e76ba96900f9cc07c52e2e6ee","datavalue":{"value":"The authors study some interesting connections between (open) problems in comparative schematology and logics of programs, on one hand, and problems in complexity theory on the other hand. As an example, PSPACE\\(=PTIME\\) iff flow-diagrams with arrays are of the same computational power as recursive procedures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106839$6419DEBC-FE8C-4C36-810C-181C25E7A6DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106839$3CA6DCBA-4EB2-43C4-86A4-28F4A5E68DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106839$ECA6CC5E-F5FB-4269-B2F0-32985F40F0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106839$D54F2E20-D9E3-4813-981A-3343966444F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38d0c7c08707731b70b4c63db224fcd3a2e5a3bb","datavalue":{"value":"4063081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106839$E3AE48DB-57DB-4D50-9A6D-EE2F72777595","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caa88a54b71609ec66057a2f1ae81ff6643e03b2","datavalue":{"value":"comparative schematology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106839$B1518740-60FF-43C1-A7B6-6C69859C1808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106839$1B1DF9F2-0E01-4BC0-A68C-C6565907C50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106839$A3B918FE-69EF-4643-B7F6-25253D3BD55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abc8007ee079949a28bd3d029f1cfec2ec7697f","datavalue":{"value":"flow-diagrams with arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106839$282B640C-3790-4189-A8EA-D56B4E198943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106839$5D76492F-F08D-4BBF-A31B-8F29CACE0CC3","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":"Q1106839$81E8A657-2A77-4D28-937D-B2699003AB5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7c8154285b6e29d6398a905e70a688ff0033ce5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90052-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106839$8DCC7A04-72AD-4297-A108-AC8DA0895E50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae56f2620b3126dec1fe289883cf076a49207fcc","datavalue":{"value":"W2038233397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106839$71A8A76E-8EC4-45D3-B33A-050EE8D92D0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bca70b3c9945d3379ccc13b318f928585cb19e","datavalue":{"value":{"entity-type":"item","numeric-id":4404459,"id":"Q4404459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$6930912D-766D-4597-B626-A3A3CB4CEC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3107ddcd298359b712f21dd5530eda3720b9652","datavalue":{"value":{"entity-type":"item","numeric-id":3957927,"id":"Q3957927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$BFF9A44A-3166-4E64-93DB-0123B6A8E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$FB875900-557C-4DF9-BC1F-65DDA4FF9D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7aaf7722886d9f40935d9243b5bd9dc530813b","datavalue":{"value":{"entity-type":"item","numeric-id":5660503,"id":"Q5660503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$C4112217-B4E4-438D-83B3-D236B03F9CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$862BD1BA-0FDC-45F1-91F4-493E3224C8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a94c7c840fc8738f2c7b6750420cda927283bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5625129,"id":"Q5625129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$351811CD-D35F-4B04-99D0-235563AEBF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$2DFBF457-C0FC-4129-BE81-754A2D58D7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$F8973326-099C-4409-8E25-0AEA3E5859A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc93f1905aca30772b1662792642b6ffa5f1eaf7","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$C910B234-E67A-4A38-A1AD-6DB7D9D28724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7091303a5936a3d2add9212809debc0350ec7c45","datavalue":{"value":{"entity-type":"item","numeric-id":4185781,"id":"Q4185781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$2908194C-CB6B-4831-80B1-EA98D58D9236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa21e8a21fd2097ad49e8a1265c18e182d0701ab","datavalue":{"value":{"entity-type":"item","numeric-id":3323259,"id":"Q3323259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$C81EE412-1708-4B66-8A48-BCC2A4A3D443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a143e54b8aee374dbfcd789cfc7fa367c0c156","datavalue":{"value":{"entity-type":"item","numeric-id":3735076,"id":"Q3735076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$5A656B92-7791-44F4-83FB-DF602D9602CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805ea6a63799dd248ae86fc5edb50b5a99268249","datavalue":{"value":{"entity-type":"item","numeric-id":3332239,"id":"Q3332239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$A7C477D0-D18F-4B41-B2CF-796FC5479286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9950227632bd830b29761462a937251e71d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3345746,"id":"Q3345746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106839$C3D473C4-2150-4AEF-BF24-49EE5D44AC51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64575ffa29467edef0880a7302fd04e8cff956a","datavalue":{"value":{"entity-type":"item","numeric-id":1323362,"id":"Q1323362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cee313bb75610342ee8de35a903e94e1a247fee","datavalue":{"value":{"amount":"+0.8126609325408936","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":"Q1106839$96812027-6E63-46A0-BE11-60D1FEB9A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a68ceb17f68ab52c19e8bddac4cf7190408e8b","datavalue":{"value":{"amount":"+0.783340573310852","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":"Q1106839$D7073BAB-343D-4FC4-B1D2-DD4443E964BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b1e1265815efe4b86c1ae2d90c693c63745421","datavalue":{"value":{"amount":"+0.7791474461555481","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":"Q1106839$13DD023F-B33B-4EC1-9847-723A713C1BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd37efe72d7a2a5cc948dcbce447e33d0c8c58a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575880,"id":"Q1575880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb85df2170c1aaa345c1c86041f2a1df8f61553f","datavalue":{"value":{"amount":"+0.7647748589515686","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":"Q1106839$BC9184A1-67C4-44FB-AB5F-95D1D8ED51CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc95023f382552d8bec5e508cd07628d245f0c80","datavalue":{"value":{"entity-type":"item","numeric-id":3835003,"id":"Q3835003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c0e79fe167d513a4a021c624fe294643c853e8","datavalue":{"value":{"amount":"+0.7503142356872559","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":"Q1106839$2540A590-A1EA-409F-9ECD-1FB61D60F27D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some relationships between logics of programs and complexity theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_relationships_between_logics_of_programs_and_complexity_theory"}}}}}