{"entities":{"Q1961443":{"pageid":1972185,"ns":120,"title":"Item:Q1961443","lastrevid":47432698,"modified":"2026-01-01T18:00:44Z","type":"item","id":"Q1961443","labels":{"en":{"language":"en","value":"Special issues on The satisfiability problem (pp. 1--244) including papers from the 1st workshop on satisfiability, Certosa di Pontignano, Italy, April 29--May 3, 1996 and Boolean functions (pp. 245--479)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389860"}},"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":"Q1961443$A1946366-1B37-43EF-B257-EB2AC017CA67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b535caaf199dc289519adcf57a9827c8370699c","datavalue":{"value":{"text":"Special issues on The satisfiability problem (pp. 1--244) including papers from the 1st workshop on satisfiability, Certosa di Pontignano, Italy, April 29--May 3, 1996 and Boolean functions (pp. 245--479)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961443$A3BB8B18-4AC0-49AE-858E-5BD7EF75875A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"508df253972defcaf013e5d57cee9f8d2c9421fb","datavalue":{"value":"0935.00027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961443$B8173919-9C72-46F0-B5CC-945805891249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd02a5f997209b3648ae745351487c2e93993ea6","datavalue":{"value":"10.1016/S0166-218X(99)00038-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961443$163D9D77-DB09-43F9-89D2-EB2C98CF08C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$7A74283D-77CB-4EC2-9698-DC877EA4611B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961443$A6897CB9-5CDB-496A-9ABC-6A41F12C4F4B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71cd2487d9f3f442b6e52163751756d07a7f5878","datavalue":{"value":"The articles of this volume will be reviewed individually.   It consists of 13 papers from the First Workshop on Satisfiability, Certosa di Pontignano near Siena, Italy, 1996 and a sample of papers presented at several operations research conferences featuring special sessions on Boolean functions, EURO XIV and INFORMS.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961443$7E4FCD53-78A6-45D7-8E8F-0484AB20B2C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961443$F5CD55CC-1A1E-4420-950E-D8FA596BE204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961443$81BBBBD7-60FE-4000-8053-679D132F5FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"928c3314111c008ac3ed00c907f7c500c6c303fd","datavalue":{"value":"06-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961443$0B63B665-134B-4D42-8175-21FA544DFF0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19981ecf997cbf0e97c93503c9ff04ee88fc2154","datavalue":{"value":"1389860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961443$0B2CB93B-46CB-422A-82BE-A3E226EF6A2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a4a295ac31a7370dbbbdc7470fd1dc7874d3674","datavalue":{"value":"Satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961443$575044E4-6F85-46CD-A051-758952ECCA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961443$8B89B16B-0D2F-4A38-9DC3-71818160E649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961443$D9C7F0D4-AB9E-4851-87D4-B56D5C64E5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961443$DC7BF31B-6D32-4F2B-8A75-9DFD2703558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d5b3438c758c1c11ce47cb8a88d7e6d58e3680","datavalue":{"value":"Certosa di Pontignano (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961443$21C3F723-04D0-4513-B279-EA1F3489260D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"314cb7db240b78b9fdebd1fd8b43c1b0f383061e","datavalue":{"value":{"entity-type":"item","numeric-id":24795,"id":"Q24795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$BF15E3B5-6B2F-4A44-B0EE-C349759F477B","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":"Q1961443$044BFD1F-3730-45F2-973B-1F44BDABEC1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddae42721643d87fa0fa62e8eb51411c2aac507","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$CFAF828C-12F5-4C44-B751-7DE1F6AFFFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98f7bca7625c9749c75727f2dff082e7e78c44d","datavalue":{"value":{"entity-type":"item","numeric-id":4027320,"id":"Q4027320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$4E12E99B-DD1D-4124-9EE5-47A96C805551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb7524e03e885eff0a1c3c3b63046bd70d1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$2BFD6C13-955A-4A00-811F-365C4A4F3F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29847a7846d460cb9dfaa0c042f6c4be96adadc7","datavalue":{"value":{"entity-type":"item","numeric-id":5900975,"id":"Q5900975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$ABE9BD4D-03A5-44AD-A20D-B271E518D495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef315ab5ad899918c3679cb795f946fa31b7854","datavalue":{"value":{"entity-type":"item","numeric-id":685363,"id":"Q685363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$0F85947D-1F17-4597-9E90-65193A422F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a533c85d71673e7ede6c73cb98ee5493ea601bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3688439,"id":"Q3688439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$84EBF9E9-3D2D-4B26-BA6F-A749E5133B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b9f1a7b9d16bc3c8d7642391067b84091013a6","datavalue":{"value":{"entity-type":"item","numeric-id":4705311,"id":"Q4705311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961443$A5F0FFD7-C599-40EC-89E0-C996BBD0F668","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a73c000abd3cfc4d94827214a1fbae11bedc31c","datavalue":{"value":"https://doi.org/10.1016/s0166-218x(99)00038-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961443$8F170848-2DDB-4886-9611-38A599F950E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f079096b0e09cedb6bb93158786dc58cfc8c1e09","datavalue":{"value":"W2037072284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961443$FDD4A5A5-CA94-4EB0-9591-C49A422DD404","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb54eb66d8949d36e9208e7d096382439a09410d","datavalue":{"value":{"entity-type":"item","numeric-id":2643296,"id":"Q2643296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1a737c631b82b796cb341834a071725a9f8b6d","datavalue":{"value":{"amount":"+0.7834640145301819","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":"Q1961443$4A11F6AC-9A07-4FF3-8BA6-B0726AF0014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53df82030396a58aeacb17ff2ca466c9980c325b","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32529dd30f9c99540542e2e9d9ff696ce9b9caf8","datavalue":{"value":{"amount":"+0.7560458779335022","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":"Q1961443$BED22080-664E-4C9F-8ED2-F7B67177EBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96b3f2d40985a916593cfe02bc6608ca1206b18","datavalue":{"value":{"amount":"+0.7542577385902405","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":"Q1961443$A65D2212-1B04-4E5B-A995-86F28E32DB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c491ce5e859edb30f526d8cbd2926de9294ca3","datavalue":{"value":{"amount":"+0.7531790137290955","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":"Q1961443$6629D23A-1EC0-4022-BA2D-3452A130A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5975a5b7036edcb8bd2bbeae5733e05f7a97b54","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68efaffcefd5405a12bf58ad0667d5cd9d894ae","datavalue":{"value":{"amount":"+0.7413555383682251","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":"Q1961443$134723F1-0E75-4E46-A5ED-6F44DF78DB2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1961443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1961443"}}}}}