{"entities":{"Q5956121":{"pageid":8132923,"ns":120,"title":"Item:Q5956121","lastrevid":47745682,"modified":"2026-01-02T14:22:42Z","type":"item","id":"Q5956121","labels":{"en":{"language":"en","value":"Stochastic Boolean satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708529"}},"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":"Q5956121$CD824D5E-054B-490F-AC4F-53CB781C6BF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56849125200c63265819376d10dd67f20d27fdb0","datavalue":{"value":{"text":"Stochastic Boolean satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956121$1C6FEDD7-C3E4-4E34-A90C-68B6237EF7E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"100d9a3fadbd66feba1e28a9fa19137de7067151","datavalue":{"value":"0988.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956121$7A1B079F-57AD-4A3A-A6BD-B21D123D6A9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb85b792e4f65192b6c119c6ec5877b022a74bc0","datavalue":{"value":"10.1023/A:1017584715408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956121$02C913E4-F679-4185-924B-08FB3128AA45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92953e4586e720c3bdd013770f6ffbe01a60f284","datavalue":{"value":{"entity-type":"item","numeric-id":230823,"id":"Q230823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956121$50B4C9E3-64AA-4951-9718-E2FF57FB5BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0aa614b6e788caa81b87b297188fcbda821c7b1","datavalue":{"value":{"entity-type":"item","numeric-id":230824,"id":"Q230824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956121$D4851BC6-47E0-4EB0-AFAB-6972247E3B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956121$63ECDC3A-1BE5-4F9F-BE44-1407DEAB9399","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956121$D3322A83-D4E1-4115-B9A8-0EFFDB16039E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d25d55580aa033c3456b22cc344777f6eb808095","datavalue":{"value":{"time":"+2002-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956121$4E1757F3-58CB-4B64-9964-78AB2C957D54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956121$50C4A37F-51E3-4A3F-A9D2-9B1EE2B2FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956121$1CDCAE72-A0A5-4EBB-B4E6-835BCAB6F1AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e2b034a498a00e922b7b336d499f4fd4d2d02bf","datavalue":{"value":"1708529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956121$0BB2EE19-AA2B-4658-A9F6-BF8D4539D4DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956121$90922369-28AA-465E-9ABA-D59F7D07F88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1ef869bb62308c25fa85d3f06a0fe61b11386","datavalue":{"value":"stochastic satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956121$F0BA233A-645C-45B9-95AE-C5E0DB9858B0","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":"Q5956121$60B94387-6BC5-4E36-9AA3-AF56489DCA55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7492f12c16dc00b1c5e146f356eb243934e60c","datavalue":{"value":{"entity-type":"item","numeric-id":2751046,"id":"Q2751046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b245a07e655bbbe4a4d3654b8e0ac790d6c5e13","datavalue":{"value":{"amount":"+0.9973984360694884","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":"Q5956121$23169FFB-8C8B-4943-9167-61D5DF6100BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a655929a3f9bec1c0a2dac90f181cf53308035e5","datavalue":{"value":{"entity-type":"item","numeric-id":4933336,"id":"Q4933336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a3d6601e5d99307490b530f290f77c6bc1cbdf","datavalue":{"value":{"amount":"+0.7969225645065308","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":"Q5956121$DC832A3B-62C1-4535-A052-D4D0D0EF9FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684a8bd70719e344e91b96b8ad8151df0ecbdc3c","datavalue":{"value":{"entity-type":"item","numeric-id":4784887,"id":"Q4784887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d056e7e1f8d31c7cfd63890954b197e8ad067f4","datavalue":{"value":{"amount":"+0.7959851622581482","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":"Q5956121$6B1CE2AF-09F7-439A-92CA-FDE805731DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1502f60709c57ce7dc8273036b2b8196dc4aaf82","datavalue":{"value":{"entity-type":"item","numeric-id":1601833,"id":"Q1601833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ae838300a7d2078f5600b97cadd0323ebe4748","datavalue":{"value":{"amount":"+0.7773938775062561","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":"Q5956121$54B47667-8D5C-48CA-AD57-9E2E8D1EF97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4821d4bff362e2efa9942740de3f55356f1d6f5","datavalue":{"value":{"entity-type":"item","numeric-id":2741524,"id":"Q2741524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abb9897b62e4421552ddfc7d0c953bd24b070d0","datavalue":{"value":{"amount":"+0.7637388706207275","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":"Q5956121$AE423766-7616-4E84-ABD4-E6CC1F85675D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5956121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5956121"}}}}}