{"entities":{"Q4375797":{"pageid":6405396,"ns":120,"title":"Item:Q4375797","lastrevid":41846140,"modified":"2025-05-08T23:44:52Z","type":"item","id":"Q4375797","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114026"}},"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":"Q4375797$13AE187E-9D2F-43FF-8A7C-ED4A9A47668D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc39997d599704fbb135d6b4adc73da3009524f0","datavalue":{"value":"0891.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375797$68FC02D6-EB4B-45C4-A91B-DE0652F999EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8056c790502073583e8a0c3ac6f3ba261df2455","datavalue":{"value":{"entity-type":"item","numeric-id":4375796,"id":"Q4375796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375797$03D92224-1767-465F-BB72-E727A8A47514","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46d510eec3e7ce58270c726463ed6b80c4b4fd4e","datavalue":{"value":{"time":"+1998-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375797$BE5FAD40-4D9F-4513-A548-CDAB89DDB118","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375797$22CDE548-38C0-4243-809F-ACC0B209F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375797$C583CFB9-5A83-4208-9B7E-41CF724FD1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375797$D406B1E7-D042-4A70-A3CD-B29188810891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375797$7E4654EC-E231-48CA-82B4-B04E8F0631C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ff1351c933b08abe5b64350571260cb078b2ada","datavalue":{"value":"1114026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375797$9985F1A4-694C-44FE-B0C8-5D7D8983C2E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc969c420cd5e1fbd771fd0ad583239897502476","datavalue":{"value":"size of propositional proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375797$92012EFC-3B5C-47FF-BDA7-BE577D887F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70adad916de092270e9a6968bdc954b40c9ea2e","datavalue":{"value":"string algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375797$E8772E82-9BB5-4AEE-AA7D-AFAFBE2D02EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cae44e3a67067b0140f3b277d7ccaeacd6c2bdcf","datavalue":{"value":"quantifier-free theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375797$67F35A0D-F024-421C-B83F-CF0681252812","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":"Q4375797$DD313BE7-C065-498B-90C3-F0025B36AAEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98fd1515fa2dee7f9e2c86cbd72a562f56c13da","datavalue":{"value":{"entity-type":"item","numeric-id":4288808,"id":"Q4288808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f74eac762b70986ec67890dbc878a68a95b2f93","datavalue":{"value":{"amount":"+0.8342976","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":"Q4375797$811489C6-D3FD-4ACF-A74B-DF63CCBE4F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2371f5d9955fed75924a89b255daf10e3e3865","datavalue":{"value":{"entity-type":"item","numeric-id":621315,"id":"Q621315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183ed4108dc07a8ffc2aabd9dcfdec4a5e8844ed","datavalue":{"value":{"amount":"+0.8329977","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":"Q4375797$D72D3A90-76FA-4F93-B0AB-64533B54D5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51abbc15e2454026008cc33c5e303e5afd70d64","datavalue":{"value":{"entity-type":"item","numeric-id":2812976,"id":"Q2812976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffd075e8b068e1dcd0c918c281f060b0076f1aa","datavalue":{"value":{"amount":"+0.82960004","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":"Q4375797$5A006256-487C-4D0D-8878-2AD5DABDB2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d7850047c89a04d964687f56f362c57420bc0c","datavalue":{"value":{"entity-type":"item","numeric-id":4924535,"id":"Q4924535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e41a4ed7d5e5e40d31f4d7821b1a4f87a4a94b1","datavalue":{"value":{"amount":"+0.8270405","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":"Q4375797$D336C5E9-7DAB-41F2-80AF-BCA285ADAAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5f28692f97f35d86cf42277db1e58ffc323ccb","datavalue":{"value":{"entity-type":"item","numeric-id":3472677,"id":"Q3472677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e10b7fd2abab3c6f27d7ff5271391d2f603108f","datavalue":{"value":{"amount":"+0.82471627","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":"Q4375797$8E367663-4526-4C19-9835-0226B21D1082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23d5500be19f0ff2ea2ffaa55f54505c007ab32","datavalue":{"value":{"entity-type":"item","numeric-id":2638772,"id":"Q2638772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ceb31428c59d8132a61f31eceb5325b42fdfe1","datavalue":{"value":{"amount":"+0.82372075","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":"Q4375797$72096832-BD1D-49BA-9FBE-FBBE05907874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a8867b37c903cb3bfe409638774567ec63eed7","datavalue":{"value":{"entity-type":"item","numeric-id":1174228,"id":"Q1174228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92fec8cd6c9fba027bd4138950b411184d3f9f2","datavalue":{"value":{"amount":"+0.82327276","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":"Q4375797$BC26A6E4-674E-41EA-8B61-2629AFB8E82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562f389d021b0be6518cb4c68913ac68d1e4e1e1","datavalue":{"value":{"entity-type":"item","numeric-id":2193729,"id":"Q2193729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c3dc8630290c58c83b208164a7ad47fe5b03a5","datavalue":{"value":{"amount":"+0.82061404","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":"Q4375797$8664229B-2A10-43FF-8219-CF35E6187039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01bedf7a3628c0fe7cb1d1c68941ece6a04e19d","datavalue":{"value":{"entity-type":"item","numeric-id":4840059,"id":"Q4840059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706126e2abcf0b3d3d714a7a19043a4239a2efb8","datavalue":{"value":{"amount":"+0.82055396","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":"Q4375797$DE06AD65-F206-40F6-9350-8FA5D1E39EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a524cef016e074a2699d9766293a2dc196917ac","datavalue":{"value":{"entity-type":"item","numeric-id":4020010,"id":"Q4020010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c89bad7798303343020d9fd31220b6d691a0b8a","datavalue":{"value":{"amount":"+0.8194684","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":"Q4375797$E0988F61-02D6-46CE-A95F-35BA3710A28A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375797"}}}}}