{"entities":{"Q5951523":{"pageid":8128325,"ns":120,"title":"Item:Q5951523","lastrevid":41865542,"modified":"2025-05-09T05:07:33Z","type":"item","id":"Q5951523","labels":{"en":{"language":"en","value":"Studies of a theory of specifications with built-in program extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686108"}},"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":"Q5951523$8A69BE65-33A6-4772-9F88-B014DB623F3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"968edd6262c1a0b353d59f899846f5284b817237","datavalue":{"value":{"text":"Studies of a theory of specifications with built-in program extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951523$E9DB536E-879D-4DD0-822C-FBD464392CE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af7f8d2da9eda2f2518db9ed1b5e9d396fab6aaa","datavalue":{"value":"1010.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951523$893F5708-B60C-414D-B3CF-9F5E29BD15D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ced34a97ab9e63ea9de0954e2ed67ac3f392c6a","datavalue":{"value":"10.1023/A:1010663224299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951523$123F11DB-0436-4C97-9F7E-99735D127C4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951523$1108D03D-EE06-4D2E-9EF0-A3AD33873FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"402a48fb715d415da55853e3651509e9510c9149","datavalue":{"value":{"entity-type":"item","numeric-id":220715,"id":"Q220715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951523$4F638C24-4CAD-4686-B1E3-5BDF7645627C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951523$793C15D2-0DEF-4D5E-8C29-05FD11B965F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-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":"Q5951523$BFC8D3FD-D6D1-4BAE-A1C6-1181E1CDE1B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951523$39F4C07C-7A89-4E75-A978-062A171DCBA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5b9404afe594a0018412d9d19e018e2c2408e28","datavalue":{"value":"1686108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951523$B6BAC7B7-19AC-4272-8E7D-82366A58C960","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951523$2242EAC4-DD9F-41EF-9E4A-EEC726E3DCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951523$08877679-129F-461B-AB72-13AC42B81929","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951523$2A820B19-AA19-4886-A782-5C9F15E69C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951523$08C3C9F9-F168-46B9-B36E-FFF754A30E84","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":"Q5951523$88F0BFCF-FF83-4AAB-902C-27DA45C94DD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bff66e5217f1ae501bbe11658cba6a4b300a993b","datavalue":{"value":"https://doi.org/10.1023/a:1010663224299","type":"string"},"datatype":"url"},"type":"statement","id":"Q5951523$D6BF2D21-19F8-46A0-AD4E-CC44C304E73D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"912fef0d63538437f002fc6240786e9ba164faab","datavalue":{"value":"W1568896301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951523$5408F079-A603-4195-A6DA-DEA0E4856633","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f59cfc1a0633b01260c3c05ad30aa1c6482bd35","datavalue":{"value":{"entity-type":"item","numeric-id":2722042,"id":"Q2722042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb978f3f1ddad3e1c9f4cd9ff64395a966e176d","datavalue":{"value":{"amount":"+0.91525584","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":"Q5951523$BB8601C8-90BF-4B8D-A5C3-1D661F1B1D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00b0b942310a027109a9d5f30966bef6363432f","datavalue":{"value":{"entity-type":"item","numeric-id":3613309,"id":"Q3613309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a754c36a643217ed784749257fd7e4f99beb45b7","datavalue":{"value":{"amount":"+0.8894285","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":"Q5951523$64E0DD0A-E552-4708-ABD5-1143F68008D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a301e16297b2df066653a026cdf91612b65fcbe4","datavalue":{"value":{"entity-type":"item","numeric-id":3079924,"id":"Q3079924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03810bef51a79aa91d8e148285f369e3c9a7d7cb","datavalue":{"value":{"amount":"+0.8834046","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":"Q5951523$18A76C55-758E-4A73-A811-F2B700E71348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608620170593ad619f06b2819a60970a671696ff","datavalue":{"value":{"entity-type":"item","numeric-id":4471724,"id":"Q4471724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbd45584f70b4094b8332d4d5ddf0c25c15ac12","datavalue":{"value":{"amount":"+0.87816197","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":"Q5951523$A9BE2227-C1F8-4C82-A558-56401D9099D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4e9f165d8e7081b314ba650364565840fb38f7","datavalue":{"value":{"entity-type":"item","numeric-id":2876077,"id":"Q2876077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9237c0d11f98fa2e15e9fc6d547598a8f413795","datavalue":{"value":{"amount":"+0.87754905","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":"Q5951523$A9A209D6-3CDA-48FC-A9B2-38B82E9F33C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc18ee63967d27b68bef5b3a1749be5e3c0935e","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d585e9910119f276c0739bdcb58d593be79fb357","datavalue":{"value":{"amount":"+0.8763974","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":"Q5951523$5EB87F39-7E7C-4AF7-9B77-A8FB2F5E4104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43cca1509235b0df1bc0286a5af420b8d20201f","datavalue":{"value":{"amount":"+0.87599224","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":"Q5951523$61B06D32-17B3-4106-B2E7-14850AAA10E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c64f6636386f48a39eb167327ecb52b30231284","datavalue":{"value":{"entity-type":"item","numeric-id":2752052,"id":"Q2752052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f01849bc2d8c3dcb6e7f75ae8a3b992de8e251","datavalue":{"value":{"amount":"+0.8756939","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":"Q5951523$D7E1CF92-BE7D-403C-9B31-448C75B18E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d7d116c5f7a14e2d7a0b6a86347ee45d8c5376","datavalue":{"value":{"amount":"+0.874202","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":"Q5951523$C1942D29-AC07-4684-ADFB-3B530D2D8385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951523"}}}}}