{"entities":{"Q1389772":{"pageid":1400512,"ns":120,"title":"Item:Q1389772","lastrevid":68603646,"modified":"2026-04-13T00:52:00Z","type":"item","id":"Q1389772","labels":{"en":{"language":"en","value":"Mathematics of program construction. 4th international conference, MPC '98, Marstrand, Sweden, June 15--17, 1998. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170439"}},"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":"Q1389772$9031ABBD-4835-4BA4-B683-4A10CFA80119","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e3d1a7a67d936dff9cf0930adeb95a2574c80a2","datavalue":{"value":{"text":"Mathematics of program construction. 4th international conference, MPC '98, Marstrand, Sweden, June 15--17, 1998. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389772$9493FF05-B4DD-49DC-A9CC-4281C0B01499","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e262af29614256deb5cd2006a7a5f1c0337d160f","datavalue":{"value":"0891.00027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$09407AC0-919C-4654-AA99-F5AA35F2B457","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389772$AA564B05-EF74-4F8C-B4BF-EADEE5AD930F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2c2c7293c0b144623de2383a87e60bd6d031a75","datavalue":{"value":{"time":"+1998-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389772$238E2E43-156A-4237-8466-FBC6BE0277E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b88388b44acf985c226af8125d877cab8fee98b5","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The 2nd conference (1992) has been announced (see Zbl 0875.00136).  Indexed articles:  \\textit{von Karger, Burghard}, A proof rule for control loops, 7-22 [Zbl 0905.03041]  \\textit{Berghammer, Rudolf; von Karger, Burghard; Wolf, Andreas}, Relation-algebraic derivation of spanning tree algorithms, 23-43 [Zbl 0905.68020]  \\textit{Bijlsma, A.}, An application of program derivation techniques to 18th-century mathematics, 44-51 [Zbl 0906.11059]  \\textit{Brunn, Thomas; M\u00f6ller, Bernhard; Russling, Martin}, Layered graph traversals and Hamiltonian path problems---an algebraic approach, 96-121 [Zbl 0907.05052]  \\textit{Dijkstra, Rutger M.}, Computation calculus. Bridging a formalization gap, 151-174 [Zbl 0905.03012]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389772$D5FC2F2D-1ED4-431E-8702-B8CD4330C5F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$DD3C92CC-90C2-4AA1-83DB-7D69AEC4E851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$B0E9216B-A67E-4320-9148-77BDA11DD6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$71FBFA03-F93B-409A-A108-083B07EF7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2375fd4b32d2eb23df347253ca68f523c20922c","datavalue":{"value":"05-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$B68656C1-3EDC-40EE-9C30-19D2560427CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad38e1e409756ec3dc8d6e98aa403f70f0823658","datavalue":{"value":"1170439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$BBC7D974-3C49-431A-A901-F42F8CEE240F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b298aa2321c03adcfd9b13410a3c183ffc365256","datavalue":{"value":"Marstrand (Sweden)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389772$1B7FB4D2-9457-4FF0-8B49-1C706CF9FEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389772$C8AFEB2F-9215-474A-97D8-B2B93574F7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389772$FC6C562B-63B3-467F-9632-EF4BCD09DDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466ae6ba52875a07ffc304c213e846100c903b9e","datavalue":{"value":"MPC '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389772$C4721E50-32EB-4441-9D3D-4CB4365B00AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521f0726227d7aafac1cff176b082ebe961fb7f1","datavalue":{"value":"Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389772$83CC7A71-1319-4B94-A06C-98D950E3876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f5b98f3d0249bedffd18af87c46aab4737c599","datavalue":{"value":"Program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389772$F3DAEAA9-36FE-45D2-B099-FB201610BE1C","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":"Q1389772$D66B3308-0DC8-4807-9E7F-258D01D11C3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53935d65b944f35e6a714520f591503f4ab37a58","datavalue":{"value":"https://doi.org/10.1007/bfb0054279","type":"string"},"datatype":"url"},"type":"statement","id":"Q1389772$C4DDEC6A-3ED2-4130-94C6-3B6B9830B3E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ac157ab504c8261126c6bce438be92bb4847d5c","datavalue":{"value":"W2736692911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$FC4FBC53-EDE9-4FE1-AAD0-15EE20A3CE19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db100b5d24484e60cf914cf41e448c47d6fe1673","datavalue":{"value":"10.1007/BFB0054279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389772$CB910B0C-FBD2-4AAE-ACF8-0A21EE735C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematics of program construction. 4th international conference, MPC '98, Marstrand, Sweden, June 15--17, 1998. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematics_of_program_construction._4th_international_conference,_MPC_%2798,_Marstrand,_Sweden,_June_15--17,_1998._Proceedings"}}}}}