{"entities":{"Q5593816":{"pageid":7623376,"ns":120,"title":"Item:Q5593816","lastrevid":48649816,"modified":"2026-01-05T12:13:01Z","type":"item","id":"Q5593816","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3313427"}},"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":"Q5593816$498CCBE0-24C6-4BEF-B8F8-69623FF24718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0baeb64c3bf45e8598a40b7ee6290fd0834947b0","datavalue":{"value":"0197.00102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5593816$6CFA45A4-CD14-495C-A9F2-5B590A050548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09a5ac13384f12b961e57f686a9c6f4aa87c1fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3231163,"id":"Q3231163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5593816$D8FC16C8-E948-422E-B76B-E7ED3AB9CE9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q5593816$4709C0E3-75B9-4F42-B6D1-843B81772BB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f841488abd53f079483e69efc20f081367598cf4","datavalue":{"value":"https://eudml.org/doc/188127","type":"string"},"datatype":"url"},"type":"statement","id":"Q5593816$A3E7E512-40EC-4A9C-B319-5B458AB86AE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5593816$F78E535F-EC50-49C3-ABFF-E01D83DF029A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e88c9d0f76f8a2e4cff88544901578b0d7d8d84","datavalue":{"value":"3313427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5593816$F6095F99-1B77-49CC-860F-DC94142E4332","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1530426793c7ac2015f56930d1f89b917824ab29","datavalue":{"value":"complexity of deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5593816$7CB3E221-2020-488B-BD11-C628AED7A946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38c619b06f7d7d27ecccba9c13497df12146201","datavalue":{"value":"complexity of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5593816$E63A2A48-4C09-4B4A-B218-09DB6D262DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5593816$6FA61C81-F3E1-44DF-B68C-821655EACB0C","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":"Q5593816$8E45C45E-3DBF-44F3-A513-0B0CA0E0FD6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b80cee6d330f411fb2b3efe20e72184c88eedc","datavalue":{"value":{"amount":"+0.8105628490447998","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":"Q5593816$887373DB-7762-4914-B4C4-5A319395F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b705b508b90fb7d704b9952a3de53e035e1e6593","datavalue":{"value":{"amount":"+0.8091673851013184","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":"Q5593816$F6068D2C-AA8B-4525-BD3C-6AEAC5B5C73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b705b508b90fb7d704b9952a3de53e035e1e6593","datavalue":{"value":{"amount":"+0.8091673851013184","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":"Q5593816$1988FAEC-25CB-4D1B-BFB9-82DE1C7187F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a81e83bb15280ef3eb461e6946913d06ecf871f","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d5284156191649e5c6f0515be4cac4f5f10df1","datavalue":{"value":{"amount":"+0.7963985204696655","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":"Q5593816$05F3985B-5236-4E75-B4FD-395D3A1735A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892e0567a9b1fa2350db876f360145d289bd76e9","datavalue":{"value":{"entity-type":"item","numeric-id":5697716,"id":"Q5697716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54250e3afb320ee1cf1f34bb7454f60f671e0ef8","datavalue":{"value":{"amount":"+0.7904037833213806","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":"Q5593816$AB55C2F6-02A5-416C-808F-E88C6BDBD774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5593816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5593816"}}}}}