{"entities":{"Q3694704":{"pageid":5724610,"ns":120,"title":"Item:Q3694704","lastrevid":50296469,"modified":"2026-01-13T18:54:34Z","type":"item","id":"Q3694704","labels":{"en":{"language":"en","value":"The Pure Literal Rule and Polynomial Average Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919831"}},"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":"Q3694704$52C2B93F-7F02-4713-B2D2-01D38638CFA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3dff4d894336df78fc660f4486d530ee40ade75","datavalue":{"value":{"text":"The Pure Literal Rule and Polynomial Average Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3694704$085BB4F0-2595-4D7B-8D60-95838E148377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95fbdaec8a21d60e1f9c4e2f315113678b31968d","datavalue":{"value":"0575.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694704$54A1D53A-70F8-46D3-A6AD-6EC8C2A85F9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66d3baca41e57ef03b767ed5539a26e4626c1775","datavalue":{"value":"10.1137/0214067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694704$532A0C87-8B8F-4BD6-AC01-E8DEFAAE47E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7aa25e9507b1fcaa49f736635f474133f22687","datavalue":{"value":{"entity-type":"item","numeric-id":1095677,"id":"Q1095677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694704$EA91FD07-44FD-4F84-85C8-1733040DB610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ee08d0becda9e1f06a72179bfc8bc9b783d54a","datavalue":{"value":{"entity-type":"item","numeric-id":1095676,"id":"Q1095676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694704$C1371A47-5764-4B35-817C-69E59A391D4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694704$2F1942D3-87AE-4928-A6DE-AB0E1EC34E0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3694704$81D06EC6-FBD0-4915-840B-30311022ED76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694704$0584BE4F-402B-4CE3-A3CB-DB25DED0746A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694704$0413FC73-64E7-4881-8321-5D088BC5FAE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"208d512184df48b9525db6b4d43546522dcdaafe","datavalue":{"value":"3919831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694704$8904A8E4-15D7-42F1-9785-E3F8D5FA7978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25e8a8f94bbb98c87412be389c43d6535a62f16","datavalue":{"value":"average time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694704$A64ACAB6-D8EE-4D62-80FA-46A189B31BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0c7481e3c5c308fc47ea6e648bd33e7ea295f7","datavalue":{"value":"searching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694704$BA0CB9DE-53C7-4775-9187-45E39675258A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05360e916edb0bd9b7b30a74eb1cc0ef4c98641b","datavalue":{"value":"simplified version of the Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694704$9FA851D1-E8D7-400E-BF1E-90A37D0502F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694704$B85A3C44-4E91-458D-94DD-721FD1F96E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694704$63625B47-5069-40B9-A9F9-ECB7909F9828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8322976646aec50506d2d2467cb055e2dd4a348a","datavalue":{"value":"pure literal rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694704$6F60D34F-A6CD-49CE-B701-77618AC57F7E","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":"Q3694704$1B3D94A0-A120-401C-99FA-85E70B6EC72E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e827f9c0c7155ef60d5dbcd26fc9d8914395ca2","datavalue":{"value":"https://doi.org/10.1137/0214067","type":"string"},"datatype":"url"},"type":"statement","id":"Q3694704$A12C1A59-1183-4518-A2F1-F1829238A925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43b9ac9fb62b5b94f29212ba76c9743a235d9b0a","datavalue":{"value":"W2016042296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694704$B641DA2D-718F-49F4-80CF-00044B83C32B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2142a01b3a431baa188a8311ec72749273e697e1","datavalue":{"value":{"entity-type":"item","numeric-id":3832061,"id":"Q3832061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b2a1d9914baa3633065cc11baaacdcbeb6a7ad","datavalue":{"value":{"amount":"+0.9396708011627196","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":"Q3694704$BFD76FD3-ED0C-4005-AD1F-89DEF8FBFF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9502eac21297c1a2e91bf19484d2a5dedae8c81c","datavalue":{"value":{"entity-type":"item","numeric-id":1104093,"id":"Q1104093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e38dd17382bf9bbf6d1018ed6629a62a08428a","datavalue":{"value":{"amount":"+0.9163964986801147","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":"Q3694704$6D5C08E5-9419-41FC-9682-3AD024305E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ed15806f50a8fdb798295e695993e28a1d9295","datavalue":{"value":{"entity-type":"item","numeric-id":1095678,"id":"Q1095678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff85541405d43a4edb1084e1c172bb58f88a0c9d","datavalue":{"value":{"amount":"+0.8783104419708252","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":"Q3694704$C8413571-6147-4C06-9276-6EB0E1695D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19cd0537ada4fa42e2bdd7d601b6dd90a0afc84","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5c42238d6f015b125278b1a73921ddd2d961c4","datavalue":{"value":{"amount":"+0.8532118201255798","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":"Q3694704$D1A64B6D-B623-425A-8CF8-544D76078FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c162836baf851f2f8a69bb0e213f071fa612f335","datavalue":{"value":{"entity-type":"item","numeric-id":4700097,"id":"Q4700097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac04bc8a6260a5eaf6c99e1fe654ab699d0d7e2","datavalue":{"value":{"amount":"+0.8371837735176086","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":"Q3694704$E0C904FB-8EF3-4BB0-93CD-2EA57E0091DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3694704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3694704"}}}}}