{"entities":{"Q2819729":{"pageid":2830467,"ns":120,"title":"Item:Q2819729","lastrevid":52631174,"modified":"2026-01-23T03:47:26Z","type":"item","id":"Q2819729","labels":{"en":{"language":"en","value":"Building bridges between symbolic computation and satisfiability checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631235"}},"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":"Q2819729$C79FF8AD-FA6C-426A-8CDF-4A9DF9FA5D47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"803e53979dd78f419068730ca08368e62ab467be","datavalue":{"value":"1345.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$9A1EC020-BCC4-4A66-82CD-3E9052780FB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53622c2891dd2b8179869883c6deddfc2e6a2856","datavalue":{"value":"10.1145/2755996.2756636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$3803C4EB-718E-4455-A618-7131A55B5914","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":"Q2819729$49E35460-FC0E-4A0C-A075-208291AAC51E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6d05f28cfda01a944704573740d16c53a137c2","datavalue":{"value":{"entity-type":"item","numeric-id":2819728,"id":"Q2819728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$56A01117-FBAF-4AED-AF72-E9E453593558","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819729$20D0B8BF-12B1-4B40-8F28-362653687D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$492FA296-E83F-4A29-8689-5EA448554623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$A9DB377D-2B17-4EB1-A513-A66F62B7D3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$D47A966A-F89D-47D5-B910-F67765096DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd3c4115dd06b5092f558f0e3c62900ddb85809d","datavalue":{"value":"6631235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$A7CCAE54-B2DD-44E7-BFE4-93CD5DA583AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819729$F3F4B0ED-5C0C-4E3F-A49C-F53BDDF43DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819729$DAE25D9D-4F43-481C-BE64-78295C70785E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819729$2FEFAFB7-E592-448D-801C-7A5081F570FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$69062FFB-D32A-498D-B0EF-E1567F0D8ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e1033bec80d42a8646b3b59bc2de5ff09977e68","datavalue":{"value":{"entity-type":"item","numeric-id":40393,"id":"Q40393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$E313D3D8-E396-4A90-AA55-9A8F32805040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$9F19972D-845A-4323-843C-9F63ADC333ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$279288C7-1C78-429F-974D-F880064F0698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$A028797C-90BE-4D79-AC7D-16B214023504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$166E0AE1-3BD9-42EB-A972-4070007D1095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5df14ee9c6f65085bdee53a419634b2235aa5c43","datavalue":{"value":{"entity-type":"item","numeric-id":19326,"id":"Q19326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$5CD1B76D-0C67-4F10-8CF2-253A3214900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$0FE86809-CF97-42A7-BD41-AF0C40EE5DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f22790b7d685d2c32362b8971015fd7b35add539","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819729$F10E50A0-B142-47B2-AA16-21B86173EA15","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":"Q2819729$33003613-ECC4-4DDA-80B7-0FFC72BF59CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32f3cf5b5878e84a76cc26f48c5897c78ceaed64","datavalue":{"value":"https://doi.org/10.1145/2755996.2756636","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819729$09EF665F-BA42-42EB-98CE-E3CCACA78BCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfc8653f791ab18045c6e6ce479a767c6f517e65","datavalue":{"value":"W2065429593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$2DBBA7B0-7136-44E8-9D36-9C2B94A472EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84b3933d8a7e5f6f236a8d4cd5b090163331e6a7","datavalue":{"value":"Q131115972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819729$DC3E05C1-4267-432C-8D52-C6FC7331FA83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"166faf44a2cb3dfc70bc9eec3a4bdd4e81bbcfba","datavalue":{"value":{"text":"Building bridges between symbolic computation and satisfiability checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819729$E21F216C-8F1F-429C-8892-8B95A4F06FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0810148c40a92c990df16da2d5e65d93968d96","datavalue":{"value":{"entity-type":"item","numeric-id":5268815,"id":"Q5268815"},"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":"Q2819729$2A6187F9-F3B8-4D4F-B2A6-8D79D64D135D","rank":"normal"},{"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":"b21fe537bf94fd9ee2b365a8d7dddd0574a17154","datavalue":{"value":{"amount":"+0.8042575716972351","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":"Q2819729$4E821BB4-AC53-4A3F-9C35-D1F335DB6189","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":"07e1b327cd6f8673fa1ccf76106d6b2e443476f5","datavalue":{"value":{"amount":"+0.7965006232261658","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":"Q2819729$B8DAC6B1-63FE-407C-924A-977E125EA221","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":"fe7586aaef438e515a7a8377fee1daa5c72eca62","datavalue":{"value":{"amount":"+0.7918061017990112","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":"Q2819729$98DC421E-D186-4AF5-A56D-C6C0F108984F","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":"af188464a6ea8a759738155e789306631ab947d5","datavalue":{"value":{"amount":"+0.7882658243179321","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":"Q2819729$0CBE27DE-99F4-40A2-B915-9F49BAB86528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819729"}}}}}