{"entities":{"Q3003308":{"pageid":3014032,"ns":120,"title":"Item:Q3003308","lastrevid":58096998,"modified":"2026-04-03T19:13:15Z","type":"item","id":"Q3003308","labels":{"en":{"language":"en","value":"A calculus for costed computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900061"}},"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":"Q3003308$1526F66C-9FF4-47DD-8925-CBE2E05BEA17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e75e98e7b3d9b857a58d99948506e5d74a8ca60f","datavalue":{"value":{"text":"A calculus for costed computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003308$DDE93BBE-FA51-4190-9DDF-58BBB8C6551C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95db958e882e9862b1b70b86190d1829a860a21f","datavalue":{"value":"1213.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003308$5670865A-205D-4980-B8D4-3CDC153624F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32a56d9924f1feb3928f1189fc453b60828a96bf","datavalue":{"value":"10.2168/LMCS-7(1:7)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003308$32EB5CF0-FA71-449B-BCCE-376E8C4458E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003308$53C3A5F6-25BC-4ED1-8694-F2CB524AB9C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003308$30AA2A6C-9695-4D49-AF31-3539D3D5C031","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93309afb8bc211b8daedd0ec36ca4434c033db67","datavalue":{"value":"https://arxiv.org/abs/1011.6308","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003308$AE182D00-4C3C-448A-8AC6-C5B25AF7ED01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003308$9CA826C8-5A3D-40BB-ADEA-79B575F5BAAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4304d7ec6e48a07190b696ff2948763d276c2f7","datavalue":{"value":"5900061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003308$00E5D7A9-AC41-4F3F-824F-7081B74F4C94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003308$773917AC-EC4F-4737-B2B5-646AA8A6ACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd8eded4c3e41e4de8044cb30928abf4579fa27","datavalue":{"value":"cost","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003308$02A46CAB-4DA8-456E-8413-F2637781A7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003308$7F624B81-BF8A-401D-B015-770AEF03EDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003308$1861189E-C541-4ABB-8795-75E9D90B7769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a506a07d7234e249fefb9fabeadd0e51bbef5421","datavalue":{"value":"amortisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003308$22294405-CD21-4D19-9AAC-BB63A0A9C6AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003308$45698EE7-B939-4635-B958-CD88A1D46422","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":"Q3003308$7EF1D853-FEB8-40CF-BD48-D7314C169C1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddfd5ffac11f0cf83dca37a56f116495e8891c05","datavalue":{"value":"W2963689864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003308$78B9401A-5BEA-45FB-9591-36A8A299AE57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cb1293426b4faa5caa0f5e2e014e44114cf164","datavalue":{"value":{"entity-type":"item","numeric-id":5166616,"id":"Q5166616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8912fe21c3d221af590f1de3e655e53d62d9dc","datavalue":{"value":{"amount":"+0.9065555334091188","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":"Q3003308$4E69B814-6ECE-4690-8839-961FAC20FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aff1559e7aa3ca7004a413641a7627b7081e81c","datavalue":{"value":{"entity-type":"item","numeric-id":5495108,"id":"Q5495108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055ba97d3fec07931591b64ba3c02a102fd69b50","datavalue":{"value":{"amount":"+0.7585768103599548","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":"Q3003308$D38AE2EB-6B3E-4F8B-BE4D-A9BAA9885054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f5cc3f7fd19147ef69fe2a03df5bea76cc3fc6","datavalue":{"value":{"entity-type":"item","numeric-id":5739364,"id":"Q5739364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8a9945ee3bd0effec24e3ac58308db9afa9f9a","datavalue":{"value":{"amount":"+0.7583912014961243","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":"Q3003308$837ACF05-337B-488B-8799-8F6AD8ACDCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3241a575b8b57b58712e360bddbb79429cfc1d92","datavalue":{"value":{"entity-type":"item","numeric-id":4673436,"id":"Q4673436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c825c353c886ace41b7fa4c00d6e44fdd35b1e67","datavalue":{"value":{"amount":"+0.7504174709320068","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":"Q3003308$1FEB1260-D303-430F-8583-1F75FD1C9559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07497263fe2a44484a97ecd8f44349181654737","datavalue":{"value":{"amount":"+0.7441424131393433","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":"Q3003308$DC8F2794-B746-43BD-9B6A-89C66B3D44FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003308"}}}}}