{"entities":{"Q4530463":{"pageid":6560055,"ns":120,"title":"Item:Q4530463","lastrevid":41862207,"modified":"2025-05-09T04:08:45Z","type":"item","id":"Q4530463","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1748578"}},"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":"Q4530463$3D76473B-4D99-490C-A569-24D3FEFE95CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4e40a60f087355f6615705042ddfd7405740104","datavalue":{"value":"0997.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530463$C24CC994-36FC-4D9F-B481-732052A33BE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26fe81644492c9098702ec112b02e1e3a73bd68f","datavalue":{"value":{"entity-type":"item","numeric-id":817839,"id":"Q817839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530463$C8106F2D-FC4E-4288-BF9E-8630A146187B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e97f824546b3447b15b77d52f9f484532dcf8f","datavalue":{"value":{"time":"+2002-11-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":"Q4530463$8BC05606-1938-4C1F-A752-B1B839AE1794","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530463$CF5BF628-2F53-4B77-B866-D4302F6916F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530463$07812D82-F9F9-4173-A692-584FE137124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530463$2D402560-5BE4-49BA-92B9-680C43C33A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"093beabe11101db3c170a729d6f3a3b6c8869b95","datavalue":{"value":"1748578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530463$5202B33C-3C2D-433D-8EA1-38DB46622612","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1436e996bacd567fcb7c7f5ad6772ae3c3fbcc","datavalue":{"value":"Connection Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530463$C0D89577-4374-4754-82B9-A6E8C32C5654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530463$34330B48-1B12-4A60-BEC1-F83A0E138557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a31b787f15997cf240fe75ffb6c20118826f66","datavalue":{"value":"Danos-Regnier Criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530463$1EE71A21-50BD-4094-98E9-5AA2BB3F4A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d664d68a7e786e21440f0bf8d96e0bce7ed9811","datavalue":{"value":"correctness of proof structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530463$A8BEA072-A6D7-4010-A4E7-1FAD4FC64BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3175819702025d844d18c26d5cec211186302f9d","datavalue":{"value":"switch graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530463$3FEE549A-D127-41B0-A1BB-1157485A58AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f630cf898c3dbc4d13925d50bd0c78398c295e49","datavalue":{"value":"completely unnested matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530463$C30AC8BB-6E35-4527-A4CB-6D8A6EF2D6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530463$7F8F0F5D-4F39-40DE-8A41-A1768AE5F880","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":"Q4530463$E31D4082-B9AD-4A88-A973-759B4188DB72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2944bced2cfd4c2d7bf6ebf47a1452c2b1e17a5f","datavalue":{"value":{"amount":"+0.91905206","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":"Q4530463$9CB75A1D-D476-4CB3-8E63-58951F0BE81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5f3d50dea6bd241c2a711d0e28e4d77b0f7844","datavalue":{"value":{"entity-type":"item","numeric-id":4530465,"id":"Q4530465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db68ec2ddb54b86b7acd2c8c390621946e756ebb","datavalue":{"value":{"amount":"+0.89938706","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":"Q4530463$3AA8BA89-CEB5-45CB-9752-D551880153E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d202e58b97543f21ee1587184150da90c45a45","datavalue":{"value":{"entity-type":"item","numeric-id":1916365,"id":"Q1916365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61bdd1e27528529cf436ed4db6d097b5865bee5","datavalue":{"value":{"amount":"+0.8991363","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":"Q4530463$F825E709-5B44-46A1-9D2C-C74AB87EBB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434863bd606fd79cc5208f5c2f9e5f2e626c4ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2038024,"id":"Q2038024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e194b61a0ffc1c55ba18dd45edc566de37ff8f3","datavalue":{"value":{"amount":"+0.89496565","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":"Q4530463$7F8228DB-84CA-4AC9-8729-5EA565F3EB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cb7811efd824210bd6a73dce09ab4765355ab0","datavalue":{"value":{"entity-type":"item","numeric-id":955713,"id":"Q955713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033e81a7f23f0d1041ec7c0276413af576e2553b","datavalue":{"value":{"amount":"+0.8901366","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":"Q4530463$31F9E55E-3306-4BAB-A331-FA45C0E89A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff547c2c3a8f98f9d40f40613e5288d52f38309","datavalue":{"value":{"entity-type":"item","numeric-id":4440824,"id":"Q4440824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0821c58c9a5a4f9d64234890ec07ab5a16b993","datavalue":{"value":{"amount":"+0.8884504","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":"Q4530463$A9DA125C-E655-4CB4-AAB1-82CCF7301F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d694144381e6f7059629919b16de810530976c79","datavalue":{"value":{"entity-type":"item","numeric-id":3695295,"id":"Q3695295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ce8cd9fc3ea7ae3c669f0335481cb07167ef1d","datavalue":{"value":{"amount":"+0.8842664","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":"Q4530463$8638E6FB-F760-42DF-AEC6-7A0903C0C047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5d94eac23b34bee4cebd91c0adbe4274e61aed","datavalue":{"value":{"entity-type":"item","numeric-id":4964705,"id":"Q4964705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda7dff12986c8ab760eeacb37a77d8c9ccf8ed3","datavalue":{"value":{"amount":"+0.88368094","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":"Q4530463$528F1AFB-7941-4AFE-A577-4F32C99E2917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2923c6955694f5c4100f922c182aec5394a97547","datavalue":{"value":{"entity-type":"item","numeric-id":5491014,"id":"Q5491014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302ba574a63ef7d1c926a0da85c9a8dcef7e0049","datavalue":{"value":{"amount":"+0.88099056","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":"Q4530463$210C136A-E01C-4EE7-870F-170635C12F55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530463"}}}}}