{"entities":{"Q3601798":{"pageid":5631704,"ns":120,"title":"Item:Q3601798","lastrevid":49662121,"modified":"2026-01-08T19:48:57Z","type":"item","id":"Q3601798","labels":{"en":{"language":"en","value":"Machine Checking Proof Theory: An Application of Logic to Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5506839"}},"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":"Q3601798$FE0ECCAA-12B0-4DCF-B0F2-8CDD932B2104","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22c64c18ab199984fc3f000b19ab628c803f4870","datavalue":{"value":{"text":"Machine Checking Proof Theory: An Application of Logic to Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3601798$C2532BCA-FEE9-4DC3-8603-A800CB4F9743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52fbf3be824b162bfc2637bd549c6aae11caaaa4","datavalue":{"value":"1209.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601798$7CADF275-76F2-4ED9-BFF0-866DD7386DD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5776bd385eeb6a73269a7dfd18966f0b97a7c6e","datavalue":{"value":"10.1007/978-3-540-92701-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601798$88BECD6D-361B-4565-8775-7409EEF14534","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$D3AACE86-90AF-4FBD-B662-9C0D7B062255","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$7C8B1A19-3B8B-4FA8-9F2E-B4AB5E793DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3601798$39113A1B-9E15-463A-932D-86953F967119","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601798$67DF8C40-B730-4FB0-B315-DA02411CFD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601798$8A0BE99C-8CA4-4885-80B6-9AD7F3483D58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad0f633f77affc0244a2e04e3808e1818dcabdf5","datavalue":{"value":"5506839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601798$C8D5250F-D37B-42B7-8317-BEC3FA57367D","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":"Q3601798$13EB5886-73ED-42BF-9CFE-9A6FB149F32E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c547e0feb8df88e0caa74f3805f3a5d716e2a3c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92701-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3601798$F2EEF29A-7E4A-4D68-B7C3-03F50154B851","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1a0ed40ba1b92fd0563920325c446dea2aba04f","datavalue":{"value":"W1558859407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601798$9DA3EF12-E860-46FC-955D-2F56A0C7AEB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ca673b668f2b75998f61be11911f94c91cad52","datavalue":{"value":{"entity-type":"item","numeric-id":4484337,"id":"Q4484337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$4ABBB8DE-6CEA-472C-812F-1B7BCC4BBCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffd84912139d8217e689626c314944e5a38b834","datavalue":{"value":{"entity-type":"item","numeric-id":3086940,"id":"Q3086940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$81147509-E7B2-40CE-8049-BB86E2B33BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$B127F809-D3FE-435A-9AA3-04DBAAA5CAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$8F1B695C-DBCA-4B3C-9402-3C47BD52969E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$5D74B9D4-97DA-4DF1-8BB1-E788BC25F96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601798$3018CB4E-01F3-4F31-B832-FB6D3B7A0291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d04a7f8764e61a8096147cce06cbc1b6ce138e3","datavalue":{"value":{"entity-type":"item","numeric-id":3305555,"id":"Q3305555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65b1c902fbe20931eeb44593583232039c0ec3c","datavalue":{"value":{"amount":"+0.9245177","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":"Q3601798$44A7C183-77F9-42C1-A7D7-30799B36CEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b41371b969216bc9a7570be6f633462a7c39b43","datavalue":{"value":{"entity-type":"item","numeric-id":5743582,"id":"Q5743582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c35244c8557d73659fda35f927de35092c345a","datavalue":{"value":{"amount":"+0.89434755","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":"Q3601798$FB85088A-01C2-4556-83DB-E8FAE5C541EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6d7e8322cb376c8fa7f3ca58a49fc39e5775fa","datavalue":{"value":{"entity-type":"item","numeric-id":2628296,"id":"Q2628296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e832a01635cfa6e9935e1ce2b63fab1a25f74fec","datavalue":{"value":{"amount":"+0.8943474","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":"Q3601798$348A0F24-D3DB-424F-BAF0-6AC319743E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25855eb84a544d430c53bcfe0477292d6e6d479","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57efc4a265ccf7440a1b3e7dbbf19ec81a52f137","datavalue":{"value":{"amount":"+0.8897963","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":"Q3601798$D7036DC1-2CB3-4B80-BBA9-DE356A87187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71537978e6eba52208eaf0885350004f62bf6048","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e89c8ab90d697602b22559bdf7e08d563a54f6","datavalue":{"value":{"amount":"+0.8864627","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":"Q3601798$C416A843-29E8-457A-8B59-B25BF480155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eac54196eed2784a426b09beaa3624998ab4e8a","datavalue":{"value":{"amount":"+0.8845914","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":"Q3601798$1DAF5805-518B-4602-8C0C-53A5820D1D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896772640e88bdeb92fd036289c78ee4e5b7d61b","datavalue":{"value":{"entity-type":"item","numeric-id":3789524,"id":"Q3789524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6276583ff831c495953b044c8ecc5a2738db0eba","datavalue":{"value":{"amount":"+0.88355863","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":"Q3601798$F64FFD69-81D5-4DB6-9CEE-3D0463484980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9691043fc2fa83f9bcad490e83cd2b178847bf","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46971b6ed9a018442522160fcb4d5990e519dde7","datavalue":{"value":{"amount":"+0.8828808","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":"Q3601798$7EABC04A-BEB9-425F-BAB8-A6855B85D5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fc4cd4ff0048b6465c59a16c8a1e9b1b9f80e2","datavalue":{"value":{"amount":"+0.88207376","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":"Q3601798$7DC64A87-DA5D-4E5A-82BC-96CF3452BE93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3601798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3601798"}}}}}