{"entities":{"Q6536285":{"pageid":14147428,"ns":120,"title":"Item:Q6536285","lastrevid":55636687,"modified":"2026-02-17T20:08:05Z","type":"item","id":"Q6536285","labels":{"en":{"language":"en","value":"Language inclusion algorithms as complete abstract interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834937"}},"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":"Q6536285$595B70FA-41FE-433F-A537-8B8BB9BE81BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d4d373e3a98704449169d64a242bd95932e37a9","datavalue":{"value":{"text":"Language inclusion algorithms as complete abstract interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536285$80F61418-9AAA-4786-A25E-0A4E476CF644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad59a6e6ae50b4ac7b2f4eea50361520a2c0add3","datavalue":{"value":"1539.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536285$4BC6E7C9-9510-4892-B15E-05F9E698FD55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4ae36c3a7f8e4949f814406607f28fa1b58e272","datavalue":{"value":"10.1007/978-3-030-32304-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536285$EB522EA6-F783-4F94-8AA1-F2C8E9090023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$DB55B28F-8242-47C0-B435-1E40CBF95617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$90AB1D3C-1AEC-4293-8A60-04E73F8D2AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2614e592c8051901165310efa57dc95bbd22aff","datavalue":{"value":{"entity-type":"item","numeric-id":5025070,"id":"Q5025070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$CC761A40-AA3C-4DCF-9744-139444B3896C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-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":"Q6536285$FCEDFD03-B13A-44BB-8EE1-CEAF548F4115","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536285$A63E6A05-194D-4205-8123-9DA7AB03F5AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e4d9ed1ae5c2f313a76289bb79a365d6129ef14","datavalue":{"value":"7834937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536285$ECD9F74E-F44C-4A28-A3F8-11CF274F86DC","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":"Q6536285$0E8CBD8D-D1EF-4FB1-B42F-DE2BFD2CA0CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25be017f34f91bcb664bf55b0c7478941a69890c","datavalue":{"value":{"entity-type":"item","numeric-id":5145290,"id":"Q5145290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$D222DB3C-C0B2-4133-9BD1-5564AB5F3FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$7740C4C2-9BD1-435B-B004-1234481CD5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830be22a6e3b7250ff86f56fa3d9f66fedf932f3","datavalue":{"value":{"entity-type":"item","numeric-id":1338899,"id":"Q1338899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$1F67B628-28DC-4E5F-B57A-6898D456399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$DC3E625F-B6B1-4B51-92F0-37D481D1CCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5426167c36bf53d870bf29cf50b30925d1c9562","datavalue":{"value":{"entity-type":"item","numeric-id":759489,"id":"Q759489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$675F6378-F2FB-4BA9-A016-797FA6E70281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a30453a775b46978e93ca5186db1ed21bc7b55b","datavalue":{"value":{"entity-type":"item","numeric-id":1733101,"id":"Q1733101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$F9BD7E6B-C09F-4191-B178-3B0C84EE8B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$AA21D6FD-4574-4AEA-8A4B-D5BA3F9A9B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$B1772699-9866-4124-8FF9-CF3A024055F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$6D9D95C4-6132-4767-9132-DDAC62CEF6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87378cdd3cc135f2041d2ad35520957c305d0bba","datavalue":{"value":{"entity-type":"item","numeric-id":2636512,"id":"Q2636512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$B16925B0-FA55-4CE3-9171-CDAB0A8C08C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8795567736b282508a429ed713f0cc5b3f2a804a","datavalue":{"value":{"entity-type":"item","numeric-id":1970202,"id":"Q1970202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$89EF4C8B-C6B1-4E46-B191-753EFC595E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be40b4c67de5ab978f49a9d78fa540049976ba35","datavalue":{"value":{"entity-type":"item","numeric-id":4005203,"id":"Q4005203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$DE66381D-FEBA-4A1C-8D81-02003F0D2FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23dd09b34431912a34567e093b62831e56e9dad1","datavalue":{"value":{"entity-type":"item","numeric-id":1882913,"id":"Q1882913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$068AFCAD-46D9-4C27-A35E-73FDEB11CBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$036DC6E3-18D3-4F53-B93C-F0CD4E9A4DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3f6ea60ed5c8d69e797c36908a452fc4bbee3e","datavalue":{"value":{"entity-type":"item","numeric-id":2926636,"id":"Q2926636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$2117DABD-C106-4710-BCED-2CA0071901DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b615863cbfd4128debee77681eb7ea5577ce21","datavalue":{"value":{"entity-type":"item","numeric-id":5735559,"id":"Q5735559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536285$293C12FD-51FA-4B78-94AA-820242887ED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d97292f64e26b882aceb12aab016c7d7523de9f","datavalue":{"value":{"entity-type":"item","numeric-id":5056350,"id":"Q5056350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9548b98fbefb17538cafb980958600bf8fe04f3","datavalue":{"value":{"amount":"+0.9737429618835448","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":"Q6536285$ECF636DD-A3AC-4FB8-B456-0BD404314B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d166e5e111d27fec22b2633dbe072472bbd0680","datavalue":{"value":{"entity-type":"item","numeric-id":6487332,"id":"Q6487332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041f4e862f5610262fc65875973da0ca10dbbb13","datavalue":{"value":{"amount":"+0.783202588558197","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":"Q6536285$CC7B02F2-33EC-4581-AA5E-370CA6279408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27182ee5fd8e19b0392454b276ede9529cadceb4","datavalue":{"value":{"entity-type":"item","numeric-id":6535360,"id":"Q6535360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58696815e223c6c60f8d945a37a1ab2be931a950","datavalue":{"value":{"amount":"+0.7530688047409058","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":"Q6536285$CCC5979D-B661-4A01-99BF-546E3C727149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8ea813c6d23689e4ed54e47cca2ffeffeb519b","datavalue":{"value":{"entity-type":"item","numeric-id":5919243,"id":"Q5919243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b101de4bf8653b6a63ca2f7ef71ff0ec905685e7","datavalue":{"value":{"amount":"+0.727531909942627","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":"Q6536285$5E42E0BD-BB2E-4DFA-9262-8461C263EF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fadecc69d4fb9f7de0afa4e41cf4924274dfd31","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1174c8305fd7c8570ce98297192fe70acd92c453","datavalue":{"value":{"amount":"+0.7250995635986328","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":"Q6536285$31DD8176-F9CF-40A6-A738-7C8749B3F71E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536285"}}}}}