{"entities":{"Q507445":{"pageid":509212,"ns":120,"title":"Item:Q507445","lastrevid":52735805,"modified":"2026-01-23T09:39:24Z","type":"item","id":"Q507445","labels":{"en":{"language":"en","value":"A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680878"}},"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":"Q507445$53D989BA-FBAB-485B-A78D-723A94560C67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ccd36b36ceb2eb371d7c40a589da5e863bf076b","datavalue":{"value":{"text":"A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507445$37CA0EAA-B8EC-44CC-A115-755E5ED82222","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1321047964ef95cd70ecff17497c0ec6c8cf9d6d","datavalue":{"value":"1356.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507445$F2957F9D-05B8-4D86-A744-BA5F231E9307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7cea9f5b568e0cf6f4beddb231193a99016bcb6","datavalue":{"value":{"entity-type":"item","numeric-id":394216,"id":"Q394216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$33BACC93-B125-49C7-891D-BFE6927CEB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1802428e45a02e9e09929c3dabebd25b608449","datavalue":{"value":{"entity-type":"item","numeric-id":277199,"id":"Q277199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$C72C11F3-ADC9-4539-BF3A-2DE9FE53FD7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$43BA3176-D751-44C5-8E28-E55A8804A056","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507445$4EDE6239-072B-4D94-BFC6-710CDB63A5E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507445$1D15500D-480D-4E58-ACDC-B9FF6271EC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507445$B82490A8-8AB4-4FB4-897A-0176483164AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507445$4D11A514-656F-4109-907D-03819E1F240D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"986ce9ce75e6292e2d269342cfaec2c91d60fbae","datavalue":{"value":"6680878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507445$DED603E8-7D98-4832-914F-B3930C67665F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"830c9bebe7a274d6c223208e3b67dc1e20e31e6f","datavalue":{"value":"generalized solution concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q507445$D151C72E-35E7-4BEB-87C5-CA8A115013B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9344f0980229f15864b604eaf151a3863882b0b","datavalue":{"value":"super solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q507445$F90A91EB-AFB9-45A7-B011-1EEB56EF8443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q507445$1E3228A2-E09A-445A-81F0-52D4956676D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q507445$73FCC6ED-092D-4DEC-9A21-AA6459CDB1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6357a5116e554ab6ce2c7e353fa907bd8bd61cd","datavalue":{"value":"random instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q507445$B4CB3C79-BEF3-4BB3-924C-BDC94444DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e940ac37279303889e6f8c6cd8870094f89fb3aa","datavalue":{"value":"probabilistic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q507445$7C20C223-447B-4533-8AD6-C1339A7DB545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b3a4b079d70e7737bef213d8b340a9bafe1edf","datavalue":{"value":"threshold phenomena","type":"string"},"datatype":"string"},"type":"statement","id":"Q507445$90D8316F-31A5-4BBA-9E33-E7566EE4C3C5","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":"Q507445$C47CFBD2-7922-4F1F-9561-2345A7B600D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d3137ded40a6ef6e9363ee774b06ee957ac4b48","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.04.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q507445$A02C6CB2-A9EE-4139-AE14-A35F47163982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5f2aebac1f5b094bfcb54bdc6bc96954d085c34","datavalue":{"value":"W2416495215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507445$F464028A-B0A0-447B-BD6F-37B48D21CD87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e73a0fc41d93e5bbcb4575e5eb876f58659d87","datavalue":{"value":{"entity-type":"item","numeric-id":3581271,"id":"Q3581271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$97D9F28C-7B1B-4C7A-A36E-8FE85677A072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7386c650f924fa9a8b59b1df61c73ff4466045fe","datavalue":{"value":{"entity-type":"item","numeric-id":4376197,"id":"Q4376197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$5A424426-01A4-4B2C-9D24-74101966CF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2758f48b1a93e71d851a0e4b14bce521c35fc05","datavalue":{"value":{"entity-type":"item","numeric-id":3503433,"id":"Q3503433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$AEE0ACD0-7765-45D2-A747-D51BF910999D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea8108228a3fb03cd6914491ae57fb9168aef1f","datavalue":{"value":{"entity-type":"item","numeric-id":3986105,"id":"Q3986105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$98844365-F973-496E-8A31-9F27A0F60627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$2CB64751-0E67-4583-B6C9-DF7B9607135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e823aae56464f911722aa40bd4ee02dc893ffa","datavalue":{"value":{"entity-type":"item","numeric-id":598196,"id":"Q598196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$01FCA5F6-2FAA-4A50-8109-97B5FD1F26B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69684a1a242f54dae546d013f614667556966","datavalue":{"value":{"entity-type":"item","numeric-id":5958809,"id":"Q5958809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$E2044B20-FE6D-4E8A-AA63-C7D6FD21208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06bc0b55fa08ea2b25d86136ab05cd26e4fe487","datavalue":{"value":{"entity-type":"item","numeric-id":2352073,"id":"Q2352073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$DB011707-E0C9-4852-8F7B-2DA8C6D430F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4327601bd6dd35bb7d6569d5132ef2e1272d6bc7","datavalue":{"value":{"entity-type":"item","numeric-id":3624064,"id":"Q3624064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$ACE6638A-0C4C-4855-9B9B-68C281BCFF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$0FFA3E21-02DF-48CB-B8C2-FE73AB059211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7540f3671d86f8ea56c0771af46d4cd00976ffe6","datavalue":{"value":{"entity-type":"item","numeric-id":5713870,"id":"Q5713870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$7FC63C7C-ED3E-4FDD-B9A3-1047EA6062A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8061f104280088a601db366286deefe82ac73c86","datavalue":{"value":{"entity-type":"item","numeric-id":1283791,"id":"Q1283791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$5994D903-BB86-47AA-B634-27FCBAC0A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf47717a42b2bb3bf16a5481378cb0979f61a44","datavalue":{"value":{"entity-type":"item","numeric-id":4210142,"id":"Q4210142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$1E21A80D-9632-4619-B58A-E86D7234FA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f15d123876a2e8938f5e3dd7e09d1436bc1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1028939,"id":"Q1028939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$FD880A26-4B6E-48FF-AAF8-F6B73D111DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec7b6498d21cf7bf18db5a229c82ff0a4ad418","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$4AD9CC05-4F4A-4929-A8C7-4D6635CED255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6fd1b7d8b3626d73270eac8a248c4a288fa63f","datavalue":{"value":{"entity-type":"item","numeric-id":2368999,"id":"Q2368999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507445$5317F058-96F7-48FC-A7D9-8CEB2852CFB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5031f0980378f49bc77b9e720ef28a345461ec85","datavalue":{"value":"10.1016/J.TCS.2016.04.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507445$2EB46D4E-FA3A-4AD0-AA3E-D32F2217542C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a2dd6e4ceb834e05be2a62ae5da97180ee49e1","datavalue":{"value":{"entity-type":"item","numeric-id":3452579,"id":"Q3452579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f594bb468327c09e7e140109f116bb5da62e793","datavalue":{"value":{"amount":"+0.9333645701408386","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":"Q507445$E5013F6F-166E-4635-8192-4ADD57147299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e66fc353f36c2d9671f2b05705e1dff971652f","datavalue":{"value":{"entity-type":"item","numeric-id":2326395,"id":"Q2326395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae00d26735357a23cb32ee774fbc20e1528f8cb","datavalue":{"value":{"amount":"+0.823668360710144","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":"Q507445$9C8BE799-E276-4B91-8930-7B07BF0E660D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c50eedfbeada16ade94c05a4a576f24b3159b261","datavalue":{"value":{"entity-type":"item","numeric-id":5949018,"id":"Q5949018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b6733dda2bec40b038440579124265263dcee3","datavalue":{"value":{"amount":"+0.8123721480369568","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":"Q507445$765E88E5-1576-4125-8C40-F58F99296F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad60dbd5695f565691a498bbcee1b4d4c8f17907","datavalue":{"value":{"entity-type":"item","numeric-id":359981,"id":"Q359981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe87b53bf080d4618011dc5ee2aab3e48ade9faa","datavalue":{"value":{"amount":"+0.8086481094360352","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":"Q507445$FEEFF35D-ED04-44BC-8043-AECC0147AF6C","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":"691fbd4aa05fef23181b6ccf998d817ab58da9fd","datavalue":{"value":{"amount":"+0.8057538866996765","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":"Q507445$AA5B05DE-1392-4EA4-B890-230516C90ECB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:507445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:507445"}}}}}