{"entities":{"Q3067642":{"pageid":3078358,"ns":120,"title":"Item:Q3067642","lastrevid":45379549,"modified":"2025-12-06T16:30:48Z","type":"item","id":"Q3067642","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5840258"}},"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":"Q3067642$892CE31C-5787-4311-BA8F-2A8A0312EF68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be50282c65e8806498316a2b4e70fd66ea4e1165","datavalue":{"value":"1231.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067642$0778B6B2-3F89-4353-97C4-97933136FF28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067642$273F0AD2-3B2F-44BC-A87E-B2255A4F5561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067642$3C9845FE-E432-46B3-A834-BD386CCC1C4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0b508fd789f5b586db1bb891dd71c57f7d17947","datavalue":{"value":"http://pphmj.com/abstract/5170.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067642$AC2D9F8D-FFC2-46E7-A836-D40657479802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067642$4F15E1B0-4216-4F09-9A0E-F6FC255EA1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067642$3B5EA5E0-4FC6-4E22-8DF5-EC4E609046B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23525309dfb3b60c55bea4fbdf0242f3ebd9e742","datavalue":{"value":"5840258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067642$DEFB24BC-9FD2-4DFD-AA47-6EC3E02FEBDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067642$6EBE874B-1166-44B8-A090-E1B69597B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067642$4F3AA341-A6C5-4E0F-9646-FD757B2FD7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067642$5A4A55FA-E366-4C5C-8DEB-BBE8634C7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067642$FC75849C-90B1-40EC-9E41-A21FE4D38F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067642$FAB0A706-B8AA-4AF3-A619-ED9CA3E4E334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067642$2F40F547-F8D9-4562-B96C-E500E93CD251","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":"Q3067642$7F7AC549-F030-44CC-9BD7-F6AFF4343F8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0d1102cfd75de15161623ecb9ea20e31470bd1","datavalue":{"value":{"entity-type":"item","numeric-id":3177881,"id":"Q3177881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46dcc7475c440b5f54c03af2329999f7eb3ffc0c","datavalue":{"value":{"amount":"+0.90175277","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":"Q3067642$4E8A7980-9434-46BE-A9BC-E9E41D38D536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3158d6b74ed344cd6d89685d0e673d4b1ed395f","datavalue":{"value":{"entity-type":"item","numeric-id":4428296,"id":"Q4428296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7e1ac2a7da311755277f1aa67bba83e1979bdf","datavalue":{"value":{"amount":"+0.86295664","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":"Q3067642$EA0A9309-D22C-4509-AF71-40BEE3F697CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f81aa2aaef83289dd62a4e56a0e4bb731fda785","datavalue":{"value":{"entity-type":"item","numeric-id":1203784,"id":"Q1203784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee2ffeb7a97b02b8bb4b00f75906c59da0e703c","datavalue":{"value":{"amount":"+0.85199577","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":"Q3067642$E6FF9256-E78C-45A0-8CE2-B2C65C5B6CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54058ca35a7f487ebc6193c8c941d62d9691d98","datavalue":{"value":{"entity-type":"item","numeric-id":4529772,"id":"Q4529772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701226cc8bb18ddef1d1466cb81ae429f8bcd2e","datavalue":{"value":{"amount":"+0.8519243","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":"Q3067642$DD523F73-95E6-432F-953A-85D15AB0CE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea655080c35a31d839d17c9bcb28d0fd4e95d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3203003,"id":"Q3203003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dd24bf04d4c48b4ccfa7cf847b7d838b394b6a","datavalue":{"value":{"amount":"+0.85150397","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":"Q3067642$AD46C873-581E-4393-BA8E-982AE2BF3A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e666c699d6edee48e57bafe1440684ed632d35df","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998f56005c172cfb56cf4f5d5597d876405dab75","datavalue":{"value":{"amount":"+0.8505123","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":"Q3067642$71A1C3D8-1B83-4736-9B5F-1DD1CA1C3C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cb5f98f45693d3383445ff0402a473eecc565c","datavalue":{"value":{"entity-type":"item","numeric-id":4521287,"id":"Q4521287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0712a784705e2e770765ac731924fe80e00e11","datavalue":{"value":{"amount":"+0.8497671","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":"Q3067642$760D49FC-F3A1-4172-B50E-92D8F47D02AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee83c8ba9d21bb4d0765efec7ff2af46f93f2618","datavalue":{"value":{"entity-type":"item","numeric-id":1107512,"id":"Q1107512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e7104990abf845c30c2f62ca9fe1bc9f6da9c9","datavalue":{"value":{"amount":"+0.8480884","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":"Q3067642$F593A859-8B71-49D7-B3D7-A4CE1472371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be91474f19bc4ae16cc3b5f6ecb1594f0b6fced3","datavalue":{"value":{"entity-type":"item","numeric-id":1818409,"id":"Q1818409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd538147e42579031dcb0ce5ce67f7ad2a5fcda","datavalue":{"value":{"amount":"+0.84716237","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":"Q3067642$EB07E770-DF8A-4096-9776-E945B9353165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85005d393f6d65e6d174fc445baface674fef2d8","datavalue":{"value":{"entity-type":"item","numeric-id":4583318,"id":"Q4583318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38654a416d551b9a9af160e1b454046b44f4b879","datavalue":{"value":{"amount":"+0.8466191","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":"Q3067642$72034BBB-EB58-4BDB-B2EC-0E587E363DC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067642"}}}}}