{"entities":{"Q1948983":{"pageid":1959725,"ns":120,"title":"Item:Q1948983","lastrevid":71977848,"modified":"2026-04-14T01:49:50Z","type":"item","id":"Q1948983","labels":{"en":{"language":"en","value":"MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23--26, 2001."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6157527"}},"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":"Q1948983$1ECED505-8281-4389-A398-BD1779C18F27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c570e761f078f00fba12acca6803c047dbe996f5","datavalue":{"value":{"text":"MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23--26, 2001.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1948983$03923E95-B876-40A1-895E-8E0E036EDED9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef48956bbed32b3fa04759b1253d87c253e3cea0","datavalue":{"value":"1260.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948983$FD9A7B08-4778-4AD0-9F94-6F97F7EFAA3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948983$BDF9DE98-0410-4CC0-9E15-3FFB1C1581C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e22cd10f75079bae462a3019fa2a53db99ba9117","datavalue":{"value":{"time":"+2013-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1948983$DD76F553-FA2C-443D-93BC-E9CDEC6F1701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3581e33ee91d5298058ad4a1194dd09917eb40ef","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/45","type":"string"},"datatype":"url"},"type":"statement","id":"Q1948983$FB3D3F10-9708-4DAF-AACD-132C69068BFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948983$7061ADB0-B2CA-433E-BA05-18E18C4FFD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948983$A02C4A05-D7BE-4C5D-AC1F-68AB0C2DC5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948983$5E938A9A-84E9-47C0-8810-A69977F1B639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948983$26FDB012-0A6E-4D66-9BBC-BB9F221E6F2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb9541ede8fd55ed0b22e64da148416c1e228c33","datavalue":{"value":"6157527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948983$74EE2FD5-56AD-4FB2-B64A-65A2DA3D8223","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":"Q1948983$45183EF6-5329-4015-9630-D0FA4F373590","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0194f5a6db8111da3847371269ca4e72d814faaa","datavalue":{"value":{"entity-type":"item","numeric-id":371385,"id":"Q371385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6618f1532dcf060364112cab92258ace44727974","datavalue":{"value":{"amount":"+0.91492116","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":"Q1948983$DE6F9DA7-E19F-4834-A658-D999B0A86371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38370482547dbff687bd503ff6a66af94d7e6058","datavalue":{"value":{"entity-type":"item","numeric-id":2637336,"id":"Q2637336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108bae0b544c9d04f0e549a4668ab74ee86c2c7a","datavalue":{"value":{"amount":"+0.90792555","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":"Q1948983$EE4153B7-ABFC-4B2D-A7CA-8147CB6212FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341c82b384550756af8429e9632f068979ac104b","datavalue":{"value":{"entity-type":"item","numeric-id":1273557,"id":"Q1273557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a964f29893576575684c0ea8646038ac4e852de5","datavalue":{"value":{"amount":"+0.9044766","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":"Q1948983$4B498BED-9969-4115-B5D2-E75CFCC0C86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4986b6008311e4661817b983926ed6452c426f88","datavalue":{"value":{"entity-type":"item","numeric-id":1273550,"id":"Q1273550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b2e22476a0968ad0b00df0586afc3ecd7f2795","datavalue":{"value":{"amount":"+0.9027939","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":"Q1948983$C243381F-151C-408B-B0DB-9E08FE1F21AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a3fc9042ddb43eaccf118aaf7d4e709cbe2090","datavalue":{"value":{"entity-type":"item","numeric-id":373626,"id":"Q373626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b59baabc6052ad56fd619d6932d98538820bc56","datavalue":{"value":{"amount":"+0.90063727","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":"Q1948983$725AE6CE-0173-42A3-A1D3-554D10A2ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01417de71c10c8aa33402f359f2d81c57e9a8f43","datavalue":{"value":{"entity-type":"item","numeric-id":372326,"id":"Q372326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62de5b64951f346f46dad921e8ff2c920ed1c6ce","datavalue":{"value":{"amount":"+0.89965683","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":"Q1948983$BB49C86F-2980-4BAD-ABBF-B0D921BC9705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ac113a65d09cebcadfa447a8f93bb70a510285","datavalue":{"value":{"entity-type":"item","numeric-id":389017,"id":"Q389017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee69dbedc0d43782737b68eab1eaa8934445b4b4","datavalue":{"value":{"amount":"+0.8973842","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":"Q1948983$4699AC1E-06A0-4BDF-8B87-2381DDEB418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca18425b1d3be4722f69847f367d5a3d98a45399","datavalue":{"value":{"entity-type":"item","numeric-id":2629519,"id":"Q2629519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65a4b56f6bfe0552dadce9cd975e7686a123e66","datavalue":{"value":{"amount":"+0.8957065","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":"Q1948983$D1AAD323-7205-4315-9AEF-A7DA2E2F8B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748d4ec38b39ac75e33031d6f0bc99b92934f151","datavalue":{"value":{"entity-type":"item","numeric-id":2435193,"id":"Q2435193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694c8b6404c23492c81fc35fe672e98858024d7e","datavalue":{"value":{"amount":"+0.8953706","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":"Q1948983$60BA5468-E7A8-4808-A123-B3067726F8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a50e59e180c80393b24373db314dabceae7010e","datavalue":{"value":{"entity-type":"item","numeric-id":1851390,"id":"Q1851390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e60af51452f63b438ba16199594f3a9e18e187","datavalue":{"value":{"amount":"+0.8948376","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":"Q1948983$F7571F36-2B0C-404F-8C2E-C50578838FBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23--26, 2001.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MFPS_2001._Papers_from_the_17th_conference_on_the_mathematical_foundations_of_programming_semantics,_Aarhus_University,_Aarhus,_Denmark,_May_23--26,_2001."}}}}}