{"entities":{"Q4329689":{"pageid":6359290,"ns":120,"title":"Item:Q4329689","lastrevid":88960874,"modified":"2026-06-04T15:57:41Z","type":"item","id":"Q4329689","labels":{"en":{"language":"en","value":"An artificial neural network satisfiability tester"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1736604"}},"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":"Q4329689$2E8D55C3-F6F4-424D-B812-FD596BF18115","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9692866fcc1fcd66de15aa2d9aa761c8edf51dd9","datavalue":{"value":{"text":"An artificial neural network satisfiability tester","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4329689$A1710A50-EA53-455E-B077-26FFA9F7ED02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"382a2a7d871c7d8108fc68381094ccfbe2b80158","datavalue":{"value":"0997.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329689$2C5571DD-E167-4A3B-9D1C-8D531F16ADF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8614afc688d692d55237eb2388f574472259c7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2771275,"id":"Q2771275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$67B01075-1A26-49A2-9702-670DE9E52451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2a692c5fbd47d4547f3c7fcd5eafb312e8a8e095","datavalue":{"value":{"entity-type":"item","numeric-id":107479,"id":"Q107479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$D99E3E70-80D1-4DB9-B6D8-EEF3CAF1E32D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65e62300519a204fb8956c5156244655ad221f1c","datavalue":{"value":{"time":"+2002-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4329689$F3C0E70F-8D45-4FBC-BE75-5ED7CAF09E23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329689$91D79C2E-69CA-455A-A3A4-B56BF804B41F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5348cd00d116db25166c2339dcda73e8e03909c7","datavalue":{"value":"1736604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329689$9D3CD418-4DBB-49F0-A16E-B48125B627D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56bd00c72c6b69ddc8b9b46f6e606ca3fee70f54","datavalue":{"value":"artificial neural network tester","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329689$10962E32-55BA-4D72-B85C-8ED1AE5AEC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329689$7EE4FA03-22B4-4E51-ACA3-1F3DE1203C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329689$8663E96E-A6AB-4B58-B382-88B6654A02B2","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":"Q4329689$F4A77107-D4B8-4562-B56A-7E832016E209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c4df78e0655b72911b7aaa031abe83851799841","datavalue":{"value":"https://doi.org/10.1002/int.1064","type":"string"},"datatype":"url"},"type":"statement","id":"Q4329689$D5D370EF-2D76-4343-81C2-4593313DCDF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2172563469b3d3550a1b1da75bc04dd14aa3e6f","datavalue":{"value":"W1980599513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329689$A7130E3C-376E-47F3-BCEC-99739641A610","rank":"normal"}],"P223":[{"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":"Q4329689$CB6AC1DA-0C32-4100-9930-CA6F457DADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a0de63ef37c927b318d77f47f00a69c6cf8d4","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$D122F829-FF9E-456E-9FB4-D7F64ADEC477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71f2d332360f09a62b7e9e7a47b5aa0286a78e4","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$E43B0701-B24C-4D5F-9634-BBF8F96BBC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397f656ad7df211fad8613745a81fe55825023f","datavalue":{"value":{"entity-type":"item","numeric-id":4032940,"id":"Q4032940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$9983B6DF-44C2-4834-B31B-84B9A2935FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3602a7d17a4504d6660111b52ba910b603397c3f","datavalue":{"value":{"entity-type":"item","numeric-id":1209339,"id":"Q1209339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$9D5CEFD0-1BB7-4C42-AFD3-45858EFF1AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$73216908-BCFB-4472-8666-76A9A173320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903be65f2ce4dfc9de2cb4616261a15d63aa1637","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$A8107151-8D27-4F14-B081-2BEBB816380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7b660937930adbd0ff364afa7db1889b982e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1317481,"id":"Q1317481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$3CEA00C9-D68F-40F9-8C25-31BB5AEF18C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$A6D2E3BC-729A-4E47-844C-25C6E51063A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$C68FDBB7-2E22-4D7E-8D0E-7CE4E46B49BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcc64509a3b4ae8497ef3a4b4c9f3c08241c8d4","datavalue":{"value":{"entity-type":"item","numeric-id":687090,"id":"Q687090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$055A1033-8E32-4F3B-8709-B9347C603F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8621ce0ae1e8c21956cfec192d952dd4054223f","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$40711B85-1E01-445D-BCC7-3614FD44BF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88e1df903dc84a95c78ea9648df24922d0ee5f5","datavalue":{"value":{"entity-type":"item","numeric-id":1130078,"id":"Q1130078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$0018342B-10EC-48F9-97F9-0F994DC210C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759a91ed4ade8a3719c28a5e6e99198f470de9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5350238,"id":"Q5350238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$A095A3E7-A1CA-4F76-9B58-555B675DCFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$7C1ADD23-44A2-41CF-A126-9B474833A5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebd50649f1e0277e6bfaea3fa01bd2806b34818","datavalue":{"value":{"entity-type":"item","numeric-id":3230352,"id":"Q3230352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329689$08C8E8B4-8879-46F5-8719-8505919BC606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8c10414a03a78672a012afca3b15cb082c87f54","datavalue":{"value":"10.1002/INT.1064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329689$60089BA1-B7F5-440C-9B0B-DF04C817D1E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47f7cb6e0891edfa7314270fc96b98cdfaa6d48","datavalue":{"value":{"entity-type":"item","numeric-id":4791685,"id":"Q4791685"},"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":"Q4329689$BBA2ADEC-F62B-4271-BEC8-8A6EC2C3C08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcab1b9ac66df87f614f207dfe9ee2a174f2d745","datavalue":{"value":{"entity-type":"item","numeric-id":4530472,"id":"Q4530472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23c8cc2b588e8fe8531f48079e6e86d564a88f4","datavalue":{"value":{"amount":"+0.7639442086219788","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":"Q4329689$1A107BE9-9339-4651-A2D6-F19CA8D1DEE0","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":"9f3d1744e6f975b7b4d00d28aa27dde45df86fee","datavalue":{"value":{"amount":"+0.7639439105987549","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":"Q4329689$60C4CED6-F653-40A2-8BCF-D8743C4454F3","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":"b38c239ec8241fada76d02ad88436e1e9ac7d1ae","datavalue":{"value":{"amount":"+0.7638148069381714","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":"Q4329689$F5699BE0-5A66-4CC1-9111-25617357891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a9ad19d5923ec1e40a6c2ee725aa3a5e332ca3","datavalue":{"value":{"entity-type":"item","numeric-id":2746341,"id":"Q2746341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbf0372142b023334361ee2bea002e827a74548","datavalue":{"value":{"amount":"+0.7619831562042236","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":"Q4329689$81C56AD7-A474-4418-8C9A-7A768A5D0D58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An artificial neural network satisfiability tester","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_artificial_neural_network_satisfiability_tester"}}}}}