{"entities":{"Q1923089":{"pageid":1933831,"ns":120,"title":"Item:Q1923089","lastrevid":57125007,"modified":"2026-03-26T17:18:06Z","type":"item","id":"Q1923089","labels":{"en":{"language":"en","value":"From operational semantics to domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 930728"}},"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":"Q1923089$DCC8C1A2-4385-474C-A9D1-894F3B85AFF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b4477df5b410579bcfc36125fecd56e7c35d04f","datavalue":{"value":{"text":"From operational semantics to domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923089$2166D6AD-C270-4F71-AD02-55C4A951B3DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"974227b72df21e2adb1ebac590aad4e940a74741","datavalue":{"value":"0856.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923089$9AD8A856-7B5E-44B1-8FBC-D5FC5EEBCE72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923089$AE65FBDB-4639-49FE-B8C9-451C7D6AD986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce25c77d649bf8afb7d80a0da9c0296258f5677","datavalue":{"value":{"entity-type":"item","numeric-id":1314347,"id":"Q1314347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923089$F0A10A66-259A-4065-BA0A-97E3104DC29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923089$E734264B-C89F-49DC-BC50-EB04E542935F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923089$BDE9B27A-3C22-469B-ACFC-A24EBFAD879C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0271cbeeb928d08d15c68ab78652d82beab9308f","datavalue":{"value":{"time":"+1996-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":"Q1923089$5C651D65-DCA0-404B-826F-FD3E02E1B417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923089$2483C9AA-1C7F-438D-A91C-F524FD1D1A83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d8282911660e261d5aa7eb90432d6e2f486963b","datavalue":{"value":"930728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923089$345A7FCC-5884-4210-9DBD-70FF0EA80992","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923089$08EA109B-7925-417B-9DBB-4E825F15A516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923089$62483253-D793-4D1E-9F08-5F68E7F000FB","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":"Q1923089$A1F666DE-F559-4842-83B1-B1EBE3CEF413","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3dcdbd9fea7451b2c549e0aade4177b37e3a5a4","datavalue":{"value":"https://doi.org/10.1006/inco.1996.0061","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923089$B8A89217-A826-4D46-8E9F-D0007B678A1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f20b9053c8a465b8f1599a2343f0889177a273bd","datavalue":{"value":"W2062233055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923089$457DA30A-9D34-445D-AAC0-4EB7CD6A16D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b80500e4b7ad777ac44131989d5f00db55711633","datavalue":{"value":"10.1006/INCO.1996.0061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923089$2E2BE76C-FB4A-42DD-A27F-46B670E8766D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c5e69d703007b3cbf501ee3f528c126a08e68","datavalue":{"value":{"entity-type":"item","numeric-id":6116563,"id":"Q6116563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aeb0273854a425a6a718a9082190784db6efc42","datavalue":{"value":{"amount":"+0.8226380348205566","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":"Q1923089$0E6858E2-9DB1-49BC-9989-20CE89D5F5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0f406c7ec449f83643798dddf96a18d926710e","datavalue":{"value":{"entity-type":"item","numeric-id":1013087,"id":"Q1013087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7b4dda41d34568dcdfc8f95f2d918ee2ba9eec","datavalue":{"value":{"amount":"+0.8137827515602112","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":"Q1923089$A3E552CB-38B1-45BC-8B5D-7587767304C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8881052ab6488c7711d745becae970a6b37b10d","datavalue":{"value":{"amount":"+0.7923169732093811","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":"Q1923089$470DCBFA-208C-4733-AB30-F5CA0397758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6118bc0405b7abc213293eb622b9df0ac7e04c","datavalue":{"value":{"amount":"+0.7750389575958252","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":"Q1923089$D1770CBE-B850-457E-B9F3-484DBC377D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d81baafa9d3cb1bf7d334f770057c657d258b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccb95c932f1544092a1f1ad3c7c7c597f4fdca1","datavalue":{"value":{"amount":"+0.7657002806663513","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":"Q1923089$5A0445F5-9DE8-4082-B729-65A80C0B55BF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923089$DD9417AC-3DC0-4589-ADD6-64D9AA0D0F68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1923089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1923089"}}}}}