{"entities":{"Q3608820":{"pageid":5638726,"ns":120,"title":"Item:Q3608820","lastrevid":49678216,"modified":"2026-01-08T23:48:28Z","type":"item","id":"Q3608820","labels":{"en":{"language":"en","value":"Towards Modular Algebraic Specifications for Pointer Programs: A Case Study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523816"}},"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":"Q3608820$0B4925D2-7E59-448F-8BEE-6B6AA314A217","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e973067eae1086908576a9fa186cd8226d050bc7","datavalue":{"value":{"text":"Towards Modular Algebraic Specifications for Pointer Programs: A Case Study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608820$18CBF73A-B60E-437D-8A51-61B6663DC72F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74e36e6972a8c3da20f28f2b0f1ae6c927fd9c13","datavalue":{"value":"1186.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608820$30F5895D-1164-4012-85BF-A9EF814DF53B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d80717ac856ece6a62d98e9e4e5ab1de2724fea","datavalue":{"value":"10.1007/978-3-540-73147-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608820$680AA939-9701-4FCA-A7A6-3CC387952BCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608820$763B7F4E-A53F-4C31-85B3-CFC21A7F42E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4c6db21b0e8321ee4e0cbe49fb02a3b124742e1","datavalue":{"value":{"entity-type":"item","numeric-id":3608808,"id":"Q3608808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608820$49047C6C-ECFD-4CAB-9D6B-461393A940E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608820$A765550C-D1F9-43CD-837D-7FDE6CB99DA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608820$491E7734-1DA7-4EB4-ABA1-ECC164471E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608820$9B55FFA1-529A-40A2-B7BB-3D9D877B8BBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec15e9dceffc537056d634ab4041a7f951fd6581","datavalue":{"value":"5523816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608820$22E44523-48AF-4CD3-9147-EB1B9280E80E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608820$416F03E1-58C9-44F0-9411-D1E88251740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608820$28979398-146D-4966-815A-A966A5885439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608820$D45EA779-5B93-4863-9FED-6891C6035F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608820$0B5E809A-15E5-48EE-A857-4C0198A0FC2F","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":"Q3608820$5C5EE761-63B2-4945-8498-5EB70E7BB720","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"098f6f8a53318864d69591fd02bcdffc2e6bec3c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73147-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608820$FC0A373B-56AD-4D56-A2D7-92C9BD727CFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38da0bb0e516d6e40ec1d99cb556e727d038eb44","datavalue":{"value":"W2116518308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608820$97BB403A-C1D0-4B9A-A4C4-10276E1633D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e878de26185d82324564dafcdcac89b814c24fe","datavalue":{"value":{"entity-type":"item","numeric-id":6164428,"id":"Q6164428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d3ee3ae63399cb3dadf5f299aa176d6cf98e98","datavalue":{"value":{"amount":"+0.87487286","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":"Q3608820$05048C75-8421-406E-9F47-877A08FA6371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13434819645e206e08fcc29094001874656de595","datavalue":{"value":{"entity-type":"item","numeric-id":832157,"id":"Q832157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca513cdce9b611c856e19f6f01bb6f6df90bd09","datavalue":{"value":{"amount":"+0.87331843","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":"Q3608820$88B10492-0C07-48D0-92DB-C3B24D317265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b4b8683c0839738f2ca908c025d29d0bbf8be1","datavalue":{"value":{"entity-type":"item","numeric-id":5096765,"id":"Q5096765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e80e04c1880c05bd11733351d27f7fedb2a4702","datavalue":{"value":{"amount":"+0.8612505","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":"Q3608820$529CCEAF-82C6-40B9-961C-72DDBBFC8B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b75373f9f0445c42710ea3d755e0ae2535555e","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229b7144d8e92e7c8224723d36c90e5d883c8533","datavalue":{"value":{"amount":"+0.8598174","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":"Q3608820$26A04CDA-ED90-4E89-BA8A-3894C51797BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4f7550369b8e1b947e819d750997574708bd86","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab97b0d9b85e44267a9d2e861290edc9bbcd250","datavalue":{"value":{"amount":"+0.8592439","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":"Q3608820$EAB494C5-74F9-4909-9F64-9E0269FA241A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4d0e1c564ca9ac46ae0f5467880eee70bb63ee","datavalue":{"value":{"entity-type":"item","numeric-id":685621,"id":"Q685621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70124bb43ec5e586617c9d05681ca71cd054f01e","datavalue":{"value":{"amount":"+0.8591234","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":"Q3608820$B4153745-B678-41C5-9E68-47AE15D5A449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e204c5fe31d1a73fb3c36d42221b964abeda79","datavalue":{"value":{"entity-type":"item","numeric-id":5041091,"id":"Q5041091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c9f4a04f62d99d002e00c415c2aed18db8fca6","datavalue":{"value":{"amount":"+0.8589219","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":"Q3608820$BAE11140-CE70-465F-A19A-614F6FD8B50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99af7953828fe30c899bb8c4ca0d8dd663d3b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2417849,"id":"Q2417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49bdaf686372e0bfd98ee18d0ea4ae7a20191cd","datavalue":{"value":{"amount":"+0.8574874","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":"Q3608820$01AACCB5-5DC4-40E7-80B5-53AB46CC580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62d6c3f29c932c3b884649594c8f43fc822e23","datavalue":{"value":{"entity-type":"item","numeric-id":4721633,"id":"Q4721633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767006e599e8b56d086e7839d34626f3d909b98c","datavalue":{"value":{"amount":"+0.8570027","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":"Q3608820$44CB8177-8944-4BE3-A408-B09FB2760B2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608820"}}}}}