{"entities":{"Q6485885":{"pageid":14064543,"ns":120,"title":"Item:Q6485885","lastrevid":47792404,"modified":"2026-01-02T17:14:00Z","type":"item","id":"Q6485885","labels":{"en":{"language":"en","value":"A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636253"}},"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":"Q6485885$79CCDA7A-0571-449D-B9DD-DB579736FF95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8690f5a726ab2540bb315133b650b0e8353aa68","datavalue":{"value":{"text":"A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485885$7A147A84-FA57-47FC-9662-118505B70BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"803db0a30846bdd7752116341ee5a2ad61a639a6","datavalue":{"value":"10.1007/978-3-030-59152-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485885$FA167D53-D803-4D8F-A18F-E9E3719A2F6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$74A15139-8E74-4914-9775-B510713E566E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$D2D23386-E056-460A-BEDA-E1614A26C7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bbf974142c18733c3f5090cdccb04686d09f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2983943,"id":"Q2983943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$729AE6CD-FB77-47CA-BA12-BE49772B2AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b54846d35532ac277ed6f7cb476a067f5ac4349","datavalue":{"value":{"entity-type":"item","numeric-id":6485883,"id":"Q6485883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$C97F417B-F274-4EB6-AED9-133B9F92D234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$A0B24CE8-1228-41B2-89CF-D579BD7E0B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$EAF80B85-AEBC-41A7-A5E9-8FF289724269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$00ADFDCC-84F0-4A3B-91AD-5672E2F3D626","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e43e8c25bf18645d4be8526cf4a49c8ffe69b58e","datavalue":{"value":{"entity-type":"item","numeric-id":6485884,"id":"Q6485884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485885$5F59188B-35B2-43BD-8E50-52062DF68F7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485885$B899220C-91E1-4BEA-B83C-85D825763B87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485885$FCB0A399-745F-47D4-B6D5-656F5A3EC672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485885$35F723F4-BEC8-486E-950C-540CC3521AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485885$9C832A37-B929-4542-990D-E14BB207BD15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2b86fdbcec24c111c4dea30d28fc5ee9343b84","datavalue":{"value":"7636253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485885$2D5A3A2A-C1FA-4794-BF75-5EA2C7E339DD","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":"Q6485885$76D0B914-A8B9-48AE-B832-0B4ADF28A416","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd9873773214532083f4c6a1e1471626269058f","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a3fab1d6f65c2f459fd630188522f60de24246","datavalue":{"value":{"amount":"+0.8235489726066589","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":"Q6485885$614E0D26-E0D8-4B9D-B2E6-146C5567EAE5","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":"26e234bed571784217bf82ae1f5dc64f131d9094","datavalue":{"value":{"amount":"+0.7329869866371155","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":"Q6485885$E3CB3396-3095-4B87-908A-3E4F186D7602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31af5e63cceff5d7feab45098b2bf4826c77b98e","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bb31edb602427d7453a3be04a42d7af2275401","datavalue":{"value":{"amount":"+0.7324900031089783","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":"Q6485885$A44EB37F-C7E7-45C6-95CC-695BEF01E3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57801161d798face5f76eca6a2c219b5528d5e0a","datavalue":{"value":{"entity-type":"item","numeric-id":6166155,"id":"Q6166155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818278c4ba24ff0c471f80f0cb0a77c79d6c30b1","datavalue":{"value":{"amount":"+0.7219680547714233","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":"Q6485885$AE3E07FB-7B05-4C7E-965C-4B66551B51E6","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":"8e84261800ff0cac9270cef2f31f713a864800c9","datavalue":{"value":{"amount":"+0.717450737953186","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":"Q6485885$F6A8BE1B-D3F8-440E-8834-BC2AB9DB8D0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485885"}}}}}