{"entities":{"Q6851649":{"pageid":20606557,"ns":120,"title":"Item:Q6851649","lastrevid":75073387,"modified":"2026-04-17T18:17:25Z","type":"item","id":"Q6851649","labels":{"en":{"language":"en","value":"Extensional and non-extensional functions as processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165621"}},"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":"Q6851649$47D4219F-9955-40B4-ABC4-E96C8757A806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f45333f8af4684015e3cb298f7e2e2b6c6596404","datavalue":{"value":{"text":"Extensional and non-extensional functions as processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6851649$3233BD52-0546-4AB3-B11B-9256EEF4BC4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71b45749f2b831ed9969c26059d08eb9d25e996e","datavalue":{"value":"10.1109/LICS56636.2023.10175686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851649$874C37A3-502E-4B9D-BCA3-A38AED739731","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0581f98edb9409b3644da18bec1ac1e018640b3","datavalue":{"value":{"entity-type":"item","numeric-id":2145346,"id":"Q2145346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851649$FAA9719D-8822-445B-B931-B158B3FE5690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851649$A0C0D4D8-FE4B-4A7F-ACB1-A124C8F747F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"455f298c112ba20f52f406cc26c4adef06de280f","datavalue":{"value":{"time":"+2026-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6851649$470FF560-0DFB-4366-8F54-34B0CE2CFE4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851649$ABB90B13-C0F8-4B53-A297-00B8423A1012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78cd35d4e2d35390e0d25dc61e51ca3c43f852f4","datavalue":{"value":"8165621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851649$62033E03-839C-497D-8410-92A66AB1A2D7","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":"Q6851649$9FE01237-5C8A-4B4D-9060-60B432223FD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensional and non-extensional functions as processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensional_and_non-extensional_functions_as_processes"}}}}}