{"entities":{"Q3204445":{"pageid":3215153,"ns":120,"title":"Item:Q3204445","lastrevid":45674416,"modified":"2025-12-15T22:05:27Z","type":"item","id":"Q3204445","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181310"}},"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":"Q3204445$23057BF6-DF77-42E5-9961-A50E8EB808D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5405345b1327c7471d3de4624fb14fb585e1a6b6","datavalue":{"value":"0717.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204445$651CCD88-D3AF-4C0C-B92B-76112E72AFC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204445$CBEE0EB0-9CA7-4FCD-8FDC-49F1FA37DFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204445$A512E422-10C8-42ED-AF77-3CB39D4A7EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204445$8CDE6F5B-C658-4B8B-898B-B4E38ED80E59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3204445$29ED7683-FDD0-48A7-B4EA-62BDD8E57D27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204445$D4BC0124-C1E1-4497-A576-50829321CE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204445$0FE5BA9C-613B-4430-920F-E0E743772C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204445$4118368C-ED09-4AEC-9CB8-4B7B48493271","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0438c6e120d6d066c7c651bcd35708710195121","datavalue":{"value":"4181310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204445$784DDA4B-919F-4460-9AB0-A6E369E8FA83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62c87572f2724a1f4defc0946f9e64afdb5497e","datavalue":{"value":"logical framework for programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204445$2DC996D4-3B67-45AE-B4D7-2D8AD735A1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542ebbc80163130f3840703fb67e808592c053e0","datavalue":{"value":"formal program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204445$23EA6BCC-ABBA-4855-B408-6DE11ABF1AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"badbe74c089eda101e95c66072171725a17f9aa1","datavalue":{"value":"resource bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204445$2ADB89BD-09EF-4D80-AD53-D4A33B13C54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf33544b1e775e088ffc158633067793bca18aec","datavalue":{"value":"polynomially graded logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204445$9F914AA2-4B45-4D3D-8E9E-44A60027ECDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002dc83c6b9d94c20983322b7db0b87b067bfaf6","datavalue":{"value":"restriction of G\u00f6del's system T to polynomial time resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204445$4778088D-457F-4644-B9DA-72A901E0FCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a767697ef28977eb797163dc6ebf0b7722167dd2","datavalue":{"value":"PTIME functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204445$7E2F2705-D7BE-4495-9789-E9C3C69C0267","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":"Q3204445$5F052522-8C37-41C8-8DF4-6C9546F52FAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bce84944aeb7c05d3bab7957acfb1e5606018e5","datavalue":{"value":{"entity-type":"item","numeric-id":5717796,"id":"Q5717796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73a337df41eb4add16e1c258b38547c9661e920","datavalue":{"value":{"amount":"+0.8589979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$63A4501A-8DA1-4F1F-B5FC-4C9DD3D8BB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d60bbb00644245d238d42cf2cfb85aae05177","datavalue":{"value":{"entity-type":"item","numeric-id":4586158,"id":"Q4586158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473d940542c97cf1780faa88c6520489c68e7677","datavalue":{"value":{"amount":"+0.8573076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$90A261BF-6A99-4C7E-A4DD-AB816AB6CD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538ca9258418b27bbbf42867bbcaee5cecb2ced3","datavalue":{"value":{"entity-type":"item","numeric-id":3501169,"id":"Q3501169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49d64e22ced1483381e8f3b70c7a2ba04110d34","datavalue":{"value":{"amount":"+0.855798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$27F1F4E5-D158-45E7-A59C-28306B08DC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3e641f68aeed219738ad49650a0d13223e0116","datavalue":{"value":{"entity-type":"item","numeric-id":3097965,"id":"Q3097965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4eb1266aa89888b69cdd252e60b71a01b326eb","datavalue":{"value":{"amount":"+0.8518316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$A58E957B-FDD3-4E1C-A41D-C72CBCB7E2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743f5030eb29f3a7acfcf5909c05a60c264324d0","datavalue":{"value":{"entity-type":"item","numeric-id":1679737,"id":"Q1679737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1072f6cff659b06e16987625ff91319194286de9","datavalue":{"value":{"amount":"+0.8498828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$D4C32A74-F6AA-4057-ADA8-E38F6088265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfcafb61cae0a8de1aa47417a4894b2f672afd0","datavalue":{"value":{"entity-type":"item","numeric-id":3125961,"id":"Q3125961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b40c6c3267915714ac83451507a89de110e5c68","datavalue":{"value":{"amount":"+0.8491447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$3CFDB4A4-4156-4A84-A134-70CB10331458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc30ed0cc059346dfe57d6d18a4f92f6ea406cc2","datavalue":{"value":{"entity-type":"item","numeric-id":2029709,"id":"Q2029709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e8fcc604a72b54248600e76d3d5400595f7bf1","datavalue":{"value":{"amount":"+0.8489016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$3A120AE7-D468-4E15-A06E-491C407CFF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7f2aae7fd10d8546791de85ab58e346ba40682","datavalue":{"value":{"entity-type":"item","numeric-id":4723705,"id":"Q4723705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad5dc604ca6474d049d9527e7649ed7e283c1ba","datavalue":{"value":{"amount":"+0.84568214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$EE171894-B364-4366-B1B6-F1E8BDD311F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a85827000445f2db027c0992b8b738868ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5243399,"id":"Q5243399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97f4151513f248ee3114435aefd1ebb4d213818","datavalue":{"value":{"amount":"+0.8455403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$50680113-63E0-406F-9360-4017B92AFEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe52a8fff88e3d9a3e985efe82fddfd5b7e6b35","datavalue":{"value":{"entity-type":"item","numeric-id":2995003,"id":"Q2995003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae8874de8ac474330076dc3ca2a4dbb0560a758","datavalue":{"value":{"amount":"+0.8436116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204445$55E595F6-D27D-4A8A-ADF4-9990BDB8F0F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204445"}}}}}