{"entities":{"Q6605344":{"pageid":14216501,"ns":120,"title":"Item:Q6605344","lastrevid":103770269,"modified":"2026-06-06T08:08:39Z","type":"item","id":"Q6605344","labels":{"en":{"language":"en","value":"Towards the complexity analysis of programming language proof methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7913487"}},"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":"Q6605344$1D00E61D-FBD2-4048-8639-281F6697CB40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f127679aa9869aa6874f91f70410bbabe69ae05","datavalue":{"value":{"text":"Towards the complexity analysis of programming language proof methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6605344$D82549A0-FFFE-4303-80BF-0095FAB585BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e9e5478631f1d261f648989d007b455aaf18ddf","datavalue":{"value":"10.1007/978-3-031-47963-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6605344$D666733E-7E1C-4AF3-836F-9BF4168BA052","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d319662af7b9422c1624ab46529ca13af618cf","datavalue":{"value":{"entity-type":"item","numeric-id":2039938,"id":"Q2039938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$A4D438AB-5D11-4B7F-AE58-E006BBCE1C49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a848dfc87132e68be776a9e5e9186f0b24654d3a","datavalue":{"value":{"time":"+2024-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6605344$01CCD863-2961-48C5-90C9-1A7CAFB979C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6605344$127D9422-A23F-48C6-ABD5-F751642837F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309e43c8ea97d90acbb2d67e29a77f58287d1746","datavalue":{"value":"7913487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6605344$1E238125-AC47-479C-85B9-621614823EB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0a5068a4946316d3ae87a58ec5f376a10a19f0","datavalue":{"value":"type soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6605344$94F3C523-03A7-48A8-BBC7-BBBB79408F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6605344$C6E0277B-24CE-4DE9-B0E3-DCAB59CD1FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6605344$EA4E6B4C-5BB3-4E46-AD82-FB79952295C8","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":"Q6605344$747549A5-DFA4-4B9D-941F-56BD414D4F22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$4D6FEDC4-92D8-4FE3-BDA6-A5FBC2D66A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$C772766E-482A-42CE-BF87-D2439C508218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$93B70934-FEAF-4FEF-BC64-010FB8ABD621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$233A8B2F-4F1D-45F2-9B21-9CC4DD236D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$19670D8D-B792-45E6-82DB-AFD475D70752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$42DED3C6-0C9A-4184-B4D3-05807F0F27E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc601aad37b2780b5cf1d809eb7c3d5728ef7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1575880,"id":"Q1575880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$7F1810D4-EBB7-4F70-8237-D5C55E52EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f0e684eee8dd3b64bd2e5e050579a4388e50e7","datavalue":{"value":{"entity-type":"item","numeric-id":4281479,"id":"Q4281479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$3490520D-F854-4B95-84D9-5E31FF616459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$BA7DD610-403D-4AE0-8781-448D8625BB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$4324C366-7AEE-49C2-8021-4A3305DC45CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6947c276ea0486d17b34d548d60077b5116d17","datavalue":{"value":{"entity-type":"item","numeric-id":5178916,"id":"Q5178916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$7658542E-A4AA-47F4-836B-B620733CEF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$5EB79938-E5C4-4BF1-9549-EC787C583E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605344$6F9987AE-3628-4CC8-886A-98A4ED130963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards the complexity analysis of programming language proof methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_the_complexity_analysis_of_programming_language_proof_methods"}}}}}