{"entities":{"Q1799270":{"pageid":1810012,"ns":120,"title":"Item:Q1799270","lastrevid":53239928,"modified":"2026-01-24T13:00:56Z","type":"item","id":"Q1799270","labels":{"en":{"language":"en","value":"A semantical view of proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958306"}},"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":"Q1799270$907791F8-B0AB-4C71-89E6-B32B0B1DD66F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87a79a8cef877129a6a268e0fa12b90fe903ec49","datavalue":{"value":{"text":"A semantical view of proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799270$619606F3-E321-49BE-9299-464C77D674B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10490c07d4dc823620aa4beab59453e5b3de7a72","datavalue":{"value":"10.1007/978-3-662-57669-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799270$CE24EFA5-A6D7-4C9C-AA8C-0FEFC9AE0AC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799270$6E276CD6-522F-421B-A5C1-7A5FB9A84115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799270$F658D72A-51CD-472A-BAB4-C4357B33FFA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799270$94E3F1FA-E899-4E56-B6A7-5D359C4D4E51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3a4ebea6fd600ff4c07f6f77c9e9c54729c3c86","datavalue":{"value":"6958306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799270$696CF7D1-1CB8-4163-889F-37363A8E4F69","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":"Q1799270$C6A586F8-F7D3-48FB-B112-562BC864AD67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4a9e3a008c399dfeab9e8bd96f8783e7ab8554c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-57669-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799270$E73E4758-4B84-4FA6-8648-6A5DF102079F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c35ceb71882368526c23bbcc0c08e9f8b44a4c94","datavalue":{"value":"W2810993231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799270$A768DDF2-6546-4A61-B52C-E79B35F0991C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16ad418b8b98a9de95cfe3f9f18097a42592087","datavalue":{"value":{"entity-type":"item","numeric-id":2180514,"id":"Q2180514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ca466b7bc5e21f7cde60159979d063d2f751ca","datavalue":{"value":{"amount":"+0.8529755473136902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799270$47DE410A-08F5-4CAE-A24C-9CA8C9FA1681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcda087dd396b8813f9c99caab4ebf4cc059de49","datavalue":{"value":{"entity-type":"item","numeric-id":2177587,"id":"Q2177587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292ae1617aeb14ca5e2e531cf09fc4ab4e05cae4","datavalue":{"value":{"amount":"+0.7992475628852844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799270$5C82070D-5B86-4CC8-897A-73909CF4079E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202421b33e0b99dc0e2915b7b9fea1f6e15a41d6","datavalue":{"value":{"entity-type":"item","numeric-id":5028317,"id":"Q5028317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78c490fc98dd2e319f976c379616a5ff27a751f","datavalue":{"value":{"amount":"+0.7991657853126526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799270$10EE6C18-6731-4CC7-95E2-1F23AC47B550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e90e4aaae0b26b5b48e839971c2580ac1bc7f9","datavalue":{"value":{"amount":"+0.7912647724151611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799270$7E4B57A6-2E51-4DAF-B084-2EC67C58772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b712086d2b4252b101dca92a433d4e9a3f7ecc","datavalue":{"value":{"amount":"+0.7820656299591064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799270$D5562B1A-3A7F-4BB3-854B-4943F40A62F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799270","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799270"}}}}}