{"entities":{"Q2038090":{"pageid":2048832,"ns":120,"title":"Item:Q2038090","lastrevid":54041966,"modified":"2026-01-26T03:46:06Z","type":"item","id":"Q2038090","labels":{"en":{"language":"en","value":"A symbolic algorithm for the case-split rule in string constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370104"}},"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":"Q2038090$FB709287-D0F0-420F-AB85-0F44A16F6BD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c38e414ea93ba0ebab67fd303ce5a2698978830","datavalue":{"value":{"text":"A symbolic algorithm for the case-split rule in string constraint solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038090$B313A943-1562-4C16-B34B-C03FA5C404D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f7151f0fe1768c572331a822b1b08fc0bbbefa4","datavalue":{"value":"1476.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038090$A802FA06-D1AD-4B4A-B0F8-00EE35EFC2DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7195ca4eaaf495dd875e68f02a018e24c88b1491","datavalue":{"value":"10.1007/978-3-030-64437-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038090$EA54216B-D814-4AC7-B0A3-767B8574A301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038090$8885AD74-0102-4919-97C6-86AC2F8FA6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27fd7f8ac9d02e546743864814989ba04fcab120","datavalue":{"value":{"entity-type":"item","numeric-id":2038089,"id":"Q2038089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038090$8E09C44F-EC8E-44F0-8D3E-F2FD0EE37B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038090$B3FE9730-090F-4A2B-872A-59257BBFCE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df2d49a710f5b21adfbbe3b8775543132e5a670","datavalue":{"value":{"entity-type":"item","numeric-id":282104,"id":"Q282104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038090$EAFD9C15-CE2A-4412-8566-3E080A2C39BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038090$CA2F768E-FEF1-4E43-9A7C-03D9B14FA54B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038090$C33A9859-D1A8-41AA-BF1D-D056C54AE911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038090$93B7CB6A-1F19-463C-8F04-F3086052FBAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d83aae4f933027473748076e3f2c093bfb081122","datavalue":{"value":"7370104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038090$6B7A1819-9019-4434-AEFE-8CE876C4B210","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":"Q2038090$7AABC54D-8F9F-4E93-BB43-C155DA940CB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8961ec38c34023b14749a4af7e0ee6aadd4e3b55","datavalue":{"value":"https://doi.org/10.1007/978-3-030-64437-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038090$5FC93D4E-5F90-476D-87BE-8D1EFAA55B5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dea75d8c70a40db6bdf849156d61817e6bd038eb","datavalue":{"value":"W3108905228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038090$D3734000-0554-4F02-B658-15DB5041840F","rank":"normal"}],"P1643":[{"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":"64b95f003d8de63acee9fadfa11c83060780e0de","datavalue":{"value":{"amount":"+0.7555658221244812","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":"Q2038090$69978752-E3B4-4F42-AE6E-406BEE66389A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0661bb8afb793b8d790ffe632fdd1f9ae496d","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0861f01b40d2d61dc4313c8ebdf0a4ecfe1d80","datavalue":{"value":{"amount":"+0.7463304996490479","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":"Q2038090$FFBC1A8A-4DA9-483E-84C4-CACFEEA611D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094c88d03a598347d4c045c01fcc76beff211ce","datavalue":{"value":{"entity-type":"item","numeric-id":526767,"id":"Q526767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69075719d6aa9e409ddeca42593823da7660a7af","datavalue":{"value":{"amount":"+0.745947003364563","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":"Q2038090$F3D0D305-C90F-4B79-9308-FB5052BB13F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19196d868b24766d5e4721a7fdb6c18d42baa92","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740fc6a69b64ffed5bc6bfa73909c60ebb8f2bf1","datavalue":{"value":{"amount":"+0.7381662130355835","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":"Q2038090$1D66C7B5-1899-4F1B-B26D-AACE44AF71C9","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":"fbfdc813dc63af0e5177ec693275b8e4ac40e6a0","datavalue":{"value":{"amount":"+0.7294698357582092","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":"Q2038090$639B9662-90C2-49A4-94AB-B105D885C638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038090"}}}}}