{"entities":{"Q2845519":{"pageid":2856239,"ns":120,"title":"Item:Q2845519","lastrevid":83491661,"modified":"2026-05-07T08:24:15Z","type":"item","id":"Q2845519","labels":{"en":{"language":"en","value":"Type inference for mobile ambients in Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203499"}},"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":"Q2845519$EC4F9333-0F01-4FFA-A60F-6DFDA83F7C80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"145f26b0fc91e06f8cce50afdcf17074eae2458f","datavalue":{"value":"1271.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845519$3E54FDED-218F-417A-8E14-3B3A78FB52A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa036ac71e4432af4595c2940a8c80a681ec2db2","datavalue":{"value":{"entity-type":"item","numeric-id":1105362,"id":"Q1105362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845519$7CBE2A32-8BDF-47C1-BC89-5D09A2F3EF8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845519$98F580B8-2ECD-4305-A89D-C55DBB4D3EB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70e91c59244159c918753a43179ff0781539103f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066103000148","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845519$73FD411A-9BD7-4799-8BD7-799DDB6D1469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845519$B4D42086-27A9-4FEB-9E9E-2FF6A6C2E8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845519$6D9E36FF-E878-408D-8E58-79C2F20760BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c7cebcac6e143cb3f9f553321fc2dea2755daae","datavalue":{"value":"6203499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845519$F18E4981-36E5-4CA7-958C-99E451DA9B0A","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":"Q2845519$0067161C-FC85-46C0-A99C-6ACBB0C8FA67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608e0e73fd9e819f3c3a8aa3e7b8f07c66e6d1f5","datavalue":{"value":{"entity-type":"item","numeric-id":1311964,"id":"Q1311964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b536e2300f76cd1102ac1cc235091c460ef09fbd","datavalue":{"value":{"amount":"+0.89689326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$768DF4F8-EC8E-42A4-8D14-AB78CD47541C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98c9f0310baec22b0a18250aec0ad201020f89f","datavalue":{"value":{"entity-type":"item","numeric-id":3819966,"id":"Q3819966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582b49b88812c32216c28cee6d5b8d4cfd454472","datavalue":{"value":{"amount":"+0.89240026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$247A44E6-DFCD-4E92-AC4B-05B355529CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6a824b96a9f3eb5731f9ac67a9c825d7e16268","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa6d0ee7053300e3b62642fc3b76d2cc65b24a8","datavalue":{"value":{"amount":"+0.87395966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$29C04BD3-5FE7-45B3-A92D-978535B353BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52463851021da6cc78864cd0661faacbfe458ed","datavalue":{"value":{"entity-type":"item","numeric-id":3795272,"id":"Q3795272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78415c83a0fd2bc2a596040f394723dc110a2eab","datavalue":{"value":{"amount":"+0.8683094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$C994109F-AFA4-4001-9EA6-971864C900C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228568055ffda0658da0fba8b76aef21d32e22d5","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27a7c5dc5f3a79c04430c8b2e8f82a6b9ca8730","datavalue":{"value":{"amount":"+0.86153185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$CE2B2FDE-415F-449A-83B9-75ABD00A1801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ef2c3392d4ff25aa252fc9aca6c70a40de4237","datavalue":{"value":{"entity-type":"item","numeric-id":2766785,"id":"Q2766785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f8b5ea34e1d3733c061005a175dbe56808a039","datavalue":{"value":{"amount":"+0.8602579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$10275D35-7A34-4404-AE4F-490A6D1BA190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652323ed4b9a2ac6dc470cefe32dfc44ceae902b","datavalue":{"value":{"entity-type":"item","numeric-id":1346766,"id":"Q1346766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d4e95b7c7078a3f6da01dd943ef9b43b68cecb","datavalue":{"value":{"amount":"+0.85880333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$C88D0756-FF73-426B-9D99-490B3AA99D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379dfd03691915d70bae84ad53634a8398273b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4499245,"id":"Q4499245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6cdf347c1d7994c9df8c15299d735a7e86073c","datavalue":{"value":{"amount":"+0.85071623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$D89A75E0-5314-485E-ABE4-CB576187080A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abb7d8da4152d4e4fb7facaeba6f740881e051d","datavalue":{"value":{"entity-type":"item","numeric-id":4327427,"id":"Q4327427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f318af03ebafe314881cdc27afa28f5a4ce79742","datavalue":{"value":{"amount":"+0.84902215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$E7F500C4-BBFA-475D-9BDF-8794F87414DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2b0528de9e2e135d1936e2583717a464a7756c","datavalue":{"value":{"entity-type":"item","numeric-id":3638242,"id":"Q3638242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d41a29db04765008344de9be618caf3d3a59ab","datavalue":{"value":{"amount":"+0.8454937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845519$526B9887-9BED-4D61-AE37-F6495561CA92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d5e4b11a9ba325a9bec949539c7ad9e019d5601","datavalue":{"value":{"text":"Type inference for mobile ambients in Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845519$3A42F0A3-3D9B-4FFF-BED4-8E4D8A7923D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference for mobile ambients in Prolog","badges":[]}}}}}