{"entities":{"Q2863853":{"pageid":2874573,"ns":120,"title":"Item:Q2863853","lastrevid":51884945,"modified":"2026-01-20T11:39:49Z","type":"item","id":"Q2863853","labels":{"en":{"language":"en","value":"Reasoning about partial functions in the formal development of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235722"}},"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":"Q2863853$642EF6CE-E260-45E3-82C9-11012E520D24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09bf33480bf2e7baedbf07790dd2031d05b0e5f1","datavalue":{"value":"1276.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863853$73405D93-BF2F-437A-9569-A272310CD26C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863853$C509293D-C8DE-4598-BDEE-921D4D125F4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"012c52336b1fd19b3024babaef03fcd3f58db714","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052473?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863853$58068ABA-9277-474E-8436-FE8969213D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863853$D5DEF599-EE3D-4FC5-9BC8-37B9D1344F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863853$E9E6ABA0-9BFC-4C66-B098-36B981C9BEA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55ad286f1b83410cf2f22e82433aa619c3011c7e","datavalue":{"value":"6235722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863853$B2B50ABF-3E1D-470E-97A9-C3376539536E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863853$8F6CD57B-4E1A-427B-BF61-5908F966240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863853$80C67E97-4457-4D51-8AF7-43B08A21F0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"036fd12a05ff5460614d4bd28426612433c4cd2a","datavalue":{"value":"formal development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863853$C706B58F-FF90-4ECF-9CB4-D753285B70C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab9d14b6e6a1decf0c3a30019cc307a4c867a39","datavalue":{"value":{"entity-type":"item","numeric-id":890477,"id":"Q890477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863853$29EC41B0-FEA1-4C23-8A7E-84C2CCAD4A49","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":"Q2863853$805674F5-96C7-4B50-8DA7-93A063C44BF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c818b2b40f5ab514aa5201f54c4a3519a3eb7741","datavalue":{"value":{"text":"Reasoning about partial functions in the formal development of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863853$FC9970A6-394D-463F-9CF0-35E59DC603FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671ec0799344f16cd6c6d298783843edad6951e1","datavalue":{"value":{"entity-type":"item","numeric-id":963419,"id":"Q963419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737a229381e22be9d262ce9ed020c1e6e5635b01","datavalue":{"value":{"amount":"+0.842745304107666","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":"Q2863853$1B8CB274-A4F6-4347-ADE0-B5D0C50BAA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43101e9c0f34505a6c0f1e4ed26e89ca670afebd","datavalue":{"value":{"amount":"+0.7995648980140686","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":"Q2863853$64969689-8B11-4139-9206-1173539F109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4e2643c8d219f6a262b2a94612ddef7a7ab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7647e2009859382a46a14ae8d86343daeb62ed","datavalue":{"value":{"amount":"+0.7660501003265381","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":"Q2863853$7CE23BA1-C643-44BD-82B2-2CCCA88674AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6106ebaa8cee56c1b4cc9f232bc23e40a823120","datavalue":{"value":{"entity-type":"item","numeric-id":4269811,"id":"Q4269811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7647e2009859382a46a14ae8d86343daeb62ed","datavalue":{"value":{"amount":"+0.7660501003265381","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":"Q2863853$F728FDB5-8D6C-463F-91F3-52F8B967C2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2330f0e131372965020f84541a8feb356288f8df","datavalue":{"value":{"amount":"+0.7647872567176819","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":"Q2863853$5BBA5B41-0701-4DD8-8F7E-8CF450EFBFAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863853"}}}}}