{"entities":{"Q1104751":{"pageid":1115500,"ns":120,"title":"Item:Q1104751","lastrevid":55919881,"modified":"2026-02-21T03:56:14Z","type":"item","id":"Q1104751","labels":{"en":{"language":"en","value":"Probabilistic satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057008"}},"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":"Q1104751$7D8181DF-C899-4C34-845E-1CA15617BDB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59a53421c98a73d18a909f38b83baa6ed7dab689","datavalue":{"value":{"text":"Probabilistic satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104751$92641A33-B0AB-4F5A-AC8A-79EDA339B479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c70f4bfec947ba995d256b42ae92466b6d3170","datavalue":{"value":"0647.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104751$9D42E7AE-120C-4C99-B4AD-9F6F048BF7ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8da2bc72499b269be32845102496f71d166ed2c7","datavalue":{"value":"10.1016/0885-064X(88)90006-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104751$4AD4A125-AF17-43D7-A0BD-E7FA4669A25F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$66C628EB-0B5F-4392-877B-8FACDC0983D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1475dd035cf72d33c0ba89710057f92413ab295","datavalue":{"value":{"entity-type":"item","numeric-id":963329,"id":"Q963329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$DC7963CA-A2F5-4178-B61F-75E483E42864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fda7304dd0fda467016dd9372b1deb5bedd86dc8","datavalue":{"value":{"entity-type":"item","numeric-id":294757,"id":"Q294757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$DD54AC25-F4A7-4232-B367-B92ABD4E0A24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f728e963338f0590fef2609026707340c65ee9d2","datavalue":{"value":{"entity-type":"item","numeric-id":162057,"id":"Q162057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$384B6E4B-916D-4340-944B-4097D0A258FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1104751$D357BDF7-097B-4F66-875E-A110153710A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104751$2C2AB043-2CEB-4F53-8D87-AC50FBA5BE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104751$F64E710F-07D4-4ED0-A2B7-9EE87091038B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104751$E83B4362-F09B-43C6-B76E-D656A22AA8FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"999dc7bf94cd0e0f641d5c71d87fb54b26ab9e73","datavalue":{"value":"4057008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104751$D0214FC2-383D-462E-9410-46E91FED083D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0317477367ae79331429816cdf41fc9d8aa5557","datavalue":{"value":"probabilistic satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104751$AB063C3C-C1B5-4BFC-B675-3E4FC6A0BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104751$2D03D2B2-2CF5-4901-8F6B-063F2F28C703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104751$A82D240F-C9A8-48B8-9FDF-5E520913BD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104751$09A7E162-1EC9-4457-AEB5-494E6B86AAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104751$C04C824B-ABD1-4D73-9E0B-864F8B94AA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104751$63A77BAA-2290-4367-8BF3-38F4B232C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a92166f5adeebffc8c81c6abb980ed495030be8","datavalue":{"value":"polynomial-time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104751$5D8330D9-507D-46EB-9A80-237E02E589CD","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":"Q1104751$9CB38B73-B0EB-4562-9E17-A123552480FC","rank":"normal"}],"P223":[{"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":"Q1104751$192FDB84-4159-45DB-BB73-B3BB2ECAC5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$09844AE1-1665-48FB-A472-E574BE78F770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bea2aa742600a3d6440d95d23c6efda4160240b","datavalue":{"value":{"entity-type":"item","numeric-id":1133903,"id":"Q1133903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$A68A5FC5-162D-455D-9AE3-826049F55E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2a85c3cfc10c27f1e9d72af98eae1314212dae","datavalue":{"value":{"entity-type":"item","numeric-id":4742231,"id":"Q4742231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$2509128D-83BF-489F-B512-77190488C16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5800d93eb4f8caa03263f0b51c3001208ff1e9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3050157,"id":"Q3050157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$F10A6C5B-41D3-438E-906E-0A80212144BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$3BF2CFA8-8E3A-435D-94CE-B190555CC4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$48615617-6BB4-41C3-BFFD-1FF88A038237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a3935510a7a32a3465a4b94c3d9f4a4726573f","datavalue":{"value":{"entity-type":"item","numeric-id":3680313,"id":"Q3680313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$55CB4B2F-BA97-499B-BFEC-399B25DB3785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104751$CAD83B2D-CE79-4BBB-81A7-5951AE46A4D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7b2fb7b53923fb636ea2d19a9fee038cb0835d5","datavalue":{"value":"https://doi.org/10.1016/0885-064x(88)90006-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104751$537C5BE3-C52B-40FD-B8B3-889000756147","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"759dcfcfbc98d16932741f6efea68eea03d7bbf0","datavalue":{"value":"W2914795094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104751$0F7658E4-23C2-4CE6-8F8D-977C17CEAE8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607bf7058e6a368aac5e69f87b046b93aaa555d9","datavalue":{"value":{"entity-type":"item","numeric-id":2752129,"id":"Q2752129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$D51ED6A1-390E-4E3A-AB58-1EAA69343379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2660c0a34d8de5b35ffa75edf58b60373668ef9","datavalue":{"value":{"entity-type":"item","numeric-id":808705,"id":"Q808705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89cdf3b3fd768ba25aba7e14c34315a38eb1de5","datavalue":{"value":{"amount":"+0.97014683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$DE70B86C-6FEA-44F3-AC1B-D84784DD32CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99729b7bbf8fa731cd77531b3bdb111ad56d26c","datavalue":{"value":{"entity-type":"item","numeric-id":1605686,"id":"Q1605686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d41fbd436f1ae9a54c05fdff06c0867bb9b0740","datavalue":{"value":{"amount":"+0.96078247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$A40D9890-4B06-4C8B-B586-54FDD5A1D72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49075fa60d643316b5dad196b105c43e8dae388e","datavalue":{"value":{"entity-type":"item","numeric-id":1744442,"id":"Q1744442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f7dfc49cac58ec716eab03eb328efab4d82f65","datavalue":{"value":{"amount":"+0.95912784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$69841A00-BF9D-459D-8BDB-133B79C659DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004857aa6bc21c498ad33bed2a05d343bffda1e","datavalue":{"value":{"entity-type":"item","numeric-id":3081621,"id":"Q3081621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60cb20d8e71a07ac4c4abec9c005e3c678f4054","datavalue":{"value":{"amount":"+0.9469237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$3D56F35E-B89A-4A85-9AFB-BBB5CB2D2332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871427e52dabcbbfb9e734c522ed94da04075c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3638188,"id":"Q3638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e380002d1580dcb4cc3573ebeeff8966a207447","datavalue":{"value":{"amount":"+0.9455998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$5FC2B2CD-0FE5-4856-AE7E-0CE40083113B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14b89c67a6a2ddef8b8cf9ecc0797c7f21f2797","datavalue":{"value":{"entity-type":"item","numeric-id":2767440,"id":"Q2767440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a3d52195e81465d9872cb6438379b89dd5c9e7","datavalue":{"value":{"amount":"+0.9402276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$B678F3BF-708F-458A-B7BE-B05128E4317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d33fcf5aa9cf3398774f3b13ebae0566cbebc87","datavalue":{"value":{"entity-type":"item","numeric-id":5200036,"id":"Q5200036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ddd2e148d7dabb04e128dfd4664d7a48a369dd","datavalue":{"value":{"amount":"+0.9326314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104751$BB0F92F0-B37E-44B2-BDE8-47D492476D1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104751"}}}}}