{"entities":{"Q3765752":{"pageid":5795658,"ns":120,"title":"Item:Q3765752","lastrevid":51844163,"modified":"2026-01-20T07:57:34Z","type":"item","id":"Q3765752","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023248"}},"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":"Q3765752$4F2E8153-BA84-49F3-AF01-A0E1B45D6D71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d51f4f1eb96ef9d4b1a299c05e294e0d70698d3","datavalue":{"value":"0629.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765752$FB0F8C11-D441-464B-8252-F5DE4E3777BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3765752$67BC8E6A-05EB-4577-B389-9A04FE4EF43A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765752$36BFAACE-D40C-43B1-A337-8A80D233940C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765752$A42FC4A6-AC96-476B-B05F-7B6AECAE9CF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4f54a2a58aade9f87479046a327924c64fee2dd","datavalue":{"value":"4023248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765752$F89BC285-5C75-4426-BB15-51EA9A8D168E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267b394071cf1b5b643cd515aabcdbcae8c08f98","datavalue":{"value":"polynomial complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765752$D162862B-F310-4794-87E6-3275F73C3166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc7b9e50b8ae822992ab8c1e3a6dc14e42f3220","datavalue":{"value":"quasipolynomial algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765752$B8074A49-2154-487B-A628-3AA8DDF13FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4df4843225deb847ce2f83cb5ccd54d6f0d40607","datavalue":{"value":"satisfiability of propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765752$B1F89F19-8DD7-4A32-8BBA-4E6D0E26ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c4a95d85f63545d8af92053c9eaae95026a257","datavalue":{"value":"derivability of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765752$82736ADF-EE88-45B9-ABDF-6E2A0C8AF914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a385592a297d2f731717adfeee717f3813887c0e","datavalue":{"value":"implicative normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765752$0370F594-EDA0-4268-B9BA-9F3D36EBEEF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765752$0E0B15FA-3632-4553-B092-E74FF669B7A6","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":"Q3765752$C686703A-0792-42DE-B611-7088C1B96B78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c154915c60a05f20ed6f9ddf2d165538568e72","datavalue":{"value":{"amount":"+0.7784162163734436","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":"Q3765752$3704DDB2-E4BB-4B23-9763-673C051D4F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6f9d4c5e4de1da4fc077836778c59330d2c04a","datavalue":{"value":{"amount":"+0.7745248675346375","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":"Q3765752$4D720723-5A7D-423B-A2FA-805E59935879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5866769bfa0adebec5760aae7aa68ec056667162","datavalue":{"value":{"amount":"+0.7730247378349304","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":"Q3765752$4CF6C6C1-9CEB-448B-BA0E-EEB3B1B732EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0946b312960c8ba92c4d2688cfbf813f550f1b78","datavalue":{"value":{"amount":"+0.771612823009491","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":"Q3765752$38C66D64-05F3-4581-A94E-BEE1DA2C407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec9d08bf44622875276bc123ad3689b5eb9288b","datavalue":{"value":{"amount":"+0.7664015889167786","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":"Q3765752$D17A23E2-07B6-47E3-A6C7-49DEA14394CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3765752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3765752"}}}}}