{"entities":{"Q5900554":{"pageid":8006228,"ns":120,"title":"Item:Q5900554","lastrevid":50943212,"modified":"2026-01-15T21:02:30Z","type":"item","id":"Q5900554","labels":{"en":{"language":"en","value":"Type systems for concurrent programs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688193"}},"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":"Q5900554$620F7E45-0A4F-4AF2-90D6-C5DB9F11778A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61ea6ce0583a713bf659f3aab8125ec2423a3e4e","datavalue":{"value":{"text":"Formal Methods at the Crossroads. From Panacea to Foundational Support","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900554$295E6F12-51EB-41A2-B2BE-09FEBC7E1ABE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03e865f3755dfa6639eaddd2db1ac5f8153d9bcd","datavalue":{"value":"1274.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900554$31D9F6DF-1DDF-4A4F-996F-E07E480797F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900554$028E5D8C-C7F5-4FD8-9E77-2C032D45D0A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900554$98DFCE13-4060-4162-92B5-81DA17487B83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad85b41ac0afe13597f905f95a4baafcdea7919","datavalue":{"value":{"time":"+2010-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900554$85E345C5-7C47-48A7-BC58-31F10E78C812","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900554$C3C70551-57E8-42C0-9728-1787CF9025FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8d3cd2aa057bde6d0f0fb4f3c8581618a5656e0","datavalue":{"value":"5688193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900554$28B766CB-5611-4354-92B4-76B23EDD0488","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":"Q5900554$7476B334-5B0A-4A71-AEAC-02552B39879C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727368da10bdb22998a905c1920bc2ae3268c832","datavalue":{"value":"https://doi.org/10.1007/b11934","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900554$62F39F93-3166-48D3-BF14-B3971BF348DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f4c9d74ca971e78f431b158c9d3119ec2ef622d","datavalue":{"value":"W2490478666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900554$08B24AA4-0EE2-4286-8B60-4E403ADA5837","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"673f1d7775307f5051a62e29839517d850980a3f","datavalue":{"value":"10.1007/B11934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900554$D58B8B65-1025-46A7-9006-786993C8B164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd6681407128a813f4543a95793aff6f70d9269","datavalue":{"value":{"entity-type":"item","numeric-id":4827896,"id":"Q4827896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5c1096f09c791f7ba6cb4c66c67ca0863be708","datavalue":{"value":{"amount":"+0.7922094464302063","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":"Q5900554$C5BB7DED-93D4-4921-A20B-9A03F1037C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4d57993d0a1ef9b65ca9fb031e470face70dee","datavalue":{"value":{"entity-type":"item","numeric-id":4536437,"id":"Q4536437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65b109ca373c3a434f03dfa0052d1761a88278d","datavalue":{"value":{"amount":"+0.7815750241279602","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":"Q5900554$1A7AC51B-145D-489C-89E7-6E4F7DC65C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a427cda6a5ce6bbe52dbc17b0c215b61bb5d2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2827445,"id":"Q2827445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22de9259541d6e6f74fafc1f89165a2a149b6673","datavalue":{"value":{"amount":"+0.7807510495185852","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":"Q5900554$F88AF039-E903-452F-B5CD-99E7637AED1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1e1241fdb9b4eed8c3adace471561e0f761f88","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d042e95e4d5c9990e77f72b6aae3e09585d0d84b","datavalue":{"value":{"amount":"+0.7746989727020264","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":"Q5900554$CE4DA51C-BB59-4F92-897E-22F0D3EEB655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e4ecedc9308019d8f3f66a1e6a7466170b5d68","datavalue":{"value":{"entity-type":"item","numeric-id":3105092,"id":"Q3105092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e8f1027ccf2af738d60b1e50f28c417a54b6fa","datavalue":{"value":{"amount":"+0.7605808973312378","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":"Q5900554$8C7A7BA6-08F8-4618-AA32-0F8997B6750A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900554"}}}}}