{"entities":{"Q3724312":{"pageid":5754218,"ns":120,"title":"Item:Q3724312","lastrevid":50734673,"modified":"2026-01-14T23:46:33Z","type":"item","id":"Q3724312","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954886"}},"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":"Q3724312$1CB770B6-164B-4E08-94D4-62632B0F541C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3b0d572847fe4eed45ceb60205c3eaaa90c9e25","datavalue":{"value":"0594.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724312$60A72746-AB8F-4931-944B-3E4364D563FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724312$76DD20C5-776D-477D-8E22-F24D182CF7DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3724312$8D5226F6-4739-4C19-BE7E-324A0B62844A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724312$5D77315D-6B51-4054-A104-375CB4F79F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724312$41559047-3DD0-4D10-851F-75A8FFFFF4F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3069815710cc9b90098c9398e310eccb1a46184","datavalue":{"value":"3954886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724312$68038B65-6EC3-4403-B611-287117663279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ba63dcda64409670e8f0f2c533efdbfa1e0ce84","datavalue":{"value":"\\(P=NP\\) problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724312$40227462-92A8-41E9-B801-635C20D3EEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a7b7e2d190ceeaf6b4b05e3d541182d649f8c1","datavalue":{"value":"complexity of interpolants of tautological implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724312$1B4387F6-3167-4280-87EA-9445761A4D6F","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":"Q3724312$09C82620-6937-43F1-ABCA-73C12D1E1207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26199b31a34d3a0bcbcc1a47184b2f3c1251d5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1076669,"id":"Q1076669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819d273bf38477d72e0c778c43e626db0aa16313","datavalue":{"value":{"amount":"+0.8821683526039124","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":"Q3724312$284F8689-FF35-4180-BF3D-79567DEF965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ae2a0b77923a129f57ce18f68b6556632938c3","datavalue":{"value":{"entity-type":"item","numeric-id":1118581,"id":"Q1118581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249f8c6938ad2b3b0b6a16e3588359e7412ad204","datavalue":{"value":{"amount":"+0.8280202150344849","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":"Q3724312$631C29A7-3565-4F8C-9EA3-8E37D631DAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da167317dd79e81ce517fedf9670335ecd7e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3684112,"id":"Q3684112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fc7fd1f403064a6aa54180110311ce8f6bcee6","datavalue":{"value":{"amount":"+0.8086251616477966","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":"Q3724312$A1B3FFB1-0A56-4008-BE13-74271CC2C051","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":"54675747d982b8cc9df264362d5e43678861b3cc","datavalue":{"value":{"amount":"+0.755633533000946","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":"Q3724312$83A52154-B46A-403A-923A-D437F754DED3","rank":"normal"},{"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":"54675747d982b8cc9df264362d5e43678861b3cc","datavalue":{"value":{"amount":"+0.755633533000946","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":"Q3724312$82F7F6F2-6C93-4011-8109-DA64824C9B07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3724312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3724312"}}}}}