{"entities":{"Q1935778":{"pageid":1946520,"ns":120,"title":"Item:Q1935778","lastrevid":57605589,"modified":"2026-03-31T14:27:41Z","type":"item","id":"Q1935778","labels":{"en":{"language":"en","value":"Synthesis of sup-interpretations: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137327"}},"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":"Q1935778$8523F9B2-CDE8-4A04-9C75-8620D9373E72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49bd788491039e7f871030ecac8f403b41000b55","datavalue":{"value":{"text":"Synthesis of sup-interpretations: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935778$F47C8ACD-E5FE-465B-B210-BDB3B7A4FCEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"920a34d509d21cf1e400a801216c296f02450559","datavalue":{"value":"1282.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$45F3997C-69D9-4A1B-85F7-6F85B2620AC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fff50a7a9071a09e7be8e0564680a871ad9ef12","datavalue":{"value":{"entity-type":"item","numeric-id":1640982,"id":"Q1640982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935778$D4599A59-3B01-4B2D-8BC0-FAC5545E8722","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935778$06838BB1-7812-4484-B8DD-79C46271CB1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935778$EA0D845B-9CAD-4CF3-8DAC-9AC15F7FDD15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e7bafed097332c75566622ad6503313fbde6fd0","datavalue":{"value":"https://arxiv.org/abs/1210.7136","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935778$D55F1DED-082A-48E1-955F-E27DD54794BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$E273A6CD-82E3-4AE0-B0A1-E6F31290571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$79EBC9BE-F1CD-4AF4-BC7F-072660A2A4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$167B01A5-4556-44B4-A5BC-2121D3660D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$61F111B0-C243-41A9-87BB-89A30BA15609","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e35075ce3f9955eed9ff10709953d820a7cb4e81","datavalue":{"value":"6137327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$0E5E4203-1898-4382-9EF6-7906E6EC5048","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935778$57DA21B7-6827-450B-8318-B04C367EC437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935778$0153B24C-2FDE-420C-BD80-4D5607E83836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12246f414964f319322ed0fc29da38250615f820","datavalue":{"value":"resource upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935778$9734F608-D231-4E71-84FB-711F1B39D277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935778$07EEBBD2-78EE-4C37-9895-31BC64AB184C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"210a4c1a28c72738b44888a6a76c83ba96eebc2f","datavalue":{"value":"quasi-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935778$5BF1546C-CD31-4910-8146-683C2C69CFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f99a5fc678461be67cd3a1805f760de11045e5","datavalue":{"value":"sup-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935778$3DB627C5-8081-4A53-BB00-D10553DD564D","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":"Q1935778$3DA5FC38-635F-4E7A-A8C6-E51BBC3B7124","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9d14369e128b1fba3a4ddeb3603db5690b6abc1","datavalue":{"value":"W2070322713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$5E0FD5BB-2757-4976-A550-67EA7F87DE5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f64139613eeb03858300828ace35311f03eb28d5","datavalue":{"value":"10.1016/J.TCS.2012.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935778$C277A18A-3F01-40E6-A02C-750499861BF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42df91fe04cc83a79a4bc8667b0cec86ab2346fe","datavalue":{"value":{"entity-type":"item","numeric-id":4727402,"id":"Q4727402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03df2b77cc5151a09a23649da9376a31634c3b8a","datavalue":{"value":{"amount":"+0.825478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$051003D5-F594-458F-974B-CCAB143D24FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690c0eb7dca4cedb471e7eb89c84552618a217ef","datavalue":{"value":{"entity-type":"item","numeric-id":2946584,"id":"Q2946584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f133f230b52ea3dc69e83b644ac3f10f0926a6","datavalue":{"value":{"amount":"+0.8200447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$6528824A-D709-483A-B348-D03E41ED33BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85c524f097340ce16cd3c496dab32fd073a7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4681361,"id":"Q4681361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d384b897bed62c768b359d651376268550f6d4b","datavalue":{"value":{"amount":"+0.813614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$69523088-9C97-47C5-A483-3EBD82DF3D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c665e62eb40d6fcf85ed95dc42b92896916f9de1","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7569aa593f31f790dcaf8435724015444b9a045","datavalue":{"value":{"amount":"+0.8128052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$E8A23586-1B35-4B8E-9535-6A40850FAB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb185b34ef25095c94c11c4f36f4b1ad2ac9b17f","datavalue":{"value":{"entity-type":"item","numeric-id":2679580,"id":"Q2679580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6d7d14fcfce9678cc382fd5cdb1f9feda57f81","datavalue":{"value":{"amount":"+0.8018755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$3316B6F5-44C6-4CEA-9429-F97E7941545B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131e249397a382ca9b36773baf91eef8dd9836ce","datavalue":{"value":{"entity-type":"item","numeric-id":3764129,"id":"Q3764129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a70d58983f70e4548545dbc3de314e37e477a0e","datavalue":{"value":{"amount":"+0.80168235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$443E24CA-E686-42B2-9311-E3087A1BF4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e372e57ce013c6ac99ee11150252015ab83010","datavalue":{"value":{"entity-type":"item","numeric-id":795828,"id":"Q795828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86853feee7c2275dc1f844339626c8efaf4935c","datavalue":{"value":{"amount":"+0.8013501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$0E9F80C0-FDD5-4045-8782-06EB3A233134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a32b0157eeab19b7ecdcd2f484b3d8947828af","datavalue":{"value":{"entity-type":"item","numeric-id":1108988,"id":"Q1108988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1239271fe66a56ef1a6c3718bd0d1b9ba673c2fa","datavalue":{"value":{"amount":"+0.8002527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$05DCC2B2-4DF4-44E3-99E5-2490A66CE6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eff938f53355c8bfba80287cb8edd8719429de","datavalue":{"value":{"entity-type":"item","numeric-id":5381031,"id":"Q5381031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975a6abea2665ecde84692d38964f5e36c74dbdc","datavalue":{"value":{"amount":"+0.7975166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935778$B383F37A-E70F-4234-826D-85E332C7CB9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935778"}}}}}