{"entities":{"Q1882802":{"pageid":1893544,"ns":120,"title":"Item:Q1882802","lastrevid":73052586,"modified":"2026-04-14T09:56:34Z","type":"item","id":"Q1882802","labels":{"en":{"language":"en","value":"A behavioral type system and its application in Ptolemy II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2105176"}},"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":"Q1882802$449D45EF-7585-45B7-80F8-FADE59644FF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe8953f298357341a62f0dde56f85bcdfbcffb74","datavalue":{"value":{"text":"A behavioral type system and its application in Ptolemy II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1882802$9F853D76-9FC0-4D72-9F02-60A2550DBE3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10536fdfb3df774ea18fca65f20367d53fdebc75","datavalue":{"value":"1086.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882802$E3B14901-D279-4241-AD42-639658E28692","rank":"normal"}],"P16":[{"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":"Q1882802$6C894142-D71D-4D11-BC6E-FEF32A3C0C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e22592a0dd0fe3be90131fb8667bfd23661dfd06","datavalue":{"value":{"entity-type":"item","numeric-id":1882801,"id":"Q1882801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882802$99B786E8-FED5-4A33-B467-BF3980A4DCB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882802$35E8D361-75F8-4A5A-8DD9-E593B4E4FFC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221b8cdf103f88fa9a30fbc31f4b00396bad2596","datavalue":{"value":{"time":"+2004-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":"Q1882802$C63CA9A3-66A9-4D1A-BAE9-718D779498B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7977b9fcbcad15116b34fb6dffec7c6b2dc6f5a","datavalue":{"value":"https://escholarship.org/uc/item/1nr5n0ps","type":"string"},"datatype":"url"},"type":"statement","id":"Q1882802$1503EFCC-05FF-4F50-869A-7DF598C4313D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882802$504766D0-F441-409E-90CD-C24F5372EF98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc18810100e3162e22c763ce6ca1a67c658c0ac6","datavalue":{"value":"2105176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882802$E61E81CA-351B-4B9A-B117-6BFA934DF770","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20de9b2e36a3a1be7c4d5aa21085242e411e3aa","datavalue":{"value":"Behavioral types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882802$6FB2704E-D718-49BF-B192-E04BFF90761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa5ffc57f6cb7b644d965b50a8242298222ea345","datavalue":{"value":"Behavioral subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882802$4B97B613-FBA9-47FD-9561-B1D11CCF2B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b040c17cd006fe1e54ff4c487bec68394ac8104e","datavalue":{"value":"Component-based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882802$1E7F2972-3178-4AAB-A935-8A080CE87802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82dc9fd1464a6bbacfab28493242e5c70054ce87","datavalue":{"value":"Interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882802$A2A8FD2D-13F6-4F30-BFAE-8430F3474238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d6cd4615e6bea489131db0aa9f78b92cd53588","datavalue":{"value":"Polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882802$1532315C-B2F7-4234-BE90-AE6F10A95D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e9fde3ef4bf7eb29c6a5a5e723e4e4d59f517e9","datavalue":{"value":"Alternating simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882802$430791B9-41AC-4B70-BEBF-C2FE8E732B86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882802$CDC3B2D6-7250-47AE-9E21-4CFF1F4EAA89","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":"Q1882802$0FBAFAD0-3137-44D7-BA2E-2ADAC0DD701C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae65c16444ef079c50cb39ef8bfb0f3ed6da5ff5","datavalue":{"value":"W2002763600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882802$A52A0D4E-078D-4401-8EC8-1F3799714F8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6382780a30a2078c5931e50fddc4533b45e1a15d","datavalue":{"value":"10.1007/S00165-004-0043-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882802$E9D2792A-0613-4FF4-B7EC-914EA8D2EF5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b527b2b7efd2f8e68cdcfc54a0b1f91f0fd4dc98","datavalue":{"value":{"entity-type":"item","numeric-id":4473726,"id":"Q4473726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2377166bd26b45f4be33941f3a61892a11070fa0","datavalue":{"value":{"amount":"+0.8074939846992493","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":"Q1882802$877615DE-8945-448A-8941-2E2E538699A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee23ae6395f70332af1df4fd2e8ed5f24ac163fb","datavalue":{"value":{"entity-type":"item","numeric-id":2729064,"id":"Q2729064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d958a4236064b056adf4084593c82d085558d3d2","datavalue":{"value":{"amount":"+0.7685734033584595","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":"Q1882802$8F1D370E-5475-4018-AB1D-B368ACB1CC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03519ceb3c2035366e2bed99bd937f1336fd9a20","datavalue":{"value":{"entity-type":"item","numeric-id":3413374,"id":"Q3413374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2218c254a6354d8f7b8bfaab159f7beeeb31468","datavalue":{"value":{"amount":"+0.7200483679771423","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":"Q1882802$A8AE89E3-FECC-451F-A190-0276D54172A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553831ace29e960463955ff60b91e5d2d70fa251","datavalue":{"value":{"entity-type":"item","numeric-id":3065298,"id":"Q3065298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b821122d9c94f1b2f63fcd0502bcda2dd0cab65a","datavalue":{"value":{"amount":"+0.709360659122467","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":"Q1882802$4C885EED-1FAF-4AEB-BF28-38D44BBE5F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7284c918bad484b4f42534d32fa7a14c045c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5313011,"id":"Q5313011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a315174da2d39d8db13c1c5fd37fc305892a5096","datavalue":{"value":{"amount":"+0.7083405256271362","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":"Q1882802$38792955-34BE-42C3-AE8A-9686251FA046","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A behavioral type system and its application in Ptolemy II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_behavioral_type_system_and_its_application_in_Ptolemy_II"}}}}}