{"entities":{"Q2434741":{"pageid":2445484,"ns":120,"title":"Item:Q2434741","lastrevid":44076972,"modified":"2025-11-19T17:49:58Z","type":"item","id":"Q2434741","labels":{"en":{"language":"en","value":"Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6--10, 2010"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256125"}},"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":"Q2434741$D847D35C-ADFD-4DF7-BE0C-AAEAFBB32E30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0b2fe3996e1d488c6cffaddfc5496c8272f74b5","datavalue":{"value":{"text":"Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6--10, 2010","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434741$B894FFEA-D7A8-42E3-9A95-E38B39AEFD3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acc0ab56652cc786b3f33acf9070030c1166c2a5","datavalue":{"value":"1281.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434741$718B7B25-303C-4AEA-9403-44F343A9B3F4","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":"Q2434741$972A0CB8-4574-4C58-BABC-4006AB7419DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6392852e6db303afaa4ad0194b522cf21969ecc9","datavalue":{"value":{"time":"+2014-02-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":"Q2434741$EC07A52A-9E16-4BF5-8DE0-59B6499640E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c2857cad75c588907b3f292580072ecdb3a2d64","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/265","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434741$6BDFF38B-25A1-4017-96E1-DA2191E10758","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434741$E29ED0BE-BAFF-4B87-B187-2BEB1E70D26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434741$CAF44C8F-FFCB-488B-A64E-E817CC854171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434741$53D3D540-52E9-4680-A0E1-1B7421B9B4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434741$1AC29D5B-557B-4E6D-9FF0-59A4DCEF3934","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7db88a9f4b6560e3583a0dd044bbcad18b3d9188","datavalue":{"value":"6256125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434741$A7EE8045-503A-412B-A0E2-7182CE48C18E","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":"Q2434741$C82E8EF9-01B7-42B8-82C3-B4B77FF54568","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":"db5017f205def9cfa3d11b9940078af0b3815350","datavalue":{"value":{"amount":"+0.94490135","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":"Q2434741$6ACA8761-F643-4E68-B044-3FAE8F18F454","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":"c98101f92ca1e41896629f0d65765f7178817a14","datavalue":{"value":{"amount":"+0.94464296","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":"Q2434741$C5AF4AD1-7588-4109-8D63-99FA01E19CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59717a5332c9c0418e3df6c1934a6ea53fdb976c","datavalue":{"value":{"entity-type":"item","numeric-id":2018847,"id":"Q2018847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0514ade28b9e80ff3092f7589d873be5fe39d9","datavalue":{"value":{"amount":"+0.9442051","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":"Q2434741$13046AF1-E923-4723-8FD9-EC993EC49DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e54013bc1fcc7c12c0751d9ffc41265260fd86","datavalue":{"value":{"entity-type":"item","numeric-id":1738363,"id":"Q1738363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccadc795e50887decd7b999a20239c7cddae92a","datavalue":{"value":{"amount":"+0.9416599","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":"Q2434741$351B5C5B-1BA3-441C-B36B-AADE9D0FA328","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":"f87f7817a7843332ee7bfa2e037ec9783d87f9f4","datavalue":{"value":{"amount":"+0.9412697","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":"Q2434741$9F1FD189-9149-49A1-B200-26431CCEB5C6","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":"00afeb372edb61aa11de7878ef2f93da89f73d9f","datavalue":{"value":{"amount":"+0.94048065","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":"Q2434741$D5E8023A-B15B-4F11-B065-0A220C79F13A","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":"49d01c1fb28d90aaa671e3e83be362080750e2b5","datavalue":{"value":{"amount":"+0.9404265","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":"Q2434741$9A7DCC65-B1FB-47B6-9983-47A910C18343","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":"2728139dab9f0157ca6e9835393b2f20ff68d030","datavalue":{"value":{"amount":"+0.93767875","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":"Q2434741$C69DABA8-FA44-4DE4-8720-6461BC65DFCB","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":"7b51137de4f5599d415ce4a6119f2fd965398915","datavalue":{"value":{"amount":"+0.9367113","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":"Q2434741$26FAC7CF-0E22-4423-AEDD-340FE26A783E","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":"c9e3684de3180153c8eaffbeabc65b135dc83165","datavalue":{"value":{"amount":"+0.9329695","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":"Q2434741$40B2FC4D-23D6-486F-B3E6-313C7E1D6A06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2434741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2434741"}}}}}