{"entities":{"Q5351980":{"pageid":7381554,"ns":120,"title":"Item:Q5351980","lastrevid":55971313,"modified":"2026-02-21T15:34:47Z","type":"item","id":"Q5351980","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767618"}},"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":"Q5351980$4902B7EF-20E7-4D6C-82B8-0B6FA050641F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c424f158ab6b0647b20b95926326597f8330f9ac","datavalue":{"value":"1373.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351980$328CDA1C-1E9C-4DF7-AA00-A29C385E6FA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351980$BA10A7BA-2DCE-45E4-B516-9C2487984EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc5416b47c2347b27baef4d150fc87d0d7a42fc","datavalue":{"value":{"entity-type":"item","numeric-id":2289073,"id":"Q2289073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351980$3B49E0D2-2FFC-4B51-9BDB-6A937C890836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351980$164B77BC-F1EB-404C-B151-2B69ACEF3161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351980$46E9A7B3-0CAC-4403-91F3-B3F26A2D149C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351980$8E775820-F60F-43A2-A685-1FBD76F38AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351980$55B0DC8E-C295-45C4-9FD5-AD178D3FECBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe717fe0dbe0f1e287209b99a81dadfce146fddb","datavalue":{"value":"6767618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351980$1CFC0353-0EE9-41D1-B21A-DD324A2D2549","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$0ED29A51-75FD-4E4C-9E09-98210BBAE7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$001E8351-6679-4F25-A6B8-B90F1D2C2F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$18AA2CE8-FB2E-486B-8BDF-AF9A2BC73690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d519914b299fde5598469bebf94b4b2cdbfb97b","datavalue":{"value":"ludics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$6DC27BA0-87D3-4C74-A1CD-48318F4571A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$F99EA425-D1C2-4DEF-9E65-22A7FE0D61D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$E4D1F2D1-22C1-4F3C-ADBC-2564A9BD1731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7dbc9c45eeeebda94a7a1591d5ed6936b62077b","datavalue":{"value":"circular proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$8A215C71-700D-4DE2-9FED-90CE586E336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469082ea1f8302aae278d64c08d88fdabe375fc","datavalue":{"value":"infinitary proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351980$ADE085B1-2905-4DED-98A8-32F89765A25C","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":"Q5351980$3A93D981-8225-41E4-B9E9-ACEDCC818FFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af7f445848dd53e4f257e3963ec0729f756ec45c","datavalue":{"value":"10.4230/LIPICS.CSL.2015.549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351980$1A739970-9007-4097-8034-083454959415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a35eb387e30ea87b756a76a7aefcaf65c24216","datavalue":{"value":{"entity-type":"item","numeric-id":3617718,"id":"Q3617718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7854beadf8f67ed531e1f6bcec22bdb5804032f","datavalue":{"value":{"amount":"+0.86087054","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":"Q5351980$D353E865-799C-42E7-A53F-BDB5610C9CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47976d5937eae512ad890a7d08a436f77dd56593","datavalue":{"value":{"entity-type":"item","numeric-id":4706821,"id":"Q4706821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf62e59ab448b191bdf27be6bab3127620fed6d0","datavalue":{"value":{"amount":"+0.8514694","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":"Q5351980$C6C737DC-58F0-49C0-806E-121266717451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c990f4a135e07d3e0c09063b9d5dc5b958076db","datavalue":{"value":{"entity-type":"item","numeric-id":3583670,"id":"Q3583670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33876a0e489bed055464a77f537d7657bc25b3c8","datavalue":{"value":{"amount":"+0.84937304","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":"Q5351980$2F43C533-080E-449A-9D9D-8D6100B7119D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e707c12fcbb87f94769167fa7baf7550858bd7b9","datavalue":{"value":{"entity-type":"item","numeric-id":1346924,"id":"Q1346924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7493958f80fe0b97168f1f263f7bcca35e9d927","datavalue":{"value":{"amount":"+0.8434492","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":"Q5351980$D59D9A1D-3180-4DAA-BC2E-C096DE425144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcd97ff4394cfa878a8d3647667dab49308d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3082320,"id":"Q3082320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b167d02cbae72ff433a425e104dbeb8c7e603808","datavalue":{"value":{"amount":"+0.8352769","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":"Q5351980$C19DEAC7-4F47-487D-A854-2AE0522584DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952840c9d17c25cd70b4f295deb32c15acab25b9","datavalue":{"value":{"entity-type":"item","numeric-id":5958300,"id":"Q5958300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a496c1095feb2f199f77acfefaa233e78eb9baf9","datavalue":{"value":{"amount":"+0.83194333","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":"Q5351980$0957297B-EA1C-4E6F-9659-17392C40CB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8f80e824b7774500deefa0d53687069a543ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4650582,"id":"Q4650582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba23e3fe08422e1c5ac9ae2003e995cd304cb85d","datavalue":{"value":{"amount":"+0.8313169","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":"Q5351980$621A66FA-C7BE-4D33-8398-458B375F33FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351980"}}}}}