{"entities":{"Q3318102":{"pageid":3328810,"ns":120,"title":"Item:Q3318102","lastrevid":48687238,"modified":"2026-01-05T15:00:59Z","type":"item","id":"Q3318102","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3848601"}},"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":"Q3318102$7422ED82-F157-434E-B33B-3031AF065783","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65f095a0440f4c26a82c83d9e1228a903bb6481f","datavalue":{"value":"0534.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318102$B9BF6196-CD6E-4711-924E-FCB56D91F6EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2096f407889a4c47596dd337682d535243e6aef","datavalue":{"value":{"entity-type":"item","numeric-id":1161270,"id":"Q1161270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318102$45B853E0-20CC-4B15-982D-B78A45C52D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d147d3a2f1d78f6f0ac3adfd6d7ae9c05cec469f","datavalue":{"value":{"entity-type":"item","numeric-id":1161271,"id":"Q1161271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318102$48947BAA-EFD3-40FA-9BE3-8E9B1783AAEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3318102$C51932F5-A595-40B1-8E9E-7CC4ABFD78FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318102$6785EC5B-7E6D-4846-A884-0406E9124EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318102$7B2DD718-46AD-49DD-B6F4-379F965E0156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318102$70776A90-51ED-4C88-9E08-24028C03A398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e643eccc272aad39b952b7c464bce9e165718c7","datavalue":{"value":"3848601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318102$BD28BD2C-5D68-43E4-BACD-E954A3EDEFE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318102$771A6A56-B427-485C-A23E-A78A5D457F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2402c49a3ad74ec21b7e4e88e39845b8ed09a63","datavalue":{"value":"fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318102$0B87B96C-46B5-4066-99FB-B588CC1897B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da17f16857404353f1da934959cb0947e40a418","datavalue":{"value":"theory of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318102$FE3E157D-659F-426E-9223-3A1641DB14E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14ec15b08085a080e71fb2fa2ef117253ea82764","datavalue":{"value":"semantics of programming languages, program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318102$53C81153-0B9A-415E-9323-A7ADABF93FAB","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":"Q3318102$64719229-97C1-4BC3-88F5-1585C5201FCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbfdf7e570c8fdaf7e2ddb0c82cf747a9ce9d04","datavalue":{"value":{"amount":"+0.8122702836990356","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":"Q3318102$E5306FA2-ED96-4CA3-A094-4800E61FC5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dfa17040c705420c2b156bf9fc17fdc2a3345f","datavalue":{"value":{"entity-type":"item","numeric-id":800712,"id":"Q800712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52876d737150ee63cfee6112cff45a40b1be6da6","datavalue":{"value":{"amount":"+0.7983157634735107","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":"Q3318102$D299B2F4-6A11-4D8B-AC66-66A20C27CB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb4a09b3436528ff53ecbd19b34ce8215675f75","datavalue":{"value":{"entity-type":"item","numeric-id":3221388,"id":"Q3221388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c2a11f805ed746ae9ce5c9db35e830af22bf20","datavalue":{"value":{"amount":"+0.7809927463531494","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":"Q3318102$0CE2154E-391E-4A3C-A982-283254B385BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed9f18728efbf178c12c394f7c72ef61968d349","datavalue":{"value":{"entity-type":"item","numeric-id":1122978,"id":"Q1122978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c985c013c71c073c7cfe82eb149ab2c2224e234d","datavalue":{"value":{"amount":"+0.7773544192314148","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":"Q3318102$24730C25-2D3A-4880-89B1-7E0F15077F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d7d3b3f4a3563422a4cbce9a696b05d53fd880","datavalue":{"value":{"amount":"+0.7742072939872742","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":"Q3318102$D102A6F9-2FF3-4253-8C3A-789F6BDFAE29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3318102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3318102"}}}}}