{"entities":{"Q3617773":{"pageid":5647679,"ns":120,"title":"Item:Q3617773","lastrevid":50619008,"modified":"2026-01-14T14:24:59Z","type":"item","id":"Q3617773","labels":{"en":{"language":"en","value":"Satisfiability Procedures for Combination of Theories Sharing Integer Offsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535650"}},"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":"Q3617773$35B5AD8E-3BB2-4ACF-89B8-BBDBB438B773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e07c5d79556a162f4a860948594e9548377ba9ea","datavalue":{"value":{"text":"Satisfiability Procedures for Combination of Theories Sharing Integer Offsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617773$645523CC-E7A3-4607-A88D-BDA709E63D64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fda83f7a1330a72158971f683c9d6b559f69b13","datavalue":{"value":"1234.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617773$6718EE69-8642-4A4A-B0A8-39A9169FE611","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e65e8861e1d808538aaab76de7418c6abede4e4","datavalue":{"value":"10.1007/978-3-642-00768-2_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617773$26CC1ED1-EE61-4DE0-BA87-CA5DF4C02B93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e50528f45a8bb28ce09efe5389b579bf5ff46d","datavalue":{"value":{"entity-type":"item","numeric-id":438571,"id":"Q438571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$1801B08B-D48E-4631-901D-E8C65C1B8AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$C0D7FDB3-02CC-4755-ABF6-3CD5C6716444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$90B34AF7-0E04-41ED-9CB5-EB514D432960","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$87B35B44-F454-4343-87E4-45F1B87D2E51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617773$AA4955FE-9BF5-4441-9891-5FDAFC42EF04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617773$E4426AB6-4660-4A43-85B2-E417DEABDCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617773$0FBCB3E9-B88C-47AC-BFC8-835AB3129EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617773$BD6B9708-E3E3-4044-B2BC-B2312EABAEB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2381e63a36c475ec19f82be70d36767c92bff7ea","datavalue":{"value":"5535650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617773$93DD814E-A638-427C-B157-A8066870EB21","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":"Q3617773$A3A30301-246B-4BE5-8203-FB30CB628595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"648d46621bb5a60036ea6de813b1bcc54146f8ab","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00768-2_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617773$CEF07A6D-D0C9-4031-8C62-E9EFAB7D0491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e194716ff503b5262d6b062bc2f5b507e665c92f","datavalue":{"value":"W1539567407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617773$04315ABA-80CE-4773-B43B-9ED3D55ADEC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$BEF05E9D-3CC4-4302-9AC4-902B191D2675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$C94EC8F2-2C5D-40AD-8E26-46FC5A501363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6386f9d9d555cce966644dfe59274fe1062f77ec","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$C32C1DC9-EACF-4F82-92B2-4BABC60CDBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b0f81481964ce2c3959f44994546ec67aa5a63","datavalue":{"value":{"entity-type":"item","numeric-id":2432765,"id":"Q2432765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$3E0BE9DA-F994-4BFC-AD78-FF046B8ADEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$32ECA610-E93D-4100-86CB-CA9C11C2709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$5FC465B4-DB15-4BF2-B2A3-2760BCD00B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$94205D6A-3E62-49C7-82D5-7FE0CCFD1CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b46d5f65e8737cac806fe4f42d3b4d6ec963c54","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$9603AD14-D839-4923-8813-5413882B2771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52dda037eeb237cfe4f3f56e10e4e02077bc635f","datavalue":{"value":{"entity-type":"item","numeric-id":3525011,"id":"Q3525011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$31993326-586F-464E-89EB-4DD1F6E37620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf31db5eff704badf24a749933b64d7b604a12b3","datavalue":{"value":{"entity-type":"item","numeric-id":5277797,"id":"Q5277797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$DB53E1B8-47B1-45D3-8492-3D76E4778E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e331302460f2671e277662ed8e19531c3d3e65e","datavalue":{"value":{"entity-type":"item","numeric-id":5395131,"id":"Q5395131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$132B8F4C-97E6-4A30-9EB1-44A6B7CD8E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93c658de2d44ffa685be37c0ff9882760427828","datavalue":{"value":{"entity-type":"item","numeric-id":5758133,"id":"Q5758133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$1D89B73D-1687-4038-84F8-1CA7588EFDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0107293e5a161b96a51a1cd082064c48cc78da52","datavalue":{"value":{"entity-type":"item","numeric-id":3608782,"id":"Q3608782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$414EBCB6-8909-44F3-B1E7-5FD6F0C72703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$68D03E82-D165-49A5-A023-9E0A601AE26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f467290d322982de064d404f292416e1883719b4","datavalue":{"value":{"entity-type":"item","numeric-id":3084983,"id":"Q3084983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$3370AFFB-5284-4AA5-9993-00A283EEBE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$3CA299A5-4F38-4782-B675-DC9DA0AD943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617773$54CC6E61-0ECB-4648-B3E5-A4F64A5546BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b31fc71a6b23556d529814a409bb49f6e92fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f256b31dbee49d81617830f9dfe827b9f36f5318","datavalue":{"value":{"amount":"+0.8086678981781006","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":"Q3617773$6801060B-3FDD-429F-A297-3FFACA5A8577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ec514b9c2e158b54e2132228edad9c9392f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62365e1b7387a0bea687a60eae35369501489966","datavalue":{"value":{"amount":"+0.8074111938476562","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":"Q3617773$30814C19-1950-4C57-BCF8-0302B5A26924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64897cf9e7011c6f9fb9626035f5334d40e22842","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62365e1b7387a0bea687a60eae35369501489966","datavalue":{"value":{"amount":"+0.8074111938476562","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":"Q3617773$97379BBB-C1B1-41C5-A865-B344FD2F7435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b8c0aea220eff895cf591852ea91dcc3c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":3084983,"id":"Q3084983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d2528c4b6a3f13b805eec4846d0235aa3f2c1f","datavalue":{"value":{"amount":"+0.8057454228401184","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":"Q3617773$065557D7-C253-43B4-A968-8E63C81A137C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663aa1de8a6d978e2db16aaa337bd4bfbec378db","datavalue":{"value":{"entity-type":"item","numeric-id":2185458,"id":"Q2185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b50e8231ca8148c05117e29566c24595b341f5c","datavalue":{"value":{"amount":"+0.8030754327774048","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":"Q3617773$8373EFF7-031E-46C6-8FA8-E2BD84C28746","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617773"}}}}}