{"entities":{"Q555781":{"pageid":557548,"ns":120,"title":"Item:Q555781","lastrevid":48497857,"modified":"2026-01-05T00:36:12Z","type":"item","id":"Q555781","labels":{"en":{"language":"en","value":"A high-level modular definition of the semantics of C\\(_{\\sharp}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174897"}},"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":"Q555781$AAAF6E18-D2A2-4006-828F-C7D5F09201C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b0b9d9f569c10652061cc216d63bbd74add1a8c","datavalue":{"value":{"text":"A high-level modular definition of the semantics of C\\(_{\\sharp}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555781$19A05C36-1F06-4115-A3E3-A2430C90538B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7b6809dda80919093e85326ced198f360e4119f","datavalue":{"value":"1080.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555781$E9543F42-B23A-4352-9B28-23713EB4EF72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$537CD5C3-A914-42D6-AD97-2466FD9BEF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd3e1924cfe9e8147bbc674299347f90152e4fb","datavalue":{"value":{"entity-type":"item","numeric-id":555779,"id":"Q555779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$119A90DB-A16B-45B6-982C-95400EBC1CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f996a0f49bd9a229ea9f464da806fcd421a86d7","datavalue":{"value":{"entity-type":"item","numeric-id":439956,"id":"Q439956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$F3B8BC77-02CD-4F26-BB54-74F08EAB97C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$4D0B5F47-6C68-40FF-9951-80F7D86E6481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$EDE224DD-115F-4E00-90BA-243A37F37A87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555781$ADA6A64B-5D62-49E1-BD2A-347F93DF207D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555781$0626C228-1E1A-440C-98E6-EADBADDE380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555781$B138F7B6-52CB-4529-9487-CD8C3BE600D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fe80989e8ed9f133d3b68949e3b560a4e3955a5","datavalue":{"value":"2174897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555781$7101807E-7CF5-49F5-A440-238497292C84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852ced338b90c8e83719ba743396ac07f17a0ea0","datavalue":{"value":"Semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q555781$A25F069B-372D-4791-8ECE-4E846F51B0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b340213c2b759957e397457c522c697b98bda44","datavalue":{"value":"Abstract State Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q555781$899FCFDC-F6A4-4744-8EFD-7BDCA2E946A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e866fcccb6da0f96448451e6ce16fef63a78d5","datavalue":{"value":"C\\(_{\\sharp}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q555781$9B70F625-FB15-4CF1-B934-B2B8D735569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q555781$2AE8D16E-6812-49FE-9F92-ED63DEAF94F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c850408b22dce75dd85e928a1af7370322cbebe","datavalue":{"value":"NET","type":"string"},"datatype":"string"},"type":"statement","id":"Q555781$65A6827A-BEAC-484F-AB68-8173E70087D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4f1db77298fc4fb8ea97e48256e272e3f4890f8","datavalue":{"value":{"entity-type":"item","numeric-id":38490,"id":"Q38490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$EDA07B74-6BE2-40A3-8D94-CC2CB8E7EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2919bc3c2cd38708e884d2a8d49665dd720ad29f","datavalue":{"value":{"entity-type":"item","numeric-id":16051,"id":"Q16051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$98BD1300-3444-4259-8B3C-FB71621DEBA2","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":"Q555781$E1EA66FF-B4E0-448A-A6A6-80D0EDBEF287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e402e1704e20eb2e4e5e404890acb4a0cf4459d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q555781$96AFF874-1A62-40D9-B332-17C8D0372AD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3d692ca0b86335fd3b4a914ccff1f9f1a80247a","datavalue":{"value":"W2006674970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555781$E8B0F994-F698-4ACB-B7C2-DCC8C521CE1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193dbfc7bccf141a4aab951ab2becf3c421ce66","datavalue":{"value":{"entity-type":"item","numeric-id":1126522,"id":"Q1126522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$D598095F-175B-469E-933A-168B3A1E91C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad2a035dff41c0436d4e9cf502f8ec5258738fe","datavalue":{"value":{"entity-type":"item","numeric-id":1772776,"id":"Q1772776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$A1696A5E-6016-479C-86E4-5F2607B8D35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a7a8faf60be76979d48d806fb07c9b8e53a682","datavalue":{"value":{"entity-type":"item","numeric-id":4268493,"id":"Q4268493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$AF76D958-EBC6-4F5E-82F8-EB78F3E2755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef08ce0f6a92f1d79d16ab6cdfd62d2d7e7e612","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$1765F692-5C90-4E45-95BB-E059E1E166E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00747b7d5f3ebf75431b233a6b2e68e3d93d5a7","datavalue":{"value":{"entity-type":"item","numeric-id":4413680,"id":"Q4413680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$5B4E7D8B-9502-4BC1-8EAC-DBD82440B789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3287fe9b87d70b033a45c1b260a283929ff1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4520499,"id":"Q4520499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$387FFD4B-76A9-42EF-9300-6F5C7F7D5CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02255c7569a65108facc7ff2d5bebfa15cfb3973","datavalue":{"value":{"entity-type":"item","numeric-id":2753665,"id":"Q2753665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$79E4AB83-13FB-4101-85E5-1250E33065A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$30A0A8CC-C2BE-4C5D-97A8-F06431D944CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0a0458a7286df44d15d215f70c6462868988b4","datavalue":{"value":{"entity-type":"item","numeric-id":1126523,"id":"Q1126523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$D9C25552-4FFC-4894-8CA8-08D077997F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962581ad06c70a50554157d0fdd19356472de9ab","datavalue":{"value":{"entity-type":"item","numeric-id":4413682,"id":"Q4413682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$24550436-E53E-4B04-A985-97A4535502F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e7bd92b6b8e1793c9a322d28f926d29c9e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5178887,"id":"Q5178887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$215BE827-471B-4FC7-9727-B888069DF149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f9aab3ed0f4dc4cdabfd532754a3cf472a7125","datavalue":{"value":{"entity-type":"item","numeric-id":1344731,"id":"Q1344731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$2626D5A7-89E3-4B15-8EFE-9C39B2ED0FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$F14EAF05-F36F-4040-A69B-B26E9ED5DF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae0c501ace458f48de52006447b1a8ae3a41806","datavalue":{"value":{"entity-type":"item","numeric-id":4413693,"id":"Q4413693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555781$CF370078-28B4-403D-9A7F-0CEE4195AC09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2141d3fa8e532f3289fa31551ce56252a58da2bf","datavalue":{"value":"10.1016/J.TCS.2004.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555781$224F844F-E66E-4E5D-A9F4-4DF7061D9289","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77da6a3a4d1c84d26b67373745c418363a68cdb2","datavalue":{"value":{"entity-type":"item","numeric-id":5901598,"id":"Q5901598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f216ffb659d66564b7f788677baeb438bdc8c53d","datavalue":{"value":{"amount":"+0.7525381445884705","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":"Q555781$895018BA-0B01-4618-A713-55420701E2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82345f4a3f91685d91f00052b977e423f917591","datavalue":{"value":{"entity-type":"item","numeric-id":3023540,"id":"Q3023540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24847989f35ec8c8b1f39c20eb177b6b9181b3e7","datavalue":{"value":{"amount":"+0.6907735466957092","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":"Q555781$52236223-3EDE-47D2-83A8-A290D2890A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468791b41200636befe51d461d4f3a0ef9471b26","datavalue":{"value":{"entity-type":"item","numeric-id":1749247,"id":"Q1749247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1b2ab7e043fd61585db3ff49f0b4822ee2fc95","datavalue":{"value":{"amount":"+0.6827183961868286","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":"Q555781$15931069-F05C-4944-B158-57752EA4D16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c3749aaf06705e017a3be6f71beafeaf468220","datavalue":{"value":{"entity-type":"item","numeric-id":5311299,"id":"Q5311299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c41c335cf4dce01443555d529c5398b053b0fc0","datavalue":{"value":{"amount":"+0.6788665652275085","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":"Q555781$A1DB94FC-37C5-43DE-A25D-037F577B2FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a637c550a613ea7c2955d8b8ef19a5afa1c107a","datavalue":{"value":{"entity-type":"item","numeric-id":4283242,"id":"Q4283242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4715c0a0e2f7ad09be227f125ab9663767bdc4d3","datavalue":{"value":{"amount":"+0.6766939163208008","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":"Q555781$9581DF73-439A-4A06-81A8-48F497AD9AE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:555781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:555781"}}}}}