{"entities":{"Q5892063":{"pageid":7929530,"ns":120,"title":"Item:Q5892063","lastrevid":52173002,"modified":"2026-01-21T02:25:20Z","type":"item","id":"Q5892063","labels":{"en":{"language":"en","value":"Decidability problems for actor systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386944"}},"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":"Q5892063$60B1F1D1-9E20-46FB-9874-8617F71E73E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57b4ff1b206b4ed0e41a5acb18c111ce3a9da57a","datavalue":{"value":{"text":"Decidability Problems for Actor Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892063$C3498C2B-C04D-4528-875B-849BAF44992D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50c85082697f48bb24fd86412da0eaf47b222d57","datavalue":{"value":"1448.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892063$70AC570B-4B35-4058-9EA4-6D06F037980E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6252333de2d3bf4402481a31bc78ca60db74ef25","datavalue":{"value":"10.2168/LMCS-10(4:5)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892063$B39D2829-5E43-4F01-8F99-4C427B42D1C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5919aa96fdb1a61d85b2a5afbe0cabe9538a82","datavalue":{"value":{"entity-type":"item","numeric-id":2912702,"id":"Q2912702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892063$3DF237ED-48D9-4F26-80A1-CECB0DDA99E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d91e0796f4c68c98b603f92340529dc983950b","datavalue":{"value":{"entity-type":"item","numeric-id":418829,"id":"Q418829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892063$20F3F3B4-A9C8-45B5-A75C-F2F6D02D4AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892063$86B07D38-76B6-44A4-8E91-B2B270C60358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4fe1735c78ca8836fdfaabad4ce3df9d1388e57","datavalue":{"value":{"entity-type":"item","numeric-id":493532,"id":"Q493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892063$23D948BD-7F47-4FC9-A0FD-E88D79102E86","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":"Q5892063$9F3FF315-0820-4783-B722-8CBE85F86935","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"335462bcdc617573e4ae73f7b94853be1e60308d","datavalue":{"value":{"time":"+2015-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892063$C2E4A403-490F-4858-BE63-E583A61C7E0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892063$27E41A11-57BF-42F7-895F-A1796A0EC2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892063$39972FDA-4C89-4B88-ABBC-030738BD8F0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1802e169e6e2d8b3f839c741a520159343ddb90e","datavalue":{"value":"6386944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892063$B1D0AE18-2A42-4D5B-B32E-B6751D8ACF2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c4151d58347ced492c0d0ebab83548fc462487","datavalue":{"value":"actors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892063$68616DA5-95CD-4E58-92A0-CA9443E280E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b4ecd071cdcafdaee25846af20bc0dbf434df4","datavalue":{"value":"restful services","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892063$4D1F0FA6-7AC7-4D53-8919-B6A7961E42CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3400e4bac6bbc391bc740ec88c24476116b1969f","datavalue":{"value":"decidability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892063$3A8E501F-9686-4261-9C13-20C826D64814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7fb2e54cfb1669ab8a52ddc67aee99a52e08ab5","datavalue":{"value":"2-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892063$4D1FB87B-8680-4058-A362-28C262006989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892063$F0CFF18B-CB83-476B-9712-3FB5A3B8B10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cfee595fb9a49272479de0ad2956a8197bb0c88","datavalue":{"value":"embedding relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892063$D388EAA6-1044-4DBD-ACF2-A9042569E73B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2de592e7c332d7c936ca6697a09b20d0164a7954","datavalue":{"value":{"entity-type":"item","numeric-id":21405,"id":"Q21405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892063$4DD84BB6-BFFD-43E4-BFD5-16DF6BEE0A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ada2393fdff33ea87816d7419cee35b3971b7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":21406,"id":"Q21406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892063$4A4DF6BF-19B0-45F7-9EF2-5DFABF120957","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":"Q5892063$1949B10F-872A-409F-8799-8448600F51A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e2c1a5f01a71c6531d46dc94f92ffa52047e023","datavalue":{"value":"https://doi.org/10.2168/lmcs-10(4:5)2014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892063$5C4F0488-5647-4365-BAFD-B5F2487B7E72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d6dde21cb4ebc1eea7dd4b150eeab874ae0657d","datavalue":{"value":"W2408739263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892063$1C8668C4-178D-4D35-B242-F97D6DA30BB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bbc714db7da0d2cc680391f7d83e5c17dd2783","datavalue":{"value":{"entity-type":"item","numeric-id":5891762,"id":"Q5891762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b001eb2232fde1a00c25e747cc4ea450f630b5","datavalue":{"value":{"amount":"+0.9987325072288512","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":"Q5892063$44A61463-2DD1-48F3-96F6-A66C7435424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850a7331703938eb908d4df7e128267eace34ab4","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77485dd3b11f49fd0e829155cb445b13ebda231","datavalue":{"value":{"amount":"+0.7376998066902161","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":"Q5892063$525928FF-59DC-401E-9E15-4F11A693FFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50181b29e5d2a25af61306fd84291fe65c150e96","datavalue":{"value":{"entity-type":"item","numeric-id":3201754,"id":"Q3201754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d15b801cf4ada7679fcf4a3b864cfa7c8482835","datavalue":{"value":{"amount":"+0.7104833722114563","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":"Q5892063$53408B8A-A77B-400E-A1CD-60ABA3D7D937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dac353e0c073c41841b2dd96dde4bcca87104aa","datavalue":{"value":{"entity-type":"item","numeric-id":1575845,"id":"Q1575845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08324a357177a61c6bdeda6597b74aca6fb0007","datavalue":{"value":{"amount":"+0.701673686504364","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":"Q5892063$8D0F2E7B-C590-4F88-82F8-2357F6C313CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb0ce59f4acdf7219238aeb4281a191e9c8cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":4917084,"id":"Q4917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffed1234c094980d27f0be2a80b0e543ad6d4af5","datavalue":{"value":{"amount":"+0.6993271112442017","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":"Q5892063$AE56AA1A-FA8A-42E4-B273-10A1C471C537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892063"}}}}}