{"entities":{"Q5429314":{"pageid":7458888,"ns":120,"title":"Item:Q5429314","lastrevid":50224655,"modified":"2026-01-13T14:00:35Z","type":"item","id":"Q5429314","labels":{"en":{"language":"en","value":"A Tutorial on Satisfiability Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216210"}},"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":"Q5429314$29561DA1-3B5C-4515-8775-E991BAB288E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f666d2714337a39ce2205c05797b810155cd05","datavalue":{"value":{"text":"A Tutorial on Satisfiability Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429314$13634EB9-A65E-4B5E-9EBE-594A4E0FBEE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41670c247f057c2f72a1b08aab9a0b3a94301ade","datavalue":{"value":"1135.68563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429314$BB5F67F7-AE8F-4AAE-9CAE-9550DB63450C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e027438c8df2a8ef7b89071192056c36df6f6bd","datavalue":{"value":"10.1007/978-3-540-73368-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429314$0184F1B2-8343-4B26-AE79-06AB14868291","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$B2C4A2A0-C964-4015-84D1-14D21CE5F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51678fc635b6d13e5bfb50dff43810a3a02420a6","datavalue":{"value":{"entity-type":"item","numeric-id":832267,"id":"Q832267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$1CFAB43C-0FF2-47BA-929E-E1B93F3D6E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$4F93DF5F-4187-4BF3-99DD-605F9323C776","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$61C139C9-94E2-4592-A4F5-14A71BFB0D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-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":"Q5429314$6DBDB2E2-1A26-49F8-85E3-36AA9760DFBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429314$9213B621-3273-4DBD-AA29-7D792DB564A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429314$E1BCF327-ED50-47EA-94C9-59264A8D9FA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8ecb3623ed89fa50ad293566acd77ae49f89180","datavalue":{"value":"5216210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429314$FE3D0CC5-500A-4148-90D2-29AEF4F94BBC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$2B429BFA-538B-4415-A00C-8C4C80D90886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$33DE0CE0-3024-4F06-8162-BDFA1FF02FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$0C7375C2-E8D3-4209-A99F-E7772289DEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$6D370AAE-27AA-460C-9FA5-946F6AF02497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$58CB4992-C959-4D40-AAC9-51AA7CFFF186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429314$7E068274-F894-4A2F-A677-E5C92D8E43EB","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":"Q5429314$265C4370-487C-4F92-A243-3FA67799575E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9aaa2d9149a8a68a150b914e0e211fe5b314509","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429314$6C6E01F6-34AC-4712-BA00-C146B1AB724C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65b548552bbfc3188e21cd9a73f2c95865733474","datavalue":{"value":"W1559793414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429314$45986051-27E3-4DA8-B1CB-52BF13F7DE8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e8fea926fc11f7893ebb52f2d55bc5987977c5","datavalue":{"value":{"amount":"+0.8998118042945862","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":"Q5429314$0DE7E4E5-8101-4194-9ED1-FAD3393E8DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e94419e39790b07d7a21b4a0819717731139af9","datavalue":{"value":{"amount":"+0.8923906683921814","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":"Q5429314$E7090709-61D1-4690-9132-7CB50D6E44F6","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":"1d1f7151ec282e9141870815ceaa3d0d85e6d23f","datavalue":{"value":{"amount":"+0.88369220495224","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":"Q5429314$987E4A6A-D7B1-45EA-8F6A-DA5A41584410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f15561f93c2dd61dd775bad2c96368cc553e1f","datavalue":{"value":{"amount":"+0.8695756793022156","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":"Q5429314$C14B9F1B-B1AC-438A-8ABE-C8CAD858812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10ee01b04bf937ea18106e6d39f383b6936577b","datavalue":{"value":{"entity-type":"item","numeric-id":4931590,"id":"Q4931590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e67afef7ad8181d4446abf608aeb8054b08d220","datavalue":{"value":{"amount":"+0.857888400554657","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":"Q5429314$0A6C995C-DEE2-4393-94D8-787B68F8DDB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429314"}}}}}