{"entities":{"Q1386439":{"pageid":1397179,"ns":120,"title":"Item:Q1386439","lastrevid":68835114,"modified":"2026-04-13T02:23:29Z","type":"item","id":"Q1386439","labels":{"en":{"language":"en","value":"Prototyping realistic programming languages based on formal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1154576"}},"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":"Q1386439$0296271C-88CA-4416-B55B-3AF1A928C90F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04eddc850edb060e3582a429f1485e9241db03f3","datavalue":{"value":{"text":"Prototyping realistic programming languages based on formal specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386439$1DD2881F-0EBA-470B-A1EA-B9E8FB93DE03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"284eddf5ac3a45f23c35beea92bf2b7752762281","datavalue":{"value":"0896.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386439$BDE09422-8F49-4A15-8E16-DF35004CCE8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecd285ecacf58d096d8b9380a442f8f4eb02eb08","datavalue":{"value":{"entity-type":"item","numeric-id":1386438,"id":"Q1386438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386439$2C1AAA06-F4C3-4841-8C85-9207642240A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386439$BA5291DA-094A-41A3-9BEC-F4A9A09C5AC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b45602d520d2a372d4a35334391b31b407de877","datavalue":{"value":{"time":"+1998-10-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":"Q1386439$8630D2DD-B989-4F5B-B0D6-F703F2F2D7C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386439$4DE81635-42DC-4BB0-B9C4-99B0EA2A7C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386439$82494289-A2C2-4119-BC85-CE3C41290066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc8627fa877b16848d6ab08f93b7c00c7ab1f6d","datavalue":{"value":"1154576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386439$7EF9D1E3-7CF5-4681-BAD4-9752CAB55496","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a947563f8de85730bab5ae948ad8227f7e247563","datavalue":{"value":"language specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386439$EB8F0B9F-EF1A-4F8D-991D-E5A06122A2A5","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":"Q1386439$DBB1EA45-7449-4E9C-A21D-C46122932B27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7ad985ae56e628e6d20db0f74d54cc8e0d6d425","datavalue":{"value":"https://doi.org/10.1007/s002360050105","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386439$2099F857-8AEC-407E-9B23-F1A4590D13C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebeafe919c69f7d2ebd7768fa234f19ff1e002ce","datavalue":{"value":"W1983346515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386439$71A9856E-7328-42B2-858F-CB00CE8D2C99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc84e8d375459bba5f62e0ee256b33f33ea359f6","datavalue":{"value":"10.1007/S002360050105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386439$779FF4DA-35B5-430D-9897-46D6F0DCEB4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1892bf3d08f1878eab00869c0547eb17a42da06f","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f676a9031818f0baef56f6b867371b85b3ff69d5","datavalue":{"value":{"amount":"+0.90849173","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":"Q1386439$90E370B0-437C-422D-B4C2-3CC76432DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773616cc91cd180f3103b43aa800efb2b27bb640","datavalue":{"value":{"entity-type":"item","numeric-id":3339307,"id":"Q3339307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7002e35bd72f0d2701b0bb50fc1809468b554a","datavalue":{"value":{"amount":"+0.8862073","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":"Q1386439$9E91A8C3-6677-4BF1-B8B7-0F778DC1D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80af2b2f11cb6b863df45d0a9823780e2fe6db7","datavalue":{"value":{"entity-type":"item","numeric-id":5402520,"id":"Q5402520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd9baa95246fd1ac24431cf2a0865dad965b232","datavalue":{"value":{"amount":"+0.8758403","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":"Q1386439$60B64C46-1006-4C7B-AD03-4E09C704EB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe0eabd7559b99a54e00346b93f9fab3a4d684a","datavalue":{"value":{"entity-type":"item","numeric-id":4907534,"id":"Q4907534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e893d5a1bfa1bf43a88259436bfecdb5cbcb126","datavalue":{"value":{"amount":"+0.8716913","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":"Q1386439$052B39DD-4A74-4D62-A855-2B0BDF440419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ff49cc9c75c4ca140cb551c7e1aa3303085faf","datavalue":{"value":{"entity-type":"item","numeric-id":4855362,"id":"Q4855362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc313a49f2c8f70e7b2839d79b00f6370b0ac9cc","datavalue":{"value":{"amount":"+0.8705264","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":"Q1386439$351E4068-7714-4BA9-809D-0F53F352B6A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prototyping realistic programming languages based on formal specifications","badges":[]}}}}}