{"entities":{"Q4379680":{"pageid":6409279,"ns":120,"title":"Item:Q4379680","lastrevid":46981500,"modified":"2025-12-25T23:58:50Z","type":"item","id":"Q4379680","labels":{"en":{"language":"en","value":"Categorical logic of names and abstraction in action calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123624"}},"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":"Q4379680$9E54DEC7-A6CA-4EC6-9D8A-67146BF799ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e369f33e30a4d2fd6e969dce7c8f3e0a77e7391e","datavalue":{"value":{"text":"Categorical logic of names and abstraction in action calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4379680$36085C96-11EA-4141-BB1A-680D426BEF5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec5a3591b594983128af86d27c4b26fd6a73d314","datavalue":{"value":"0893.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379680$AA58CA5B-B57E-43C2-846A-21C14D2BF7D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e899c4e0f2aa3d8416d8a7d57800ce56ba278bdf","datavalue":{"value":"10.1017/S0960129597002296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379680$39AA1DFF-4E38-4C69-8411-10F0385730A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b294a68ed8bb955f0c6a71e05a0e688382d76dd","datavalue":{"value":{"entity-type":"item","numeric-id":276487,"id":"Q276487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379680$775FF457-B67D-4BC1-ABA4-ED526635493B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379680$E5F64A71-4F63-4A03-B466-7D2021AD809D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9d6f5a9f715374e026f7d9de7084a499dad06e8","datavalue":{"value":{"time":"+1998-03-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":"Q4379680$3A74DE5D-A752-4A86-BC7A-074E33F9A990","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379680$22AFCAC0-DF46-4EC6-A7FE-115DE7BBD045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379680$FD048286-9560-4BE8-A78A-3536C521467D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379680$3764E780-448E-4662-B775-2BFEFAFEE258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379680$5EFE2039-866E-4ED6-9B51-00E83310DB9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050e25941ff7dfc51b59a09d4948fc6509079290","datavalue":{"value":"1123624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379680$26475DB2-53CD-48FA-9D45-2B97CAC709E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ee63d48339dbb4b2dfb119c74fc9b28afe40b6","datavalue":{"value":"action calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379680$390EAF36-966C-4390-8369-1C150630D14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379680$68D18342-4B6A-44A7-AD02-43298F669439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379680$74D02DA8-9F23-487F-9DD8-FBD364CF84B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bd08455d28128c6d5bacfa9870acf2d5f98485","datavalue":{"value":"symmetric monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379680$1431A029-C7EA-4D35-944F-1CA83D998BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379680$0CDF1E43-F160-4982-B085-6B0E4DB5F2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58b9e265bdd69d798e593d2bf6fc191eb4895a01","datavalue":{"value":"action categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379680$1AF7EECD-2BC8-41BF-9358-647A90FF45F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1749747704ebc7199239b1f8555d4b19a417c93","datavalue":{"value":"Moggi monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379680$1EAB9945-E318-4049-815F-E9C79F325556","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":"Q4379680$7EB28543-1283-4A5E-8DA4-B46F3BD06A9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf5732d0bab51ad6d588dc4a346107986e67dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4525288,"id":"Q4525288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e2f57a236d9112ee3d870498ae4042b118aa73","datavalue":{"value":{"amount":"+0.7595475912094116","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":"Q4379680$1FFF0556-D3E9-46AE-A4B1-3271FDD6AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56382ca44273e742be320eef7e76daf3d160bd16","datavalue":{"value":{"entity-type":"item","numeric-id":1575888,"id":"Q1575888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ef28ca8b798180d5fc60c6fd643061f7c2995e","datavalue":{"value":{"amount":"+0.7482749819755554","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":"Q4379680$21102031-AD52-49C2-B120-0B7E5934E2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d683a913c71d21210db3c21085a8f247d99e58","datavalue":{"value":{"entity-type":"item","numeric-id":1901716,"id":"Q1901716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ad27fd9909dc5cc43a7311ae7e78d85a828e4b","datavalue":{"value":{"amount":"+0.7469868063926697","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":"Q4379680$72B6117F-9300-43EF-B059-CFC0BA018546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ab3f4a5b25ba8f06845111bd4bcd606ff2df92","datavalue":{"value":{"entity-type":"item","numeric-id":4364401,"id":"Q4364401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a7c84b051a020b1d6e8195a9edadc3dbb66407","datavalue":{"value":{"amount":"+0.7447192668914795","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":"Q4379680$B055D99E-46E1-40F1-98BD-69D1AC1C0AB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4379680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4379680"}}}}}