{"entities":{"Q371385":{"pageid":373152,"ns":120,"title":"Item:Q371385","lastrevid":61416927,"modified":"2026-04-10T23:14:30Z","type":"item","id":"Q371385","labels":{"en":{"language":"en","value":"Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18--21, 2005"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213284"}},"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":"Q371385$B67A591A-FAEA-4049-8255-1325929FFDF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75300c397f7ac393e39db58ecc767753979054d0","datavalue":{"value":{"text":"Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18--21, 2005","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q371385$420E43C5-56E7-4E76-9BEC-81BD8015485E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd715b9471d1eac26cf99a2b42f70d96a84e89a4","datavalue":{"value":"1272.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q371385$FD8AEDA3-6767-40CE-A8DD-CADCE8CE8B3B","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":"Q371385$DA12E1D8-7F36-45B5-A742-70453504E120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q371385$7405D02E-8AE7-4D45-9535-6E019B463F82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96a52e638436aaacc3e3f97c7b3353f32eb877ba","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/155","type":"string"},"datatype":"url"},"type":"statement","id":"Q371385$7A31D670-0006-4E4C-B7C2-6A2DB9FF2134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q371385$8BD96269-5DEE-4C29-8736-0A8EBA4EF536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q371385$0D5DF46F-F377-40B1-AB69-B7361F3E8CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q371385$50A67719-6AF0-4EE8-9DA4-3F1D6B788D0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eef15a1fde9d32bf55be012843b4f2888ceed88","datavalue":{"value":"6213284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q371385$77DC57B1-777D-4255-9C11-9FFBFF1D7C7B","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":"Q371385$C60B6AAF-83BF-42F5-971B-DDF5E65C736F","rank":"normal"}],"P1643":[{"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":"16644888acba104cce5008f4e849076d526c8b42","datavalue":{"value":{"amount":"+0.9542049","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":"Q371385$294703DF-E24E-4381-AEBD-FC362232492E","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":"29e88a00516bd4d2775268cf0fe530c3a10c4796","datavalue":{"value":{"amount":"+0.95291114","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":"Q371385$6B1ADE53-C341-4BE7-852F-F8D77C0D1350","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":"c35ee6b3a5713f5b060fd0ac66ec8c98e36f576e","datavalue":{"value":{"amount":"+0.94931054","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":"Q371385$BFAB71B9-28B4-4E4E-911C-7D0E62846F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0876b76de041182302efd3d862a78bf69a2d9f","datavalue":{"value":{"entity-type":"item","numeric-id":2637340,"id":"Q2637340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba70a8832dd1a91047569059d7efb4d7daeb5e2c","datavalue":{"value":{"amount":"+0.9483995","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":"Q371385$A005F002-1895-4341-9ABD-900442F12A32","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":"9250981f2d5f69d856eb9dee87ea8bf012ca5955","datavalue":{"value":{"amount":"+0.94712085","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":"Q371385$7EED1E9C-CE55-4651-97A2-BB80A7D39FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e77b8b721a65c6cf513c4be9d56f2ff7b35f1c","datavalue":{"value":{"entity-type":"item","numeric-id":2282336,"id":"Q2282336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33a566eb8c8b734ba22db8a892c2b6a6069ec83","datavalue":{"value":{"amount":"+0.9459523","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":"Q371385$51BCB268-4BE1-4EAC-99FA-95E85A8E4B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede787a1adc092a4d0d2a4fa02fb417eccb6c961","datavalue":{"value":{"entity-type":"item","numeric-id":727871,"id":"Q727871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7677c1478c52cec46e4d092027652a8ce9071f1b","datavalue":{"value":{"amount":"+0.94135755","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":"Q371385$7FCCD74F-3FA5-4DAA-A2E4-84C24953CE60","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":"3284f05229cd97b396ad323f9bb387254a7f04e6","datavalue":{"value":{"amount":"+0.94018435","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":"Q371385$DC03C5F9-35D8-4E0D-B1E0-62F6F464953D","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":"59eb14f27f989ae566baec197fdd0c765732e192","datavalue":{"value":{"amount":"+0.939971","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":"Q371385$F033ABE1-2C1C-4DAC-9603-3492C9450240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de3aa8142adc19e5452d2ab33efd646d4e6d8f2","datavalue":{"value":{"entity-type":"item","numeric-id":898308,"id":"Q898308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91649baee2055c55b3ee90dd158dccf7f601bfa8","datavalue":{"value":{"amount":"+0.93229455","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":"Q371385$1257F638-3CF8-4F19-9D8E-11132D52ADF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18--21, 2005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_21st_annual_conference_on_mathematical_foundations_of_programming_semantics_(MFPS_XXI),_University_of_Birmingham,_Birmingham,_UK,_May_18--21,_2005"}}}}}