{"entities":{"Q4218095":{"pageid":6247696,"ns":120,"title":"Item:Q4218095","lastrevid":46656129,"modified":"2025-12-25T08:34:17Z","type":"item","id":"Q4218095","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222558"}},"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":"Q4218095$32F94D50-253B-4091-A10F-58120E43CDAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e1460122dc8cf9aade248cbee96cf2191afb133","datavalue":{"value":"0911.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218095$D1BA900A-D510-4FAF-B52E-D0927A39CB0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218095$6EFDEAE7-C343-4F1F-94ED-7AE00DE088EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218095$377B265B-2E1E-47CE-9B42-0BC918B81715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218095$62A56E30-D602-43E2-82D8-6EB13B763405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218095$30144D51-D714-40BC-A958-0DE421053040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218095$6AC810E5-CB09-41D8-9CFA-1B2C20D664E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218095$4056A72D-1385-40DB-A69C-BD4B64F91DBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5170e3b108b0e85d1976906d88030634bac1f311","datavalue":{"value":"1222558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218095$DF9F0210-879E-4F45-91A2-714C8206FCE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d820937f63203ad5a2bb7cd8f7879dcad7071fe","datavalue":{"value":"satisfiability of \\(k\\)-CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218095$0F120360-EB2F-49C4-B75D-40AE7033CF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218095$6AD5A118-2315-442C-911F-7D43F94DD2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218095$6432FDBD-DD07-47CC-94FC-A2B0E634458C","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":"Q4218095$ED1E827A-F920-4C47-9333-89D18C5B5BF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6008596ba8e2aaa835f721270995071bf3034419","datavalue":{"value":{"amount":"+0.862751841545105","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":"Q4218095$BD0E4391-2413-4F36-AB03-76D198016C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb99da77c4cad897c30658ec35cd00f2752b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2487388,"id":"Q2487388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7a612259560f791ba5f94e8170998d0cf9c199","datavalue":{"value":{"amount":"+0.8438440561294556","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":"Q4218095$7AA88823-0801-4209-8432-EE785E0E53A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eae78cd294f1fc070f28f9330a5eb6377bf70c","datavalue":{"value":{"amount":"+0.8431493043899536","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":"Q4218095$A636F155-4C21-4884-A181-2CAB897E8E3B","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":"cab2fc7d7d442941f0f1c01ec3719d30fa1d971b","datavalue":{"value":{"amount":"+0.8377400636672974","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":"Q4218095$51B4C2B9-96B9-4E86-9FA8-EAA3DE3811BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e45b606eabed5bdb0ecb9d682fffb754362e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21394a18fe861d5dec8a3bd84c41cc8e50cfc4ea","datavalue":{"value":{"amount":"+0.817330002784729","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":"Q4218095$9CFBE38D-1EA3-43F3-BB98-DC2E7EAA6552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218095"}}}}}