{"entities":{"Q2843863":{"pageid":2854583,"ns":120,"title":"Item:Q2843863","lastrevid":51807266,"modified":"2026-01-20T03:46:41Z","type":"item","id":"Q2843863","labels":{"en":{"language":"en","value":"A modular formal semantics for Ptolemy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201515"}},"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":"Q2843863$D08F0B93-6EC8-40E6-9371-BAF22932146C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43e230a119d6053f4f4cee60bb4eeae918c31f76","datavalue":{"value":{"text":"A modular formal semantics for Ptolemy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843863$A99792A8-938F-445C-BF75-C5D19FB20A47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d25ff85e4c47f774dacc6e0ef841e03eb764b077","datavalue":{"value":"1271.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843863$5653C0A9-9F77-42F0-80E2-2645CA6D8A5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bac49b06f35c9594b0e5c14af725f6fefa95de4e","datavalue":{"value":"10.1017/S0960129512000278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843863$52293C40-134C-4567-8C43-A349FD9CE45B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$9BDF41AE-D22D-4274-AC9D-526CCD2409C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8edea242d6935e2e16ff0e0c19169cfeaa05b45e","datavalue":{"value":{"entity-type":"item","numeric-id":2772618,"id":"Q2772618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$08226C7E-6B7C-4B1A-BD54-5F397A9A4576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52ed969349791dd9bb234a810d16a6f6d2b9049","datavalue":{"value":{"entity-type":"item","numeric-id":2843862,"id":"Q2843862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$A0754E7B-5FC5-4027-BC1E-8230D940EAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b45025c0b4e2c334b16ec554536f5a31a12c89c","datavalue":{"value":{"entity-type":"item","numeric-id":1400470,"id":"Q1400470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$1E41BA5C-3184-445D-ACFF-C68F44927334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-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":"Q2843863$AA59E8FC-0D8D-43D4-862E-AC39CB28CDF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843863$4AC2780F-7459-457D-8ACD-CA8FB82F3CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843863$69B746AB-0D02-418C-BFAC-1A9A781E34C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99c9d09c6c563a76806d138faccbbc224b797ca3","datavalue":{"value":"6201515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843863$F4D82D59-3A5D-40E7-973F-1750C0C20701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8827a0d7fbf18e27d178bc242e9fe1818bddc47c","datavalue":{"value":"Ptolemy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843863$E9A82C3E-7B59-46E3-980F-5F2B8C8F92E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193dcdfc1544d65790c92b368135c9312f571352","datavalue":{"value":"Ptolemy II","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843863$4EBB26B1-C5FF-4982-BFA9-839D71017DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843863$9F9CDC25-52CC-4C5E-A3D0-31389B946165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843863$7C29C6A3-4D53-48A0-961D-E5AB9DB55E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843863$C3CE27A8-6A53-428A-8077-FE264E9D834F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843863$AF9F9759-61EF-45E3-8B2C-FFFEB93008C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$18B02F0C-E112-4433-89FA-138DCC4B7BBE","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":"Q2843863$BF858ED5-2EA2-4252-853B-0E00184B5ACF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$D8DBB5AA-1EA6-49BE-B189-753C93166FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36a56185d5cb7ec559727a3973a0388152cdf84","datavalue":{"value":{"entity-type":"item","numeric-id":1001804,"id":"Q1001804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$C54F8AC9-B69F-442C-9C5A-0C12EC9A85A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$BEA39D59-1DB1-4B27-9C7B-FCD6751C8FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$624540D4-DD56-41FE-B270-FD259A4DB210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef53aa7b0910a4a6d21198980e97e56e78b3aafa","datavalue":{"value":{"entity-type":"item","numeric-id":3541041,"id":"Q3541041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$163C091F-4F17-4257-9B66-2BC7D4F2B5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6388a58e343ae294d6675b7c9fd55b52f4f5ba6e","datavalue":{"value":{"entity-type":"item","numeric-id":3624561,"id":"Q3624561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$363A3B61-71A6-4A08-B421-CA77053F2AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8762429455d88d459876b47afb6551be52bbc56f","datavalue":{"value":{"entity-type":"item","numeric-id":1870864,"id":"Q1870864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$E4CC1D18-841F-4E9A-B38E-D27858DC4C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f70df03408efde10538b5850eb7ec92cf3ca64","datavalue":{"value":{"entity-type":"item","numeric-id":3546383,"id":"Q3546383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$D6F1B18C-7E13-43B8-BD72-5BC4BAC38480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2607407ec835400cb71230893b4a8673479e84b9","datavalue":{"value":{"entity-type":"item","numeric-id":5747537,"id":"Q5747537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$378EF902-16EC-48BC-BF94-90B2CF42F7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81423737e3fc8b7dbe65ae0ade5f5943aeda2a4","datavalue":{"value":{"entity-type":"item","numeric-id":5756605,"id":"Q5756605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$9E7E4F4C-0CFF-44DD-9703-49828222903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc53649ef4f483547534336bf33b2785302d09d","datavalue":{"value":{"entity-type":"item","numeric-id":959824,"id":"Q959824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$FB1E7372-EFE4-47A3-B647-4F379A12EB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9942e9f1e7dd047feb564c1ebb997f32e1d2a390","datavalue":{"value":{"entity-type":"item","numeric-id":1346621,"id":"Q1346621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$CBE7A55E-95C0-49BE-B9A1-F5BF45AA4FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6037efbf52175621d2e54b4e8a5852d28a02589","datavalue":{"value":{"entity-type":"item","numeric-id":1951606,"id":"Q1951606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$6099944A-EE39-4F17-B10E-28D6C20265A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$A2CDB445-BABC-47C2-928B-A515A180C6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$F48A9F05-3EA9-4257-B158-CC1D1738C749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$77938684-1131-4D53-B95B-6E79281225E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c034a1a7dc1ea7652678983f72e97f7f03de923d","datavalue":{"value":"https://doi.org/10.1017/s0960129512000278","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843863$C4820C91-D8CF-4CB8-B86D-FD86509A9309","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21bdcd7fd7530aeed3223d45b390464ae41ca9fb","datavalue":{"value":"W2056130726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843863$D02804C3-661D-4267-AEC8-059E16EB1004","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843863$D167E257-B7AD-4DD7-BE14-4CB29AEDD7E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d571a27c92b6325d3d6620f07c598257f8fabc","datavalue":{"value":{"entity-type":"item","numeric-id":706495,"id":"Q706495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3873beb58c783efde4f462b8500fe4c0f0c5ed8","datavalue":{"value":{"amount":"+0.7284190058708191","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":"Q2843863$7E5809B5-9000-4025-92F4-4C6060F88CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22473d5c6fdb51d484cc5947eaf74fad0832b98d","datavalue":{"value":{"entity-type":"item","numeric-id":3624561,"id":"Q3624561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd65bff3efa484ab131a05699187c6863f7c723","datavalue":{"value":{"amount":"+0.717434287071228","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":"Q2843863$3CFB8D9F-1A48-4A42-8B63-039D0CED7159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5116b9ffe707b1f65281ee6700781d93188679a6","datavalue":{"value":{"entity-type":"item","numeric-id":1290314,"id":"Q1290314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63b2a89d1141371e66fea5df3e4b15388d89aaf","datavalue":{"value":{"amount":"+0.7126234769821167","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":"Q2843863$E5C215A5-9D11-45BA-A7C7-612960BC0874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f294a6c798eeb8cd5273ee724311ca4823312","datavalue":{"value":{"entity-type":"item","numeric-id":4233993,"id":"Q4233993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63b2a89d1141371e66fea5df3e4b15388d89aaf","datavalue":{"value":{"amount":"+0.7126234769821167","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":"Q2843863$8D408553-691C-4860-AE56-0FB0A2B83478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f39e69df1578cdf4c7123318c91b26b43fdff0","datavalue":{"value":{"entity-type":"item","numeric-id":1951606,"id":"Q1951606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeeb8369730136c312628e1910000a322ca0754b","datavalue":{"value":{"amount":"+0.7016571164131165","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":"Q2843863$4713EB2A-C646-4379-8E89-3219D48ECB24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843863"}}}}}