{"entities":{"Q6154871":{"pageid":13289267,"ns":120,"title":"Item:Q6154871","lastrevid":56666526,"modified":"2026-03-18T14:08:43Z","type":"item","id":"Q6154871","labels":{"en":{"language":"en","value":"High-level abstractions for simplifying extended string constraints in SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805814"}},"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":"Q6154871$52FAFC9C-517A-481B-993F-07EB50E88F25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f146cb15fc460da1e98cf39358550d5e1f6f4a21","datavalue":{"value":{"text":"High-level abstractions for simplifying extended string constraints in SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154871$2A4C0931-BFF3-4E3E-839A-F7EECAD19642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4149e2236adec67a71a056ebe2ba9d5f122dcb6c","datavalue":{"value":"10.1007/978-3-030-25543-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154871$895AE3E7-4A1C-49C3-ACD2-3B4DB27D5B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154871$A31D470E-C434-4610-AC21-4F236EE95E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8ceba2af8407f73c1c8392c4b03430422efa49","datavalue":{"value":{"entity-type":"item","numeric-id":2096447,"id":"Q2096447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154871$F5268C79-8B78-4E96-9893-941B4B91938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154871$E6348843-0C0B-48A3-80B4-F510AED8D1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154871$F45A2B90-C664-4690-8B1C-FC92995378D5","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":"Q6154871$DFD1581A-848D-452F-9B85-A8101292EBFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154871$63E657FA-31BA-4636-A46F-351080F540F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154871$5835C277-ACA2-4728-AF15-0730290E3B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154871$13F9EB40-376F-4E3A-B26B-76395EF8F599","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b5d5d69656005cd9af7082bb6e09c5ca0ca8e62","datavalue":{"value":"7805814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154871$6682FC29-9E18-48A9-9F08-091857D59AF8","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":"Q6154871$C5D3175D-5F7D-490F-BA5E-E393021A05AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4cc2b03603c3f61e9103bb6343e920ee6ed9368","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154871$CCA38488-134C-44EE-BE66-B94669198F35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0935e8a986869b06f33e5353edb66e8aa7e7564","datavalue":{"value":"W2959755401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154871$199992D5-F9DD-4444-8B94-C6EA0B8BAF68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca659b72b15749ffe2242a2b0e45f945fb135e7a","datavalue":{"value":{"entity-type":"item","numeric-id":6487337,"id":"Q6487337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce0c749e93454e63d946d5b7407d7fc83c18b46","datavalue":{"value":{"amount":"+0.846268892288208","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":"Q6154871$EDEBE087-7C4E-4D3A-B866-CC1C168EC97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef22f9fa114e4387b275e4bdb3e00349e411201","datavalue":{"value":{"entity-type":"item","numeric-id":2164248,"id":"Q2164248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f0505df0303730d76cd00258e7c08a63da7ee6","datavalue":{"value":{"amount":"+0.8407872915267944","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":"Q6154871$C5E77861-2FBB-4A0E-9A5F-2B5D258A60F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3209740639b1b135de8c15c4ef5190cf0ea7fc","datavalue":{"value":{"amount":"+0.8288469314575195","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":"Q6154871$69DCB5BD-5434-4A83-839C-71FC5F737140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4670248cef2edf33b894dd003bc2d1fa172531be","datavalue":{"value":{"entity-type":"item","numeric-id":6535533,"id":"Q6535533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100d1c67d0872b70c735f2bcd576c4c884e8b4e0","datavalue":{"value":{"amount":"+0.8203522562980652","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":"Q6154871$550579BE-B0CE-4AD9-B896-4773A2837ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9d58c522eb3ae8e464ae76bc74118cda7d4a23","datavalue":{"value":{"entity-type":"item","numeric-id":1687536,"id":"Q1687536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52d7ff2fca5f7ea478a780d90dd2418c1c343b5","datavalue":{"value":{"amount":"+0.8008003830909729","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":"Q6154871$A18195CD-6618-44E2-8297-2EF5AD80F75B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154871$68A8665D-0D71-4C7E-877B-8FAB2ADE250B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154871"}}}}}