{"entities":{"Q1353993":{"pageid":1364732,"ns":120,"title":"Item:Q1353993","lastrevid":68534664,"modified":"2026-04-13T00:23:02Z","type":"item","id":"Q1353993","labels":{"en":{"language":"en","value":"Exact satisfiability, a natural extension of set partition, and its average case behavior"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005826"}},"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":"Q1353993$1B2026AB-D3BA-4E2C-8954-110C962C6912","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4d1a8c1799e343ca57949513a0c9442af7696a5","datavalue":{"value":{"text":"Exact satisfiability, a natural extension of set partition, and its average case behavior","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1353993$E4551A96-9836-49B8-9D91-CAD46CAF1636","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2da812f9337ea71a010013ef60beb7b6dc36c843","datavalue":{"value":"0865.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353993$306ECE26-F452-462C-B26D-525B9C097722","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b98d68b24312408a4fb98d9d637e20c5a5cc51","datavalue":{"value":"10.1007/BF01531028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353993$5E6AE386-3662-4C9C-B518-EE7B02E8906C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28bbcc74fcb402af071729d124478254f15cbdb4","datavalue":{"value":{"entity-type":"item","numeric-id":584253,"id":"Q584253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$C700F1CB-9531-4120-B21C-B119EE332D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$28BBA9F9-6531-49C0-B92C-2D9839EF45D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c198725330d5119e6809bdf5e7cbed1615f4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1108028,"id":"Q1108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$BCA29D8E-BC2A-4D54-B13E-34A7D4384D39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$172AE9AD-AD4C-49EB-9FAE-DC67CA6951CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1353993$6C472C77-EB81-46BA-AC8B-4C5730DF608D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353993$2C72CA71-424C-4B60-9B9B-F481BAD09BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353993$1D9D9945-6C48-4F38-9216-71EAE5DF3C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353993$595FB76E-88B2-4A7B-9D53-EF7A2342A5D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd06c841f22d156164b9497b3d2210b5d0bbce24","datavalue":{"value":"1005826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353993$911DD65E-A0C1-4053-9988-AB909C8A7547","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$8C24B41B-A04D-423D-88CB-08C35C076275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$5E84BF55-B5C3-44D5-BC17-6DDCAC2327B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e07f9bd421d70385628d8f3c7044a4d89501e611","datavalue":{"value":"exact satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$FD68BC02-88F2-40E7-91D0-E7C06C9B3E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52de5883751daf770e52b335cde888ca59e1a57c","datavalue":{"value":"set partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$60AC20D0-E822-4186-B8DA-A91E6B668800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a0bdb730da0eefdbc019d3be0aa50bf553dc7e","datavalue":{"value":"average time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$8FC1D2A1-F533-4EA0-9CE5-C41A1C1CBA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3412979b3ce550143171997c8e51d3e85ff5c9e4","datavalue":{"value":"backtracking strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$974B227A-7C96-48F6-A600-3CAF872925D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbedd0ebf659a23772fa151fe7b41a8b45d7e36d","datavalue":{"value":"probability models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$5470B4A6-57E4-4744-99FB-17B550A9AD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d910fe29cc4414386224cbd2d0c49b541f4f4d","datavalue":{"value":"constant density model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$26542DE8-1640-4B5B-929C-8165C2BA1D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6090f0f5358139df8f054e994620036436c7b4dc","datavalue":{"value":"constant degree model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$91266D8F-6644-4BA8-9947-C996E9E3ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6dd8b946c8a535a830efc7f75657e46fe0e8896","datavalue":{"value":"low degree polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353993$B6F6DC4D-5609-4FFC-AC2C-B76047F29AB7","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":"Q1353993$8EB1612E-87D5-41C6-8EF7-174F01571298","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4855508c035089f5a450bea34664199d6eca85fe","datavalue":{"value":{"entity-type":"item","numeric-id":3048579,"id":"Q3048579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$4A1C44B3-0AC7-4E1B-8E5E-18423126FAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a90c73bcf65723c5caa489891ceb2b9a228fc41","datavalue":{"value":{"entity-type":"item","numeric-id":4046051,"id":"Q4046051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$EDAABA99-7AED-45BC-8DD8-EFCD1767F852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe6ab3559345bc9f039132e063ea1bc380f23ea","datavalue":{"value":{"entity-type":"item","numeric-id":3911407,"id":"Q3911407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$514F5645-48A9-476C-8047-FFE557451CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83312a3e346c7419e7c503e1050470bf3c54e96","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$476F0988-1F13-4CBD-A66B-B8297940BF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$831AEEB1-65C6-4F12-B632-298862D02BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$8BC9A390-5A5A-4A18-89E8-1D04379E0A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896e38fb605ff6587e4fcc1a80675b4a6379481c","datavalue":{"value":{"entity-type":"item","numeric-id":4268473,"id":"Q4268473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$68094825-0A29-4B4A-A85B-8AC2D0013CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c16314d571ac552ffc4dba48f547b3438465b","datavalue":{"value":{"entity-type":"item","numeric-id":4747916,"id":"Q4747916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$59168E1B-B37D-4A8C-BC22-0A68778CE1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c1a7c08104d2aedd244f7b11b210cc611ba801","datavalue":{"value":{"entity-type":"item","numeric-id":3036695,"id":"Q3036695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$E30AD6B9-26B4-459F-B9C9-BB0A44E43012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865f082c2e39aa822f8117990360da77ecfea3aa","datavalue":{"value":{"entity-type":"item","numeric-id":3694704,"id":"Q3694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$9C996A33-4897-4575-B5FB-9F391244C088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5292a6d2b34d3e8fb2e8794445c7c280a629a97","datavalue":{"value":{"entity-type":"item","numeric-id":3811764,"id":"Q3811764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$05697BC4-1152-47A4-9D1B-713E6D0E316A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b33574853479f5bf4ce7a90a93eabc6ddde1e0","datavalue":{"value":{"entity-type":"item","numeric-id":3795286,"id":"Q3795286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353993$A2239863-4645-4006-BA17-183D3DE54510","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10df7d218cb72b6eb670be87271eb0a9446e7af0","datavalue":{"value":"https://doi.org/10.1007/bf01531028","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353993$6A60DC3D-3F66-4A94-B15B-DB85CAC33512","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03713e7bfcb5647218bcd6875fba285b61cb7952","datavalue":{"value":"W2037639986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353993$FBBEDD70-A507-4004-8A34-90C2EE1A6089","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef129483f337ac01ba7bcb0f8d281e952c55fe6e","datavalue":{"value":{"entity-type":"item","numeric-id":3811764,"id":"Q3811764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fefa4f3c44edb91a026626f9c547be9fdebe8a0","datavalue":{"value":{"amount":"+0.8631510734558105","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":"Q1353993$E4461F57-259A-4CEF-95BB-E785249DCF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf68742e0169b23a1a8a967d057e2ae2a972a80","datavalue":{"value":{"amount":"+0.8303875923156738","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":"Q1353993$37DDBAFA-5E9B-4789-B592-0F297E3BA735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9ed3817391ed127aeeef9050aefe00be5314d9","datavalue":{"value":{"entity-type":"item","numeric-id":3795286,"id":"Q3795286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56352941332d41cc0dfeb6008a28c28eec18fe71","datavalue":{"value":{"amount":"+0.8260722160339355","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":"Q1353993$CFFEA025-ED89-4F6C-A3CC-903EA3EB0F59","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":"51cd5c6f63abb4390ab796eb1affad186c0792cd","datavalue":{"value":{"amount":"+0.804506242275238","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":"Q1353993$01602EAE-8C8C-4629-B520-F563FA6DC40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a656f063de935ced5cb23a06c4a0b1791f8e1531","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570e8eae7d22b47c19d6ca57c2fce5fd1e12b233","datavalue":{"value":{"amount":"+0.7926544547080994","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":"Q1353993$889BEE5A-E69C-4787-8356-0E53DAB71A2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact satisfiability, a natural extension of set partition, and its average case behavior","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_satisfiability,_a_natural_extension_of_set_partition,_and_its_average_case_behavior"}}}}}