{"entities":{"Q4255509":{"pageid":6285110,"ns":120,"title":"Item:Q4255509","lastrevid":28468884,"modified":"2024-03-05T13:59:51Z","type":"item","id":"Q4255509","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1324438"}},"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":"Q4255509$9C81DBB8-2BEE-4E7F-924C-A712918B19F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edd6a5e7072df10a347535fd566547b0eecf8d35","datavalue":{"value":"0925.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255509$0FB6E1CA-5F72-4933-B105-F064D6026613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb422b0a71c7373d6ef3f0283ecc33ac78f3208","datavalue":{"value":{"entity-type":"item","numeric-id":1083859,"id":"Q1083859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255509$DE4D7814-3C64-470E-89EF-49098825953C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfc696b995d8319fe0260180a1cd6c4dc4a5d24c","datavalue":{"value":{"time":"+1999-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255509$995C8764-0E30-4675-AE23-D2C35CC1895C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255509$A6F4CCB0-A4BF-425F-AF12-F1B1B9623920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255509$D1C8180B-1331-4CBB-BA21-F8CD41A7B842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255509$3DDC0131-CC68-4A89-AD45-D09483DBE65B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c013be3f3e12c8abd720c4c7091c9bd561bde80","datavalue":{"value":"1324438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255509$4C75E543-8523-44C6-8E10-5EA395C48BDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c84ef038d54983a82f6f341a8928b98529d01eb","datavalue":{"value":"proofs-as-programs paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255509$25E9BDB4-F3E0-46A1-A4D1-A12936FDD7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d804d4ed3f00ef14a093fd5ceb0d1528977ad5bd","datavalue":{"value":"classical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255509$84F2C695-2CE3-4ED1-ABFA-3EC7D25BE02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3651f55370a48eb120c6136af068f9c1ee7b64b","datavalue":{"value":"algorithmic content of cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255509$B832EB95-4819-4459-9908-89A595B08014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255509$508C7FAE-95D4-4975-BEA0-83A5F5C07475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255509$5160BC5F-32D8-4FB3-98A2-DD2756F68FC3","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":"Q4255509$9EE4D3A5-2A64-4510-BEAB-DC3315444DAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255509"}}}}}