{"entities":{"Q1398673":{"pageid":1409413,"ns":120,"title":"Item:Q1398673","lastrevid":70331544,"modified":"2026-04-13T14:03:32Z","type":"item","id":"Q1398673","labels":{"en":{"language":"en","value":"Abstract interpretation of mobile ambients."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1961601"}},"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":"Q1398673$E0853395-F1DF-4236-86FD-2C3F2A8D2C47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"601e210094b7d97f9a3d0a86b0cbd20608f3af56","datavalue":{"value":{"text":"Abstract interpretation of mobile ambients.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398673$BC3D5D16-E275-4611-AFC5-7DB33619E601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61e32bfc19de222cb1994b295f4415db9a2706ea","datavalue":{"value":"1047.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398673$98C7EDD9-38D5-47A7-B3AA-D9880E97470A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"323d20ac61b4cf0aa736fee275967fd7a521628d","datavalue":{"value":"10.1016/S0167-6423(02)00131-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398673$E8FD136B-91A8-4B7F-92A1-FD5DEE3BCE65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398673$3D27AEFD-C456-4989-B402-F96F12C9448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a79f55d4de7d71bb4ffb5333a5d009d1cab68942","datavalue":{"value":{"entity-type":"item","numeric-id":964493,"id":"Q964493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398673$B4FD582F-50F4-4C47-8500-4407D9ECE936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398673$D09580EA-3019-4CA8-9F2D-05C6F351F89A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398673$901D4FF5-AC2A-4404-9C2C-05D83520AA8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8675d4e82e5e7ab948eb20cb416d2e93a38ea5aa","datavalue":{"value":{"time":"+2003-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398673$D51A6D92-124A-4B47-A49C-E6EB8304144D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398673$00C9A74A-7772-4570-B07F-513918BC6125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398673$2D3DA6E3-C4AE-4CF0-8A46-5B7E5A4BB06F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8142df45e932512ecca7e1c143045c8d219b7eea","datavalue":{"value":"1961601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398673$86D1D16C-182D-46A9-921D-37D02D484006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97a5a7f1ed2791744d3b861054eb35b69bb720f","datavalue":{"value":"constraint-based formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398673$6CD85440-278B-4814-904D-63F9D4A9E9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db53fabbfd42418de9bca1278253ead9a3d35c73","datavalue":{"value":"object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398673$A962231E-4ACB-4613-992B-355CF754A9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"373ae8a92dd7f60bcd748f53e3a1c8b890713df4","datavalue":{"value":"ambient calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398673$EBAA87A9-3427-42E7-AB86-711AD8C8F5EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d44691d19a357defe8e9b8d25bdbafcaed2138c","datavalue":{"value":"Q59416358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398673$B7973CC2-0F6C-430D-8A34-0D553902D9BB","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":"Q1398673$CECD4D13-F373-4F0A-A842-EEBADE454685","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ec176e9df2f1267e837b30009115806cad0be0","datavalue":{"value":{"entity-type":"item","numeric-id":4494378,"id":"Q4494378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86654870aefe0f5cff21b59622f4ee84e5430e7f","datavalue":{"value":{"amount":"+0.9724425077438354","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":"Q1398673$120BD672-FFFA-4886-8908-E65A8099943C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245d19e50588106054fb001912e9e6189f34adc2","datavalue":{"value":{"entity-type":"item","numeric-id":2729057,"id":"Q2729057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86654870aefe0f5cff21b59622f4ee84e5430e7f","datavalue":{"value":{"amount":"+0.9724425077438354","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":"Q1398673$053DB192-60C7-4F0F-AD8A-84C1EADDEBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f32bf2353fd01097ff4592b9f496340936832eb","datavalue":{"value":{"entity-type":"item","numeric-id":1887169,"id":"Q1887169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b2fe42144d793953ede7c420f4bdbc1f1ff391","datavalue":{"value":{"amount":"+0.8625264167785645","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":"Q1398673$D34966B5-2CA4-4CF7-AD26-9541A4DD802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090e9ef9d9a04f42f58471f536e147ef82034e18","datavalue":{"value":{"entity-type":"item","numeric-id":4778709,"id":"Q4778709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb3fc6715b70b8baead32b5193240eec31fc91a","datavalue":{"value":{"amount":"+0.8510650396347046","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":"Q1398673$58D5DD09-41D1-4840-85BE-12834F46B9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a574ea62d90a48664d1dd40c6f4245b177c8efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4778710,"id":"Q4778710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c7c2e6312b6edb94dca062a9070b68a2217bdb","datavalue":{"value":{"amount":"+0.8460811972618103","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":"Q1398673$3407ADAF-5539-4204-9880-25EC208BD67D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation of mobile ambients.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_interpretation_of_mobile_ambients."}}}}}