{"entities":{"Q5268815":{"pageid":7298390,"ns":120,"title":"Item:Q5268815","lastrevid":58501527,"modified":"2026-04-05T12:10:39Z","type":"item","id":"Q5268815","labels":{"en":{"language":"en","value":"Satisfiability checking and symbolic computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6734046"}},"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":"Q5268815$313B8F60-7431-427E-8610-747DD3653160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf65e1c99b9fde831c99a083e823106e1479daca","datavalue":{"value":{"text":"Satisfiability checking and symbolic computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5268815$8777C86A-2900-4365-8A9B-07C8A26DD336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40bdf6f097da7ee9aa1d8fc0bb38014abc3df1ec","datavalue":{"value":"1365.68478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$4DECED37-2549-4791-A2AA-32722060009D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ddcff24353588ad7278d9976affd95ea3a238e1","datavalue":{"value":"10.1145/3055282.3055285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$BE7A7204-8AF6-4803-A0EE-651C8DC5953C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$A57D88B7-7A3E-4DB6-8CBD-AED30E76C3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"200658393c4a9505c0f7a8502ac876d49d00c1f5","datavalue":{"value":{"entity-type":"item","numeric-id":412220,"id":"Q412220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$BC14CA85-074D-4111-8270-262FD2C85F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$1005F454-387C-4CF6-8DC1-A0E74EDCDECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61291a9b1d31216cabbbfdcda7e35c4185d77add","datavalue":{"value":{"entity-type":"item","numeric-id":504407,"id":"Q504407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$8AE13951-E676-482F-8FF1-1D191E0D37C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ecefe21c6ae876627103481238d3a51a19d6a6","datavalue":{"value":{"entity-type":"item","numeric-id":479833,"id":"Q479833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$D250E5C6-CEC4-42C8-8262-06628A9C5CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa740d7cb09ca4fbf14f2e113394450c436e8720","datavalue":{"value":{"entity-type":"item","numeric-id":229598,"id":"Q229598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$7111161C-0FF5-4575-BC56-4D46EDC7A06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$43A53425-15EE-4252-A8E8-7FBD1E56F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abdd09be1ba8c89002f4d0e9d2a1eeb7b1f0b03","datavalue":{"value":{"entity-type":"item","numeric-id":247221,"id":"Q247221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$67F31FA4-C0E3-4B81-A07B-E75BA44D1F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$FC3AF9C1-ACFC-480D-B92F-EA149411863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960b449a12de9bc30a4df435fd7548f4091e494f","datavalue":{"value":{"entity-type":"item","numeric-id":2817291,"id":"Q2817291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$1E6C5592-6E41-4967-ABB7-C0C4651D8BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$6732DF81-76B6-4C0F-9A89-5ACB0CAA1E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$F8B61BB6-9B32-4D53-BC1C-513DC5748DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08be31a30ca42fc5bd7aefd32542f9087b8b82b8","datavalue":{"value":{"entity-type":"item","numeric-id":349838,"id":"Q349838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$BBDA0881-2FB8-4C39-B506-E5D16F07644C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$F0D0CCC4-E3AE-4055-9001-8EDB1B6F4100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$16EEF1F8-1D48-4DB7-B459-FD1D1333756D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4cc7e2181b92e53b1070c79ea91782279fff091","datavalue":{"value":{"entity-type":"item","numeric-id":2802384,"id":"Q2802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$E7B8F891-3478-4EF5-834A-2782FB827340","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f889432403f3e87ba72d1eb34a5f814171f1311","datavalue":{"value":{"time":"+2017-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5268815$9FA645B5-350D-4770-8B5B-B215A6A1D4E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63986e5ce236b1f397b21475f9292ffc5de18ece","datavalue":{"value":"https://arxiv.org/abs/1607.06945","type":"string"},"datatype":"url"},"type":"statement","id":"Q5268815$0F4C2B4C-C8DA-4A42-A089-E46F7A956CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e8ccb61ae11ab714e1f8afddeba7cdbff265182","datavalue":{"value":"http://opus.bath.ac.uk/54991/1/Abrahametal2017a_authors.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5268815$82348D33-5328-44FA-8DD9-2A254B68ACC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$F2F964E5-931F-4BBC-AF9E-9D72DD58E13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$B4F05CD8-2FEB-473D-B702-EDB3113B44B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f684d7440aa0236ebe3f682692e1963954255eb","datavalue":{"value":"6734046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$640CC873-2FCD-4795-8330-DBE353233A3D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95f378691bda4d6c6f85d46b621dc59e3314cfd1","datavalue":{"value":"Q59590563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$012806D9-AD80-4BFE-9076-32BE8A37FAA2","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":"Q5268815$58041553-5EF9-48DE-B7E4-B89CAFDA8E11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"268bf3ad6a6c366a390a73cf420d3c1a9a66a8d3","datavalue":{"value":"W3123916761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$E4870652-84ED-4C7A-8AEC-DE6E8286137E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2387c710e9089eacc5cd3b7ffe9a7ba46898b9","datavalue":{"value":{"entity-type":"item","numeric-id":2819729,"id":"Q2819729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$E5AE2894-8CA1-4EFA-A4A2-8A84751FDFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e770ab55f3db1dc816e1628743e37862fe609745","datavalue":{"value":{"entity-type":"item","numeric-id":2817292,"id":"Q2817292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$EC20477A-C5D6-44C1-AD95-417BCF440115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3219ff8350953aed12855f50a7e04d28ff461e5","datavalue":{"value":{"entity-type":"item","numeric-id":5191121,"id":"Q5191121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268815$941C9B8B-CEB7-48AC-A902-D6A49C8CBE38","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"054a793f4db247f743914914dff469b60445dfcc","datavalue":{"value":"journals/cca/AbrahamA0BBBCDE16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268815$B818377E-5EC3-4C2A-80FA-D64EF83D0752","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a36bcdbec53b28ff54fed20c23e9628defb678f","datavalue":{"value":{"entity-type":"item","numeric-id":2817292,"id":"Q2817292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad766116e4696ff6dd5878c62e5d3cbed471697d","datavalue":{"value":{"amount":"+0.907907485961914","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":"Q5268815$09083F6D-A5D1-4B10-B02D-79400D79AFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39499cf5b95be2c0c5eb3017e7a63d2e4441ca4d","datavalue":{"value":{"entity-type":"item","numeric-id":2307620,"id":"Q2307620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200dd6fa31850105e869f7d982c2d58df4051157","datavalue":{"value":{"amount":"+0.8182350397109985","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":"Q5268815$DF4C170E-2D45-4BFE-8384-EDE2CDC29154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5aca6e851f727799fa1c8a1da566872cdb1f1df","datavalue":{"value":{"entity-type":"item","numeric-id":2819729,"id":"Q2819729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2df8974c1c5c922d6876e2af2cd647698f8246b","datavalue":{"value":{"amount":"+0.8080027103424072","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":"Q5268815$7BD6146A-3E7E-4297-81A6-940907DF4B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650fb4121216a624ee646be9799d3418d3867838","datavalue":{"value":{"entity-type":"item","numeric-id":4571125,"id":"Q4571125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6e676ea161723d4ed0439c5acb526d9ddadeb3","datavalue":{"value":{"amount":"+0.7173110842704773","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":"Q5268815$E98C6160-CACB-405A-A3D8-8AF025FAF04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773a16eb821af62aeef0f8b676ac1158efeefebc","datavalue":{"value":{"entity-type":"item","numeric-id":3651277,"id":"Q3651277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac1c287ad2b9665374b92ff7be6bb4042311a29","datavalue":{"value":{"amount":"+0.683649480342865","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":"Q5268815$ACD69A4F-17B0-463A-BF09-E38FEB1513D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5268815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5268815"}}}}}