{"entities":{"Q3410400":{"pageid":3421103,"ns":120,"title":"Item:Q3410400","lastrevid":80409764,"modified":"2026-05-06T16:07:56Z","type":"item","id":"Q3410400","labels":{"en":{"language":"en","value":"\\(\\pi\\)-calculus semantics for combinator calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076164"}},"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":"Q3410400$2BDFDCB9-4622-4885-8B2F-4F8921E37408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae557f8f24a4a905b0416e0960b386ea95b3161c","datavalue":{"value":"1107.03305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410400$559FFBDE-EB78-47AA-878F-E9C621E91D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28c9aa251711e9663874ec6a24fdaa9612cf1232","datavalue":{"value":{"entity-type":"item","numeric-id":171165,"id":"Q171165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410400$A31D3B91-BBB2-409D-AAAD-CC9ED1B375A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef80489f18ec1e0adac5c64413550fdbdc51c62","datavalue":{"value":{"entity-type":"item","numeric-id":258968,"id":"Q258968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410400$39AB1D2F-8D0A-4A48-AC1A-D8F4203EA095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22ff8f239292f1d95d81fd8a505ca1b401c328c1","datavalue":{"value":{"time":"+2006-11-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":"Q3410400$8086FA73-209C-4859-AC13-CCD5247298B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410400$775F72B1-74E7-4CCD-9945-21466C9782DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410400$01CC8A35-3B14-4B26-B201-2F3BE32BE673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410400$42A697F4-65F3-4D3E-97B0-38BA056C6884","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ac12254525a190d2f0dffba7e9db3ba36ccb65","datavalue":{"value":"5076164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410400$30FC674E-0E10-4E8E-B7EA-BF58734B81F5","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":"Q3410400$42973026-B807-425E-963C-07F7BD4A3712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8082d180879e3dcab8a86a197e17e4fa41ecbd1c","datavalue":{"value":{"entity-type":"item","numeric-id":5096237,"id":"Q5096237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16ce2f7bfd76d54a60e59f4f29e33ede4aabc74","datavalue":{"value":{"amount":"+0.773309051990509","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":"Q3410400$B52545CD-F6E8-41E7-9D53-A0E0885C4930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8376a9b693fe02a6200b18de9ede56ae80f4083","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ee2cfedcfde18e530776ab115f6c079e461a8a","datavalue":{"value":{"amount":"+0.7582955360412598","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":"Q3410400$4B3875F7-09E5-43FC-A265-D163BF419764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2744d86c32bc6fdeb25ff3ca1a3bf19e4b7bfd32","datavalue":{"value":{"entity-type":"item","numeric-id":3094164,"id":"Q3094164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64593d8a228bf2903dcd01acd53d3f69505b7227","datavalue":{"value":{"amount":"+0.7574398517608643","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":"Q3410400$85BA1325-5CB2-4D7B-AC6C-F0A91C513AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82689d274ee5f37ba06970cc5f839d90b25901eb","datavalue":{"value":{"entity-type":"item","numeric-id":4266484,"id":"Q4266484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a3ef11406312484f4d44fae4073026c0f27e3a","datavalue":{"value":{"amount":"+0.7562642097473145","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":"Q3410400$BC5EDBAE-631D-4F98-8C4B-7D0D47D3CCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae6bb6199a740166cfd3493f0583ef6266234ca","datavalue":{"value":{"entity-type":"item","numeric-id":2767985,"id":"Q2767985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fc505f0979e3e35d77c69c7dce66036d1e3742","datavalue":{"value":{"amount":"+0.755499541759491","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":"Q3410400$6744625D-E749-4A68-A2E9-56E2A065E8CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\pi\\)-calculus semantics for combinator calculi","badges":[]}}}}}