{"entities":{"Q4222839":{"pageid":6252440,"ns":120,"title":"Item:Q4222839","lastrevid":46608831,"modified":"2025-12-25T05:01:18Z","type":"item","id":"Q4222839","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231524"}},"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":"Q4222839$08817E38-CAB9-494F-8656-C0E4FAAE320E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f457c692ac529cf378f300b94bc8222a423a97c","datavalue":{"value":"0908.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222839$0036360F-90D4-4DCD-940E-DF5258682FF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4307fea2d50149d4a84c2c45871db223588cdc29","datavalue":{"value":{"entity-type":"item","numeric-id":1398473,"id":"Q1398473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222839$D326C29E-B220-4801-B947-0CE205FFB1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222839$20452FD1-B0DB-41BA-BC6F-C38BDA9B4619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222839$82D3BF50-27C6-4FDE-89E6-AAEF13E4AE08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222839$E54AFB80-0A86-4FA6-BC36-D9C74DF0C27E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab7f8816538de30adc9205d0123ee21dbf50d2d7","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#miller","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222839$E712FBB0-DFBD-4217-AD3E-DC6F12C0E09E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222839$37A41E43-214F-4AEE-A00F-C5EDAECE6125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222839$3A65BD2A-92F4-401B-9982-71A40130D6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222839$197D2623-790D-43B8-913D-514020F3469B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e190fec4a96ea8de82b6169f50377e1b78d5ba54","datavalue":{"value":"1231524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222839$F1563C25-4D19-4F94-9A6F-FF9061A59C4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0967b9d2505594d89b4c7863f11cd902d38c5f6","datavalue":{"value":"operational semantics of process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222839$BC935B7F-6F30-496B-A1D3-0F30BCF130C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb6cc7623de2c856480508dd28449d5c856e6630","datavalue":{"value":"meta-level judgments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222839$5431DD5F-275E-4CBC-AB4E-32D82CFB2DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a433d36f139546e68694421c070fbd06a381eb","datavalue":{"value":"extension of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222839$6F676E18-5164-4126-9B22-B14668D7B016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222839$D53E819A-A044-46F8-A26F-B12EF8F086C9","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":"Q4222839$4E295625-D2E1-4D33-84B2-7A6AD07D41C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbb8cd863147beb295c3db490fd27853febeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2171790a85f5536e202ec4c52650385def46977c","datavalue":{"value":{"amount":"+0.8872135281562805","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":"Q4222839$27462233-5B47-492A-BE05-10878C390898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e2e9f5a11ef6cd6d856da1ab400ff958ba5864","datavalue":{"value":{"amount":"+0.7990007400512695","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":"Q4222839$91904AC0-C755-410F-B09F-2DCAF9E3FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962c8715c8d5ea9899d3faf04a52195308b7a3fb","datavalue":{"value":{"amount":"+0.795702338218689","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":"Q4222839$A9DB3554-EB2B-4C68-A117-B6A5CC9D583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5cf445f7b17de9f68308cb9e5d2d21600c6c27","datavalue":{"value":{"amount":"+0.7611463069915771","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":"Q4222839$13D1AA13-19FE-4B92-B3CC-806CDA25EFE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222839","badges":[]}}}}}