{"entities":{"Q3832061":{"pageid":5861967,"ns":120,"title":"Item:Q3832061","lastrevid":87661763,"modified":"2026-06-04T12:17:08Z","type":"item","id":"Q3832061","labels":{"en":{"language":"en","value":"Exponential Average Time for the Pure Literal Rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4108167"}},"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":"Q3832061$83B02D6F-7A2E-4D39-8A45-E5C047A6735D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeac497d64b831075bec69eda59a4a1c38aa7ba4","datavalue":{"value":{"text":"Exponential Average Time for the Pure Literal Rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3832061$C1D9075B-7A87-4D9C-95F2-404223CA03DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc90f63f7b7f0c3dc718cec0636bc4ca719995e0","datavalue":{"value":"0676.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$87CCAE79-2452-41C0-98A8-9C6910447F15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"698372f51f1f9cb3a249928fb59627dd582ebd1e","datavalue":{"value":"10.1137/0218028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$4BC9A449-105A-45F7-808F-C17027183D60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8751cd1629762ac8fb0c59e5b1369786687a45fe","datavalue":{"value":{"entity-type":"item","numeric-id":1104092,"id":"Q1104092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832061$802E93FC-7616-479E-AC04-C46CB8A219FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef10c4ba8eec3ad4fe13219e4b69d62de3eeee7","datavalue":{"value":{"entity-type":"item","numeric-id":3832060,"id":"Q3832060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832061$790C758E-3138-41B2-9A2E-808E3DDB39BD","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":"Q3832061$D9CE2608-9964-4160-8EE4-F76799DF6212","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":"Q3832061$52C20B5D-10DE-4A0D-98FB-4EFADE54BCE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3832061$0589B2A9-EA1C-406C-A051-B7771FA843B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$571045C7-11FB-4592-8A6A-C740BFA877A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$37C2B5AA-390B-4DA5-B2E3-C5796DA62D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$D82BB897-AEF9-4E3D-AE3E-BA0C7C05E9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$CA928DE7-C760-4140-988E-1D87B433C240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$0573D1C6-E127-47B5-BFA6-C026973389E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$7F8B9CE9-2199-4F15-A2A8-92888B1B381D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"868e153c750bcb04757d78bd6cdc9446d5b8a102","datavalue":{"value":"4108167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$BA49260D-F711-46BE-8F25-845234156154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25e8a8f94bbb98c87412be389c43d6535a62f16","datavalue":{"value":"average time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$2DE5D66A-2ED5-43CA-989F-1FCBF1D9F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$361BCAB7-F519-45A6-B9FC-045FDA1C086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3b1798ebcbca280a76974b8f25dac6572b4e5a","datavalue":{"value":"combinatorial search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$E3C7FEB5-27A7-49C4-A777-0207013B1E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4c23ee9323cc5007fffca3f350f0c99c491297","datavalue":{"value":"Davis-Putnam","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$42AED288-5A95-464B-89A1-9038B0D80EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8322976646aec50506d2d2467cb055e2dd4a348a","datavalue":{"value":"pure literal rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$D64BAED0-A4B1-403B-B8BB-8CA317CDE843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$2DDB84DF-2416-4E56-B355-BA527C0F09B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$E3169188-CDDE-4ED4-86EF-ECC86319C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0c7481e3c5c308fc47ea6e648bd33e7ea295f7","datavalue":{"value":"searching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832061$84CC11F4-3706-4981-BFDD-5E52E55D693B","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":"Q3832061$F973FB54-FD12-4115-BC06-2FBED284C96B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54d3c9aa7c65061f7581bcc7bee3508c19a3949e","datavalue":{"value":"https://doi.org/10.1137/0218028","type":"string"},"datatype":"url"},"type":"statement","id":"Q3832061$F6BC21E5-5080-4584-A839-E98901D3D74D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e2d8ed0a757f2ae0013a6f7cac7b4bbf2d90c7","datavalue":{"value":"W2021126666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832061$E3731F15-37DD-498B-AAAA-E3251AC6C931","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e062448ad3176ad0428cc4ca722719b43b43dc","datavalue":{"value":{"entity-type":"item","numeric-id":3694704,"id":"Q3694704"},"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":"Q3832061$6A86108B-9CBD-4EA0-8DD0-CECF98B26F8E","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":"b74420805de58de32089bc3d2fcebb64bc58f156","datavalue":{"value":{"amount":"+0.9337093830108644","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":"Q3832061$F93F5917-D861-4EFF-821E-90393318E155","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":"fe8e32d592fad62f3351891476d35e5fd9b68cb6","datavalue":{"value":{"amount":"+0.857995331287384","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":"Q3832061$C6A3083F-FDDD-4C0F-BBE3-1C26FFF791DD","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":"78c0aa8c5e0624b37a8aa8029d152ec8c7a1bfe3","datavalue":{"value":{"amount":"+0.8418891429901123","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":"Q3832061$AF84D806-CF9B-4FA4-B078-0BC3E920F1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70b4867441d10cb913bb4be936f6e3639ba22b2","datavalue":{"value":{"entity-type":"item","numeric-id":3985347,"id":"Q3985347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e84ac8181caacce36febb52f1e2fdfe4933e50a","datavalue":{"value":{"amount":"+0.8387487530708313","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":"Q3832061$3DAE79E0-F3AD-4C19-BF24-AD2B9AC5F3B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exponential Average Time for the Pure Literal Rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exponential_Average_Time_for_the_Pure_Literal_Rule"}}}}}