{"entities":{"Q5900717":{"pageid":8007007,"ns":120,"title":"Item:Q5900717","lastrevid":93573260,"modified":"2026-06-05T04:37:51Z","type":"item","id":"Q5900717","labels":{"en":{"language":"en","value":"A randomized satisfiability procedure for arithmetic and uninterpreted function symbols."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695399"}},"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":"Q5900717$61DC12CC-A09D-456A-9747-7A862CC7FBD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900717$E685AAFA-9136-45C4-B18C-CF47F3FAF7A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed68196c7bb66bb3f5b676855192125bf964cb7","datavalue":{"value":"1278.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900717$76A09605-F8AD-4594-8BCF-6876B821DB97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900717$C8CA43C5-621F-49CE-BE00-E9851607C727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8613ca94bb02f105ef1f9bc1f5bd869f5077ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":859960,"id":"Q859960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900717$D3336A7F-23A7-421A-807E-E76F6498BD94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900717$0B28F1D2-CC72-4243-B481-13B510A77CC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900717$9C4236DB-11E0-49A1-ABA0-0797398BD10C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900717$A4AC1794-0604-4901-A9B5-789BEE333672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a3ba51e6647eef012fd2b80f9cdf68e74e9aafd","datavalue":{"value":"5695399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900717$26AF185D-BA26-454A-BCE2-C94B977221A0","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":"Q5900717$0943A4D3-993E-45E0-8078-CEFD480A3DEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900717$7DB557B4-8D4A-43A3-AD5B-6D8F0CD984E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900717$30E640B9-5F3A-4232-B352-E988E5D31668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900717$05B4C36E-D77F-4F77-9F87-37B841C7F908","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90471074c10d499b146636cf369227f756f5d139","datavalue":{"value":{"entity-type":"item","numeric-id":2486581,"id":"Q2486581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea5f55d33bbcf883c05a6fa98c59c88fe73f467","datavalue":{"value":{"amount":"+0.9955865144729614","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":"Q5900717$562DCE9F-3231-4205-8B23-ECE2351D1BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59749457507943deea09a732bc974cc8e3df5c48","datavalue":{"value":{"entity-type":"item","numeric-id":1190510,"id":"Q1190510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200699876ec310cce5f37a0c7af47d57c99e1e11","datavalue":{"value":{"amount":"+0.7928076386451721","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":"Q5900717$3C579910-DC84-4A10-93DF-1CC1825F778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a12490123d7cfc5286efd9e4bef35a387ac7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4475671,"id":"Q4475671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94433416209cd2bf45f6d5c3eb67beeb87e6600","datavalue":{"value":{"amount":"+0.7923164963722229","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":"Q5900717$BA227BEF-5182-48BB-9C2D-77D2C2A9F1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254cdf83398ca2411b3bdd9e3720e73dcf954460","datavalue":{"value":{"amount":"+0.7882766723632812","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":"Q5900717$938C576B-653B-4607-B965-4D99E8108964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2068748f59fd6e2e2a72df0bd8ccdea859c138","datavalue":{"value":{"entity-type":"item","numeric-id":2747196,"id":"Q2747196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e388014e739f16cd41e9716c96e68e87101820","datavalue":{"value":{"amount":"+0.7789172530174255","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":"Q5900717$7E1132F8-000B-43AC-A85C-7896C9D2CC7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.","badges":[]}}}}}