{"entities":{"Q1055769":{"pageid":1057617,"ns":120,"title":"Item:Q1055769","lastrevid":66642843,"modified":"2026-04-12T11:29:52Z","type":"item","id":"Q1055769","labels":{"en":{"language":"en","value":"A proof description language and its reduction system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3825792"}},"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":"Q1055769$081F097A-43F5-4D3B-BB8A-C5BF0A8A9532","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2055c4b655f2a06ef1128b836c823fb2260cc780","datavalue":{"value":{"text":"A proof description language and its reduction system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1055769$951CE53E-18C6-4676-B35F-7859ED966273","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4258c81631f6ca1c9f448caef32f9ea49cbd362f","datavalue":{"value":"0522.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055769$CA3B732A-0B7A-4EC9-B814-CC60FD0E0845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$1AF81930-C3C8-4AEE-A5C7-9E1A34830625","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$53AA0607-1F56-4D66-8A61-86C11842BBC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1055769$BCE34656-A6DA-4869-8796-E76249ADEFD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055769$77260768-F421-49C3-8494-F3765E97A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055769$395C5D18-657D-4ED7-A86D-0C7DE8B21BAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e48b1587e673ffec62bc2febfd7f8dfa440798ec","datavalue":{"value":"3825792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055769$1B4387FF-A7C3-42A0-8D0F-6FCED0D0ABA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4a788b8ba6f713fa635a8352c0b4443d0e37dc","datavalue":{"value":"natural deduction proofs of closed existential formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055769$0C15DDFD-98D5-4130-9026-D3DA0B27319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055769$01142AB9-1155-4A0A-AE95-975D65A418AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055769$75BF4ACA-69D0-45EF-8640-F5C3F1A84631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9996e14ea4bea711bf59782831000678b42f7bbf","datavalue":{"value":"proof description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055769$33DDF90E-FC40-4DF9-9CD1-CE0012494714","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$88123BB5-1F46-4F3E-B3D2-200D09F3C502","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":"Q1055769$673CBF10-CEBF-4812-A2F6-B7BF119DAC57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1239a21871b3564ddc9ddc08e8d6ea0f4f5b928d","datavalue":{"value":"https://doi.org/10.2977/prims/1195182986","type":"string"},"datatype":"url"},"type":"statement","id":"Q1055769$EB451F95-D9F8-4F4C-9717-D695876FF698","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"374885e9ecd8ba4407d65faf97aa1086001eacbb","datavalue":{"value":"W2024841767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055769$8A3D4DCF-75B8-4856-87EF-EB2E96155C89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$A4F1B164-EE87-45B7-AB94-EBFA8508A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$684E7088-B683-4364-BDFE-0018A1B9B0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$31ECC62F-BDBB-43EA-88F3-49636CEC022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$AECACF6A-5395-41DC-B674-9F2A035675C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1435f3ecb80e66ef3a6c0e0b3b5e54cc7cafb970","datavalue":{"value":{"entity-type":"item","numeric-id":3880322,"id":"Q3880322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$80AAC13D-EED7-4D1D-9BF8-7A0E39424C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$6B4600D9-EBF9-4566-B08F-CA2262071C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72db8067d13c9edaa396d280d8e58f4d29d0e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5628099,"id":"Q5628099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$372AFCB5-7CAC-4D31-A598-755BCD356729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$6682C3C0-2E1B-43C5-9679-D08E4EE55EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$7EA0B4E5-9FD7-46B5-ABBC-F2073297214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$6F1052DA-6B0E-42A1-A5B3-41801756A745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b510ce4b4614eb45ed95a467f95aa47f603ad1a","datavalue":{"value":{"entity-type":"item","numeric-id":5833219,"id":"Q5833219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$D00A06F0-C408-4A13-94EC-918A43A6BC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$90A55CC7-F43C-4A5F-BAAD-0F847E68A7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7584ed6cc70daf42406ddf381c9c7a48384e95","datavalue":{"value":{"entity-type":"item","numeric-id":5606586,"id":"Q5606586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$D03348DE-03AD-4769-B2A8-46BA4183D7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4fc03ef952111a79b3a6ef7c27b798b8ad7f9c","datavalue":{"value":{"entity-type":"item","numeric-id":4128794,"id":"Q4128794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$3BFF58C7-3D51-47DC-9DBC-584BE61386ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1d8fb42339a481de309d10a4b5b6fb7e49eec","datavalue":{"value":{"entity-type":"item","numeric-id":1140436,"id":"Q1140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055769$59AE6791-0073-4367-9C38-EFB6BAFCB68A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f6f3a0491e9afd15600de26f31c90bff36f5bb8","datavalue":{"value":"10.2977/PRIMS/1195182986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055769$BE21C81C-3F24-4439-8F02-9C296A7A81C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof description language and its reduction system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_description_language_and_its_reduction_system"}}}}}