{"entities":{"Q3502660":{"pageid":5532563,"ns":120,"title":"Item:Q3502660","lastrevid":50365418,"modified":"2026-01-13T21:54:42Z","type":"item","id":"Q3502660","labels":{"en":{"language":"en","value":"A Logic for Distributed Higher Order \u03c0-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279207"}},"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":"Q3502660$21632BB1-29E3-458E-A475-E99A4E512DE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b99341b9b4de04617b4e7dfc9be1ab63ef0d1ca","datavalue":{"value":{"text":"A Logic for Distributed Higher Order \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502660$A85EF462-0D6B-428A-A0E4-8966AD4387C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33d8dd4eb1c043f4ff8d67c6fa4a14d0fbc68d9b","datavalue":{"value":"1140.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502660$F82CF566-8285-4C8D-A3A0-86E9A031264F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7999394d539f34ae15eeb2639b0d17696fc56d77","datavalue":{"value":"10.1007/978-3-540-79228-4_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502660$E356DE4B-6488-4416-B67E-350403357786","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dcca5b30d83a2b73153a1fe8ee4cf4295d3114","datavalue":{"value":{"entity-type":"item","numeric-id":442288,"id":"Q442288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$5D8B0634-A655-418C-BDE4-255CEF5C0B7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$5140B2C8-E610-4828-85B9-46CB6ED03D79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q3502660$5F7554AC-9134-4C65-BF18-FD9D99CA769F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502660$9F3B99ED-9B79-48A9-8FF7-C796252865A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502660$7D98BAD5-D7F5-4044-B45A-FE2C20407476","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9ec5231c22f605540d2fc8dc54eef20122f578b","datavalue":{"value":"5279207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502660$C195FC86-4E33-4D03-AA4A-5DB6225DCCA3","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":"Q3502660$8953B2E1-48AB-4F8D-B498-E35BCDA87243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68af542b57e85e65378a7eefecfb7f488dc6749f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79228-4_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502660$8B54DF36-8DB8-463F-9252-3E8A91EBB57B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d37d6707b4dd4d536a746f3dd4a1e3391741221","datavalue":{"value":"W1990965794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502660$CF98D129-6870-468A-A453-0C20D2CFCE84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ced64537c4a2fe23173b170b0f0d0e9f46c3676","datavalue":{"value":{"entity-type":"item","numeric-id":5096732,"id":"Q5096732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$25667C36-8365-4C56-A9BB-8D7BA8ADC5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0604c8e3bda45ea603a13a20f687044590a1d34","datavalue":{"value":{"entity-type":"item","numeric-id":3525077,"id":"Q3525077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$18A5322B-CFE4-4911-8848-57D5B9F676DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db182edce241513a9902528a24fdabe535739aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$0DF9785B-2913-4D30-AAC6-CF6DA6A5F622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4777ba67d503a24baf5f6da1bfdbe7fc15fa520","datavalue":{"value":{"entity-type":"item","numeric-id":2760252,"id":"Q2760252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$546667EB-A0C7-4FBB-82FF-8A601398DE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39dff3f8da19567dde35105f4d4868a36a37de9","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$570CE996-68FB-403F-95AD-77BD301AE89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$598E0F0E-BCAB-4EEE-B665-9E25236C6275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404f64e3ec048ef95a2659b7e9229c34a502aa16","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$57F17769-80B2-484C-8F04-4BC70BEA8B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db463b72293699aa12f14595958b9718ab07d50","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$DA3AE5D3-7273-48C2-87BE-AAAF4020EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$34132119-7B41-4206-8C6E-B1AA92F273E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$9F4BC255-0FED-4CE2-973C-5D5367B3D6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502660$638F56A5-5A9B-48E3-AF41-13D1E5F1902A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becad3aa3627e7507addd85d604b6bb3606cb39a","datavalue":{"value":{"entity-type":"item","numeric-id":3525077,"id":"Q3525077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a75e0bbfc2bf8fc750641e70faca57df324768f","datavalue":{"value":{"amount":"+0.8818473815917969","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":"Q3502660$0D50883B-D94B-4C73-B407-05C063E47841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8d271643e00d66cb5e1383ba626ba5989b0f04","datavalue":{"value":{"entity-type":"item","numeric-id":3541032,"id":"Q3541032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f94ba354617442e4ad7295300ece84607dd947","datavalue":{"value":{"amount":"+0.8546923995018005","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":"Q3502660$AD191E70-BF4B-47F2-A8A8-509F7801EA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb1324f1a3879024a697749467f10b3951b7219","datavalue":{"value":{"entity-type":"item","numeric-id":992517,"id":"Q992517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9726a586dfd255f518640bff5cbe2bb25875e1e","datavalue":{"value":{"amount":"+0.8531543016433716","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":"Q3502660$248B8E33-CF76-463B-AC24-CF9908ABBE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cf888c9cbdd1ca8863b343b33f00a8dd680c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb16ebf9cc9150a83efc17e0d24b119e715324d","datavalue":{"value":{"amount":"+0.8006752133369446","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":"Q3502660$0D591506-0A79-4D76-BC59-F37801937946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d43645f6077dccf9c4d1b373141fd9ac598d44","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a9326c9a9f3bfbe294def97f5efa936ed3fbcb","datavalue":{"value":{"amount":"+0.791776716709137","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":"Q3502660$E765FDB4-9C39-4E22-9B51-1823B6A4A9BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502660","badges":[]}}}}}