{"entities":{"Q2366167":{"pageid":2376910,"ns":120,"title":"Item:Q2366167","lastrevid":78676343,"modified":"2026-05-06T12:10:31Z","type":"item","id":"Q2366167","labels":{"en":{"language":"en","value":"Equality of agent expressions is preserved under an extension of the universe of actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223332"}},"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":"Q2366167$4998CBD8-A00E-4EE9-A1F5-FB5249A0E2E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"771e1dfe082679ccbdad9d21f10a1471baedfdd3","datavalue":{"value":{"text":"Equality of agent expressions is preserved under an extension of the universe of actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366167$FACC616E-04BB-47E6-BEE8-5FA5E92B0A1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2787134ddd990a2b46b01a3a220e778ec342089","datavalue":{"value":"0781.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366167$6E0B1172-3E0F-4A17-BA31-15558DE63581","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc8cc96f9a41280d8ecce617e747466312d27185","datavalue":{"value":"10.1007/BF01211317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366167$35C28BB4-8452-4D02-8AF8-1EBF96D0BA2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366167$E6890358-A1BB-4FDD-8937-56C1A34E0F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6caec4e9d49e32f5195a34995a38b886bb43ebe9","datavalue":{"value":{"entity-type":"item","numeric-id":434469,"id":"Q434469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366167$6BF59D30-B604-4029-A829-0C1A9EF7951F","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":"Q2366167$167EDFF7-8454-414C-AEC8-EFF82985E7CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366167$11E72DAC-9158-4488-A8FD-C64A7A9B5C9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61d0c6aa703e544b28a04855d8d34741d68ed411","datavalue":{"value":"In a basic agent calculus, equality often links the agents which provide the same external behaviour in any context. Since the universe of agents and the universe of contexts depend on the used action set, equality depends a priori on this set of actions. We show here that if we select from the universe of agents, two agents which are equal, they are also equal if we extend the universe of actions (and consequently if we extend the universe of agents and contexts).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366167$3EF460DD-0F8A-4F9A-8099-6D0AC2AD983F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366167$E4143059-6176-460B-A2C6-F92D45D22936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33fddfa3c7658408811f2d64ab77e78180849d54","datavalue":{"value":"223332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366167$EB1526A0-405B-4C00-8662-D02273306A25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc1d56ef3e10d18c188443697156cb72420069d4","datavalue":{"value":"agent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366167$4F9B895D-ACC4-4076-8288-979760EEE3DF","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":"Q2366167$911E14B3-2CE4-4E3E-A1B6-BA93B0AE3B12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf16a30b197dd393a2021c38d09affdcbe8d7c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5724308,"id":"Q5724308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366167$24EAF4A0-D7AE-497B-8F90-06A105B0A848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366167$F3E45D12-28D6-40EF-8C07-ABD500B882D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366167$C1DE911F-54EC-45D9-B394-652C0C749451","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7ee5c5d41ba6647165a5542c4db5f7a85441bdb","datavalue":{"value":"https://doi.org/10.1007/bf01211317","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366167$7FB92126-E895-4B69-9A86-D59F4327E0F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"808f22743da3c06900ff5a24d414c0532bec7dfa","datavalue":{"value":"W2000536941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366167$D226C33A-D38A-41BE-B171-26B1942685E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c59862866db5198eafe3a342e09b54178e1005","datavalue":{"value":{"entity-type":"item","numeric-id":3172828,"id":"Q3172828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ce47160ba73117cb48c155a17fd1f97b4ef4ad","datavalue":{"value":{"amount":"+0.7934987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$F8B86785-83A8-4079-9558-64811D698137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210b9b9be3151ff4b6d9df41b9fdb919c6445fed","datavalue":{"value":{"entity-type":"item","numeric-id":2938514,"id":"Q2938514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e82451948d9dcaf5485c9380dfa41fdc1152f1","datavalue":{"value":{"amount":"+0.78986216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$46949084-60EF-4A73-AFB9-26CF7637665C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0a84790bf037aa3d27f3addf416190de5f79a3","datavalue":{"value":{"entity-type":"item","numeric-id":627723,"id":"Q627723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77bc3174557c1bb957f683c53c02ae7481ebc9b","datavalue":{"value":{"amount":"+0.7843302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$69E2218E-94D0-4ED5-8EF2-1A01DB0556AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f883cb9f1820dcd433a6017c3cbda41487d8304","datavalue":{"value":{"entity-type":"item","numeric-id":4517383,"id":"Q4517383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0164c67c6bc05b549961f512312a2174dbb6110","datavalue":{"value":{"amount":"+0.7822263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$22DC6617-D3FE-4434-BABE-4E3C176237C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ab1abe7c04f7eaa24b432bbcd779e9db81c0f5","datavalue":{"value":{"entity-type":"item","numeric-id":5695181,"id":"Q5695181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e9a85752f7ca48e6aff6b352021aee4afd3fd1","datavalue":{"value":{"amount":"+0.77587694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$D92A1340-B239-42CB-99F4-3B3728DB102A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b450d33e72aa6357c3a1fda7704ee09e4f736e01","datavalue":{"value":{"entity-type":"item","numeric-id":5204358,"id":"Q5204358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76ab54a42b6a54ae2b04b61248b7ac24e82a2ed","datavalue":{"value":{"amount":"+0.7738841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$62A28890-1332-4771-887A-A0D0E682BC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054ef30f71dacf8ea5420b7cbb4d6c41ab4d78e8","datavalue":{"value":{"entity-type":"item","numeric-id":2016056,"id":"Q2016056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642f2715b889d1f564f579d76e6bb7d2ba5437f5","datavalue":{"value":{"amount":"+0.77140534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$D3A08E33-1A95-4B23-BFD1-02159ACE62D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e3e636a3b31875e3ce55e557d4d0b744538a90","datavalue":{"value":{"entity-type":"item","numeric-id":1183473,"id":"Q1183473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d6711d1ba224178800d5735eff7b6e278d098f","datavalue":{"value":{"amount":"+0.77119607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$4FB50BAE-20CC-4F5B-81EF-8BC2999C0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2979c29ffe68c1267a840f5ce61ec5aa5fe94bb","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1366a0f147c64579e119325831db1c1f02a10e8","datavalue":{"value":{"amount":"+0.76938516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366167$68FEF5E2-3936-4C78-8D30-6D07A1207E75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equality of agent expressions is preserved under an extension of the universe of actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equality_of_agent_expressions_is_preserved_under_an_extension_of_the_universe_of_actions"}}}}}