{"entities":{"Q3813289":{"pageid":5843195,"ns":120,"title":"Item:Q3813289","lastrevid":53567081,"modified":"2026-01-25T07:58:54Z","type":"item","id":"Q3813289","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4082960"}},"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":"Q3813289$E6F3A39A-27F0-48E6-9722-4DF2A6D91BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af5d9bf933454e82cb221a04013bd9b9e0e4cee1","datavalue":{"value":"0662.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813289$26066BC6-F752-4A03-BDC1-69A87AE547BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813289$414302EF-4F15-483C-B325-A54F45D85BC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3813289$BCA16166-CA52-48CF-9C8F-3EC4005BAC3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813289$A389378C-7C4E-4842-BEF5-EF9B35840623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813289$4E3AE485-05F7-477A-8A24-DCC4BB9CC49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813289$38047E22-EA94-4FEE-A7A2-BB02CCDC52AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4609c62f5cd884459c897eb394e52d9fdea1e1e","datavalue":{"value":"4082960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813289$18280F82-6E7F-4AFD-85D3-6E358494575F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813289$2872CF1F-D15D-4500-844A-4CC63591F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c76b2236d1a10aa7ac4d722b4477066f5a8f8a5","datavalue":{"value":"programming language Quty","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813289$EBE69DDF-EB1C-49CE-8B43-2C3CBF18E24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0a105bf9851d66a1f5cef3cd0ef465e5f308476","datavalue":{"value":"Axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813289$B41C1920-7F3C-4DBB-835D-3FBABA5DA1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813289$5FD0519E-3CDE-4AC8-9DB1-857043D56701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813289$C3F8A4B4-BBB6-454A-8C3A-716D46825D4D","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":"Q3813289$7AC5DEF1-17A6-45B9-BD6D-AD0076BB7875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f941683bb65bfcc76bc7ef2a62e5c9d647cd037e","datavalue":{"value":{"entity-type":"item","numeric-id":1314424,"id":"Q1314424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57198c182af0ca51fcde290c1a9265bde42a9e5e","datavalue":{"value":{"amount":"+0.7287102937698364","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":"Q3813289$A8666025-B216-4081-8C1E-BA1CB6E31385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c883a2ea20f0ffd5dbc52fa1a45809371bab181b","datavalue":{"value":{"entity-type":"item","numeric-id":5688911,"id":"Q5688911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4e4d3b3f31ca9e48c37cb35644c599aa86cb1d","datavalue":{"value":{"amount":"+0.7280319929122925","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":"Q3813289$458D78E0-838F-44F4-992D-1B9CA5D281EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9376272527b71dc3b97078c3f63cd76e950b8464","datavalue":{"value":{"amount":"+0.7203709483146667","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":"Q3813289$8992DD28-6AF5-4130-A1AC-1D9BDDFB877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58315503ea4ff1697f03525022a99647032bfefd","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0a4c0dc207102d1a2810022d40ce01f34c8d9a","datavalue":{"value":{"amount":"+0.7056773900985718","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":"Q3813289$F9F41968-1244-4201-BBDE-F4A918244ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27101cbebd1eb92ea8415aa406c2e80bb69927a6","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98312288c429fcd88239fb61d22867e7b63602d7","datavalue":{"value":{"amount":"+0.7023963928222656","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":"Q3813289$C7B8BD09-6A06-4690-A659-6616AD0AA926","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3813289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3813289"}}}}}