{"entities":{"Q4132454":{"pageid":6162054,"ns":120,"title":"Item:Q4132454","lastrevid":41277910,"modified":"2025-04-28T06:55:07Z","type":"item","id":"Q4132454","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3559485"}},"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":"Q4132454$2169772B-80D9-47DA-994E-0E133792B907","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e9169106e387c7fef3aba49aefd5ec2b92e5e33","datavalue":{"value":"0359.00012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4132454$7075BFEB-9156-42C9-8DFD-8A81518CEA6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4132454$1BCD7761-F389-44C9-80E1-D32630C05C6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4132454$0C0130D6-75BE-4275-9177-52D2FBC8A025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4132454$BA0E7199-EA51-4B17-8A26-6B416D5FEB6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73d21e994341fc6e59b720fce7db7e09eea94c86","datavalue":{"value":"3559485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4132454$8CCA61C8-FF59-4426-8765-5DDF494D147F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q4132454$8B0DC161-C2AF-4505-9DE1-674C22CBD6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7052630395bfa9b6b72918bb45676e7457743f5b","datavalue":{"value":"Theory of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4132454$CFDB8CE9-65F9-42F3-8EDA-EA2CEEAE9F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q4132454$9DC3B309-F8E9-4C60-ADED-E755747B5234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0cbbc442fcc127d9fa405ab5ed2ad80336e2fc","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4132454$87A4135A-D6C8-4660-813C-DAF80E82EE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4132454$2A5EAF60-3969-44D3-9DD8-DB2C7606633A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4132454$88098599-BBBF-4F72-B603-FE44769C8A1A","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":"Q4132454$6A11AFD0-1680-4549-93A8-9CE9154E1FCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c285a5281a8011eea879a3587845812eac498d50","datavalue":{"value":{"entity-type":"item","numeric-id":1234276,"id":"Q1234276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec095a88db317f9d897ee05f08a7f81146935e2b","datavalue":{"value":{"amount":"+0.8267223","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":"Q4132454$6D00ECB7-9441-4CE2-A549-AF4440F5BF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4795d26ab3a5fb59f82906e230f0d638087e213","datavalue":{"value":{"entity-type":"item","numeric-id":1050322,"id":"Q1050322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa7111623381e15abebae740f5d1f1061012358","datavalue":{"value":{"amount":"+0.8251367","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":"Q4132454$94A70786-B26A-4AD9-A1AA-F8F926ABF099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642a9da715aa069577751e1a2767d4ab6596e417","datavalue":{"value":{"entity-type":"item","numeric-id":3730996,"id":"Q3730996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0956c69fc9e764ddef1a765725c6f349e33a7e2","datavalue":{"value":{"amount":"+0.8247621","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":"Q4132454$30BA4677-771C-4A4D-92AF-7E09A458E4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecc2eeb707e89c3db839e033aaa5b9e08a22f3a","datavalue":{"value":{"entity-type":"item","numeric-id":798624,"id":"Q798624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39954d095f0b86d48c4867af5c8b8adb6d411046","datavalue":{"value":{"amount":"+0.8233144","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":"Q4132454$C0310B1D-2C13-4193-A9B1-F6C6383FEEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6c65ee8d9cdd6fdf11a0e3c18243052751bd62","datavalue":{"value":{"entity-type":"item","numeric-id":3735043,"id":"Q3735043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd6d2cc94847a2c9cad939b7580c821835635ee","datavalue":{"value":{"amount":"+0.82138896","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":"Q4132454$0AC3697C-2B0A-48C3-82DC-3622E5DAEBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7343f6a5537a9777fc7c66e7d24d92c2a66f8bab","datavalue":{"value":{"entity-type":"item","numeric-id":1844194,"id":"Q1844194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422cbda6a6403842647064641a74fab253377047","datavalue":{"value":{"amount":"+0.82111067","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":"Q4132454$B5B06D99-C9EF-4611-9790-B55992F6F05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4de41cf071909a76e0fd021985330d1f69104b","datavalue":{"value":{"entity-type":"item","numeric-id":4732421,"id":"Q4732421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4125112b579fb74b359d0a21ac1af550218c6e","datavalue":{"value":{"amount":"+0.8198661","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":"Q4132454$7DC28AD0-7534-4388-B806-FF6EAC4389E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812cd5abe17dc86826d4bce1364c2404bf459455","datavalue":{"value":{"entity-type":"item","numeric-id":4229389,"id":"Q4229389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640db7a70a5c74879825ae919ae6f468a1f11f8e","datavalue":{"value":{"amount":"+0.8188964","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":"Q4132454$A6D98DD7-333A-4C71-A09B-B7AEF7DFC5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bdd8e3f23e5ff7d2ba27d51016b003ed80a94d0","datavalue":{"value":{"entity-type":"item","numeric-id":3689128,"id":"Q3689128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe4b83c9acf13ab5caf8c2ab2c67a9d8be6909b","datavalue":{"value":{"amount":"+0.81773716","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":"Q4132454$3E263A70-7C31-4F71-9BB6-31DC41C3D279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f262525d3887f9e0ef0f38899c480bd8fb265c","datavalue":{"value":{"entity-type":"item","numeric-id":5402495,"id":"Q5402495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ba0199691a7349febcbe98999db73612a3e6e4","datavalue":{"value":{"amount":"+0.8177048","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":"Q4132454$7B02AE32-2211-42CB-A8C0-53F43DD90BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4132454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4132454"}}}}}