{"entities":{"Q2863849":{"pageid":2874569,"ns":120,"title":"Item:Q2863849","lastrevid":83827061,"modified":"2026-05-07T12:08:26Z","type":"item","id":"Q2863849","labels":{"en":{"language":"en","value":"Actors and logical analysis of interactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235717"}},"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":"Q2863849$32ED8D5B-E8B7-4698-828F-5735F816EB24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f774a55974b6dd310fed74070a0af7ecf8b64bb","datavalue":{"value":"1276.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863849$E57B72C9-D395-497A-B807-A759C82F38EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863849$17D12811-8EE6-4058-B0D5-F446C984F57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863849$6E97F16B-594B-4A79-A818-CE5C21AA8701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863849$8EBD662C-401F-4039-A0EB-CBE8198ED0EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5141d9e693dd61416a41a5c2e3f39b2c823fd0f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051923?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863849$80C8DC55-B93E-4D47-B54F-6D2BB9984C47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863849$0AEA21B9-B82D-4956-B514-9CDA4F507754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863849$3F16298D-58EC-4312-8B14-7D402DA1AF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863849$ECFB8EDF-EAB6-4FD2-9785-44EF5180FAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863849$0433D994-ED3E-487B-A8B8-1F0901B5ADC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4df90b7708dd9b07d8e92fbd05b0239aac5e9fd4","datavalue":{"value":"6235717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863849$FC42253B-5863-48F4-8B58-C6AF85EDC586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c4151d58347ced492c0d0ebab83548fc462487","datavalue":{"value":"actors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863849$4411CA4E-D071-43CC-88B5-13168561A8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5253adf80ccaa63b64b83319dd4776cff88fd8ab","datavalue":{"value":"interaction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863849$A5BBE9E2-6232-4285-AE32-D04188758C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3518f9419fbc911b17cf6b544dd6c22b23e71793","datavalue":{"value":"Feferman theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863849$2AE8F6F5-C73F-407C-81D1-071E1A0DF15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863849$0256FE89-1B4E-4F9A-8459-D23E3DEDEA38","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":"Q2863849$F04D2F58-5245-45F2-8894-4D126BD4FE93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7d705de833dc087e0ebee84ead663053e9d3c7d","datavalue":{"value":{"text":"Actors and logical analysis of interactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863849$4DD0B940-55F8-4026-BF93-EF1B5F23D0DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4eb96665a781f70141c72e35d5ffe3eb515d38","datavalue":{"value":{"entity-type":"item","numeric-id":1127523,"id":"Q1127523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f97cef201f350c8ceb923cfed708253c2be58fb","datavalue":{"value":{"amount":"+0.7380704879760742","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":"Q2863849$401B48A1-AFBC-43A4-83BC-CB3EDA922F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b01931c3faeff2fe755e714e2c0d66f6a887949","datavalue":{"value":{"entity-type":"item","numeric-id":4928700,"id":"Q4928700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f97cef201f350c8ceb923cfed708253c2be58fb","datavalue":{"value":{"amount":"+0.7380704879760742","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":"Q2863849$BE792B7B-626B-433F-8EF6-C0A819B505D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd0deb70934e576471a815e99fb72d6e5dcba78","datavalue":{"value":{"entity-type":"item","numeric-id":1608923,"id":"Q1608923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6677f734c5805e47d883b68b43a0028f426450c9","datavalue":{"value":{"amount":"+0.7262946367263794","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":"Q2863849$F8757EC2-8F2B-4400-902B-32A7EAAE76D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41faa56932aab37db19bc6c80820aa54bb87800","datavalue":{"value":{"entity-type":"item","numeric-id":4928702,"id":"Q4928702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1933e7e2b2b9dacd12aa31f7014d722c152c3f28","datavalue":{"value":{"amount":"+0.7120031714439392","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":"Q2863849$AAF91B0A-6DF7-46AA-85C3-02DA53CC0144","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":"b25a96ca64c7fa4e7cff1c6d53e96f96ac65fbbc","datavalue":{"value":{"amount":"+0.7107157707214355","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":"Q2863849$5C88AEDC-ABDF-41E6-B245-D0A1BE2DD215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Actors and logical analysis of interactive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Actors_and_logical_analysis_of_interactive_systems"}}}}}