{"entities":{"Q4791685":{"pageid":6821265,"ns":120,"title":"Item:Q4791685","lastrevid":74643102,"modified":"2026-04-14T23:43:40Z","type":"item","id":"Q4791685","labels":{"en":{"language":"en","value":"NEURAL NETWORKS AND LINEAR PROGRAMMING FOR THE SATISFIABILITY PROBLEM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862309"}},"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":"Q4791685$CF63A855-FAB8-41AA-A2EF-C85A904149B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1259f198cb8a0a9f2c1f4050284a38d13334d618","datavalue":{"value":{"text":"NEURAL NETWORKS AND LINEAR PROGRAMMING FOR THE SATISFIABILITY PROBLEM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4791685$0EAD27ED-1D9C-4ADF-9784-C17528EC31F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6287501d7f484da582e9ac59dc9330f57323b5d6","datavalue":{"value":"1055.90581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4791685$701CBD6C-8DF5-4CC9-93EE-157F919C9A08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50b808c4e144679c80e130bfd8a111df6f856ad","datavalue":{"value":"10.1142/S0129065799000034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4791685$0CD0CC2E-8561-482D-8936-ECFAAE47E730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ee9a70913ac28b3bc98efeefd79bcb3b674ad36","datavalue":{"value":{"entity-type":"item","numeric-id":1193859,"id":"Q1193859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$CA27849B-C7B9-4023-BB3C-C3824944071D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa65ca558a46f1ad0002f754bc6a52c718c9d15c","datavalue":{"value":{"entity-type":"item","numeric-id":4791678,"id":"Q4791678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$BAF81E85-6F54-44A1-BC25-D11034B9F805","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4807edd6e640ad656e01e00a44b61d620e873df6","datavalue":{"value":{"time":"+1999-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":"Q4791685$5645012F-06DB-4EC5-9A79-DA3317207C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4791685$22AC2C78-307C-4053-8E73-B99D75DB086A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4791685$2BE549F6-E70D-47AD-ABA4-91F4E4F22C8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aa74e406cc5f88bebca4fa99a601df8689f74c4","datavalue":{"value":"1862309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4791685$47B4761F-9401-4B0E-899D-196BB5BDB492","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b4a279c6d0724e1cff613bae74091f46b8208b19","datavalue":{"value":"Q52209644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4791685$C56AD2E7-A777-45CC-AA88-1CAEF98BAACF","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":"Q4791685$0375E447-244D-4344-A44B-4FC063217139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ab307f83e53b25b601fd59f2e3bbed8032701b","datavalue":{"value":{"entity-type":"item","numeric-id":4833781,"id":"Q4833781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$9015AA1B-4099-40BC-9199-2663893E6EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$E4837532-B5C6-411D-AAA7-34994A595C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d2913ea9b1da0eff271d8ee3902caa554bd412","datavalue":{"value":{"entity-type":"item","numeric-id":1922626,"id":"Q1922626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$F67801C0-5121-4204-93D8-001D9B9D48CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0cf2ce256faaa1a4f29f1591dea95eec39a30e","datavalue":{"value":{"entity-type":"item","numeric-id":1209491,"id":"Q1209491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$CF705523-EFC0-41FF-801A-A3CEDF07F200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a82e4b254a2d59175927f6151539c79e66754c","datavalue":{"value":{"entity-type":"item","numeric-id":1328115,"id":"Q1328115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$A64787E2-E86E-4704-95BD-75CD3EFB8CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c107f228751294cc6d2c19891671d2883127f21b","datavalue":{"value":{"entity-type":"item","numeric-id":1278588,"id":"Q1278588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4791685$5F49B622-67B1-44F8-A2E8-3300976441B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a6b6952158f7731a2f3e4d1a44f6e658e1756ba","datavalue":{"value":"https://doi.org/10.1142/s0129065799000034","type":"string"},"datatype":"url"},"type":"statement","id":"Q4791685$88DB3622-ABC2-4EA0-BBCA-206001210A7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23a9e84304b4e5ac478a14bc7d0bc5b77ae1a819","datavalue":{"value":"W2057744520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4791685$7B8A90B5-0B96-45DE-8EB7-9C3C41C559C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65f13d001122431d8c77dae60dc59b52cc0339b","datavalue":{"value":{"entity-type":"item","numeric-id":1898925,"id":"Q1898925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381ec53c3c81a2ed37bc3b30c42bfb4bd6b23e11","datavalue":{"value":{"amount":"+0.8547981977462769","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":"Q4791685$AEA66F4B-F20C-4E63-BC7A-FEF7AF5E074F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5667eeabd9c46de767bf68f0db99faac2e5b60dc","datavalue":{"value":{"entity-type":"item","numeric-id":4014855,"id":"Q4014855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d5165431aae8a0e7a07eb13c4c8d84a8fd2e4b","datavalue":{"value":{"amount":"+0.8534406423568726","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":"Q4791685$593F4F58-693E-48EC-9E27-D681B42FAE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b362400e5a2841fa7d065780d07071ca1a0867","datavalue":{"value":{"entity-type":"item","numeric-id":1209491,"id":"Q1209491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad6f59212acc47b2f23c043b042d0820d176bfe","datavalue":{"value":{"amount":"+0.8162729740142822","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":"Q4791685$9AD43BBE-DE87-4192-944D-5119F2614EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cdfabe310da5d7b4390a8808aad16e8d514ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2728993,"id":"Q2728993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86778c2f3326ba7682b8af0aea0ab41d188da2ce","datavalue":{"value":{"amount":"+0.8082659840583801","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":"Q4791685$0F1068C1-C526-4F24-A746-ACB46F5E2849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502609c5a50ec48ad8e4d1054553a09654f9377f","datavalue":{"value":{"entity-type":"item","numeric-id":4329689,"id":"Q4329689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a52560349438dbb4cc6e6916087cf87970998b","datavalue":{"value":{"amount":"+0.7955719232559204","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":"Q4791685$2B7F82E6-1764-4D75-8CBA-0B9434D7196B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NEURAL NETWORKS AND LINEAR PROGRAMMING FOR THE SATISFIABILITY PROBLEM","badges":[]}}}}}