{"entities":{"Q4036549":{"pageid":6066267,"ns":120,"title":"Item:Q4036549","lastrevid":55240828,"modified":"2026-02-05T05:29:24Z","type":"item","id":"Q4036549","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176721"}},"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":"Q4036549$9E08FEDC-F002-4CD1-AC08-2D211BDD4607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"529a51a7a4da3b106c3b425606bf44ddbc504004","datavalue":{"value":"0769.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036549$D3D5FC23-E3BC-4A1F-A7AF-8002F6C1ED3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036549$F188D95D-FF0C-4B4B-A656-73CBA497394D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036549$1E004624-FDEA-48A5-9F98-AF2965F9532C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036549$57604CF4-FADE-48E3-A1BC-219AD0AE61C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036549$E7361B1C-0EE7-42CE-BC6E-BBA1619C8BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036549$F986403D-DC6F-46FF-83AC-3E51F62D1634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036549$7CB0F823-3776-488F-86CD-A87A89E9D7ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fd43048f6f2d70bd42b45c6d240edf9449814a5","datavalue":{"value":"176721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036549$9FC7CD64-0CFF-4847-A55E-25A7B49CDF11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036549$BC71432F-502A-4A6C-BDE0-01BF558BC450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cbd026c3411e9275bfc8866f23bd654d25f76a","datavalue":{"value":"program equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036549$50545884-53E6-43D0-9584-D01C347F9A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d781beb83e4725de29dfd2c318041ccb0d39c6b","datavalue":{"value":"semantics-based program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036549$261D3FCC-A52F-4ED7-B74D-6FEA1B75456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69f0d2ac22989619b02f32156369a17f508dedbf","datavalue":{"value":"fixpoint construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036549$B27496A8-5156-4A33-8FE6-96AADA6ECDD2","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":"Q4036549$75A95F57-3CD0-4CFC-8740-9B7556D38E4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6ce454870a3092330bf46eb04ace13b7de1d13","datavalue":{"value":{"entity-type":"item","numeric-id":1035702,"id":"Q1035702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e4787eec78afa0fa1209698abc93538895a921","datavalue":{"value":{"amount":"+0.8609151244163513","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":"Q4036549$2458E708-76DE-4112-966A-D3BE62ABA7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974765942d5eb1d2f1c8e6b105436b214689aff3","datavalue":{"value":{"entity-type":"item","numeric-id":1803658,"id":"Q1803658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e32a4dfb06fb158afd1d58a9e0e45802ecf2964","datavalue":{"value":{"amount":"+0.8324339985847473","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":"Q4036549$240AF429-964F-40BF-AEA1-45E2F7AFF32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe848b4d029abdb30be1c114ebf30ac93d3ae24","datavalue":{"value":{"amount":"+0.8177913427352905","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":"Q4036549$8820F6F1-85A4-4594-86D0-641ADEE40952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5390caf9866d8612cd82fb6df95f0f4ce671f87c","datavalue":{"value":{"entity-type":"item","numeric-id":5688899,"id":"Q5688899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b1140032ead0d07860402df28c867b383bd9a2","datavalue":{"value":{"amount":"+0.8162328600883484","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":"Q4036549$4DB5BBB4-F9F4-4A04-A7CE-EAEAB37E87F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ce4779611725b0e618c8667de904c25f67a990","datavalue":{"value":{"entity-type":"item","numeric-id":4327428,"id":"Q4327428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b1140032ead0d07860402df28c867b383bd9a2","datavalue":{"value":{"amount":"+0.8162328600883484","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":"Q4036549$3690285A-A5F1-4498-85A2-BB0F3BBB648C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036549","badges":[]}}}}}