{"entities":{"Q676451":{"pageid":678300,"ns":120,"title":"Item:Q676451","lastrevid":46770627,"modified":"2025-12-25T13:42:43Z","type":"item","id":"Q676451","labels":{"en":{"language":"en","value":"A threshold for unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992452"}},"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":"Q676451$30E3E8B8-398A-4734-8534-D6E8EC4979EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f25194cb66b51be5d1738c2cefd0f5056826d3","datavalue":{"value":{"text":"A threshold for unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q676451$8261B106-7EA4-4E5D-8F56-3D564AF5858B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93031af12e37be787f91fb40a95b94f8ee200fc0","datavalue":{"value":"0870.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676451$289FCC3C-0B3E-4236-9952-2F8492115653","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676451$ED31CCFE-8C34-450B-8B3B-32479A65C9F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676451$4CD16E4E-3DC1-443A-8530-E90208FFAD64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de55abe1184eabb69c149d115535943b6417e7c5","datavalue":{"value":{"time":"+1997-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q676451$6C1CA228-4960-45E4-A3A1-74F112E9149C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676451$0D4C05A7-2F24-4DAC-90D3-B74C85DFA41A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83e5f881494f6b3982f0fa58c7bfe2f6d381fcfb","datavalue":{"value":"992452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676451$391E514B-C0F0-49C7-86A1-6FAB2A3A0537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63941e5bd9ab7513ec6d0e0479ff2f7ccf63229a","datavalue":{"value":"probabilistic analysis of satisfiability algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q676451$84FD1DFB-035D-424A-A36C-217CE6D3435A","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":"Q676451$979F1E07-9FA8-4EA3-9B92-503B6DFC18FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f218d681e1e5f87f0b0692309accf9ad88937b1","datavalue":{"value":"https://doi.org/10.1006/jcss.1996.0081","type":"string"},"datatype":"url"},"type":"statement","id":"Q676451$B4F71011-F5D2-4814-AF6B-3838469CED4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3822df4155d2662fbbfa5c792195c5016554b400","datavalue":{"value":"W2018251959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676451$41A233F4-55C1-4FB0-8B04-8697A6176D95","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"19e06fe91885b3ba4fda628043cdd424baa234c0","datavalue":{"value":"Q56288408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676451$A3FC43DE-31A5-4119-9D3C-5117785BB8EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9b48aeeafae3f9a05aee18d678696034d6444a5","datavalue":{"value":"10.1006/JCSS.1996.0081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676451$B7CAD0CC-2769-4937-8FA0-EEF7F6D3A311","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e1c75a1d9886354ccda37be3abf7d4fce49dac","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d62249dbcc015b9bf54ef359c6f7878e37c7e97","datavalue":{"value":{"amount":"+0.9774707555770874","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":"Q676451$37EE5B1E-E516-427C-A1FA-CE24A4F517EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f425365751659c8f6907ab58ac6dbe7c95b0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1607007,"id":"Q1607007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e9642da015a17313c467f0311ebcdad958c948","datavalue":{"value":{"amount":"+0.8956842422485352","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":"Q676451$B128DBEF-01CB-439E-9786-EF50245C73F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"face938ba9c8ce07d5feef9cfe0e9b11f399b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":1961467,"id":"Q1961467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ac59331680a5b3d0f90c7415f6d447a7402e52","datavalue":{"value":{"amount":"+0.88648921251297","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":"Q676451$CAD9A176-152E-47C0-B8B4-9D77D190CC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58fefcd8b50cd47a06516f977af8b59b4f99e46","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf32a5cd107577b112bc06cd6b361f83487268a","datavalue":{"value":{"amount":"+0.8569785952568054","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":"Q676451$206EA179-8D62-4C12-BCC0-0293B30884D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c300b950827ac2babf438ba9140610bb96ef4b","datavalue":{"value":{"amount":"+0.8532596826553345","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":"Q676451$97E06B18-39A7-407F-B81C-2032A14C2406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:676451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:676451"}}}}}