{"entities":{"Q5939378":{"pageid":8116180,"ns":120,"title":"Item:Q5939378","lastrevid":97624988,"modified":"2026-06-05T15:06:59Z","type":"item","id":"Q5939378","labels":{"en":{"language":"en","value":"Algorithms for testing satisfiability formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1625759"}},"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":"Q5939378$440819F9-5026-45F2-953A-2EDAE8D89117","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1366c5218300a71e4622d92a648fa3dd3fcc600","datavalue":{"value":{"text":"Algorithms for testing satisfiability formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939378$1BEAEC98-D5AA-40EA-A55A-EA0335543908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffec89905030dccbfca3380bc262e04a169281bd","datavalue":{"value":"0981.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939378$1B93DF98-15A7-4884-93C1-253020457798","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48374e972045a4ca852ec34b14c2e341de6ac3b7","datavalue":{"value":"10.1023/A:1011006014945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939378$A8DC3980-61C6-4981-B531-99CFBE4379FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52b2c7681d404040c704acb84f5d875b15fb2d8d","datavalue":{"value":{"entity-type":"item","numeric-id":193943,"id":"Q193943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939378$6AD49944-2565-425E-8D3F-CAD9433F6AD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"864a75a6839514803d74f762d339f267e13fd31d","datavalue":{"value":{"entity-type":"item","numeric-id":71170,"id":"Q71170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939378$5F49657D-935C-4AD5-BAD8-AF66761180A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5939378$12AA0603-E162-4D5B-9807-50C2CCB4B0AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939378$3F9DF943-30DE-4B89-9C6F-9E49E0FDD7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939378$4F43CD81-8030-4787-A335-04543587799F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939378$556FC30C-5D9B-4395-906A-5428F604A348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79fc5ccfd035fa2898268092bde7f5fc7e7eafe6","datavalue":{"value":"1625759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939378$D86B1E56-723E-40A1-9753-7B1DA65FAD51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939378$3F21BD46-1C74-4355-812A-3BD06B721644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939378$96F95196-507E-4BE2-A831-3AF6449FAF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939378$B60ADBA2-5D31-457A-864C-17289CFF40E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39d86d6b93b55abeec05d7a6d3dd5f753268982","datavalue":{"value":"resolutive derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939378$E8DB9928-A186-4D97-A7D0-5D5204AF7986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939378$332B2947-FA34-43ED-855C-4076726333F1","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":"Q5939378$B65D9BF1-C030-4521-8E73-3BC2BF2AE64A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cef8ad516f077b04931430743576caa05062cd1","datavalue":{"value":{"amount":"+0.8512682914733887","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":"Q5939378$E417C771-1911-4B46-B400-AA3C51CA22AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcf73472343b5f1d5624a1b5d509fb74bcd1975","datavalue":{"value":{"entity-type":"item","numeric-id":4529644,"id":"Q4529644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87731321148ef360faa6c7a0610d8c757b63ed2f","datavalue":{"value":{"amount":"+0.8336413502693176","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":"Q5939378$31D0B8DC-C14E-4B1C-BE51-2AC9E2B7A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa56cd608208754d06f16f571e1d66a4dfeae896","datavalue":{"value":{"amount":"+0.8303176164627075","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":"Q5939378$2E74F064-CA16-4BD8-9A50-E6011D3B483C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c070b9671cac884eb04627901957ea8705a1eb77","datavalue":{"value":{"amount":"+0.8200444579124451","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":"Q5939378$62090C0A-4DDA-48BD-B256-7B093F0D62B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dfcb3b44ed74d7f9ad1b7877094e7f93ebbfc4","datavalue":{"value":{"amount":"+0.8102079033851624","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":"Q5939378$FE610FCA-70EC-4A57-8027-C15329D08A20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for testing satisfiability formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_testing_satisfiability_formulas"}}}}}