{"entities":{"Q1854393":{"pageid":1865135,"ns":120,"title":"Item:Q1854393","lastrevid":48031852,"modified":"2026-01-03T10:25:13Z","type":"item","id":"Q1854393","labels":{"en":{"language":"en","value":"On full abstraction for PCF: I, II and III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853141"}},"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":"Q1854393$9DF023E1-3DE7-4BE4-9009-3B92A0114699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac26a6ec4dc7458447799e279107f07a605ecb0e","datavalue":{"value":{"text":"On full abstraction for PCF: I, II and III","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854393$760F0018-E234-46EF-9340-4FEBF7017F77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ce39f920a422c8884c11b034c5bc2df009f3694","datavalue":{"value":"1006.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$9FD94ECA-93F2-4233-AE1B-67E2BA15B506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$CCB7F096-DEB4-4EEC-A83D-5AB6588A0BB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$E2678439-A567-4971-A0C2-220AF8D47E79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-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":"Q1854393$07777740-FF12-40F3-BC48-AB4F67DF1FAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$2789D259-498D-4E9D-9154-2C71D48F5067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$BAFBE8EE-2424-4B70-9E43-FEB4A33EF523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$80D3A7C5-74C6-44CC-9BCE-EE95DCF916AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$DFF0E67A-3B2C-4177-B9AB-18BC0045A127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$31937BDA-37C2-4968-AE47-7A6AE687C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$C9812499-4395-4DEE-B2B1-A2CC1D1BCB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$A21536F6-1A1D-4D54-B2B3-A598FB65D95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$301E1F4E-C945-442C-BC00-CF3074D29FD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"762820f41b4ff6e16f64e499f98653cf9df8d501","datavalue":{"value":"1853141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$22DDA2CB-02B0-4E08-86FC-25F83416CD1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e717514a2a3f5382331e2343742c549e1ff27e79","datavalue":{"value":"fully abstract model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854393$54F57681-2980-45FA-A139-B3995435A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854393$61CAD76A-48E4-4CD2-A901-7E0C971F9AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be5035bbaefc18f23cb47009b02596a51f85005","datavalue":{"value":"model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854393$1A58EDAC-1F19-4FF3-A71F-0E44DA02725E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f36b588b1ba444441b56ccb7025685d04e2a0b5e","datavalue":{"value":"dialogue game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854393$0CD99668-0819-4C42-80F6-4F5C0AA94C3C","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":"Q1854393$1D90A0D0-9338-4A2E-99D5-3D0C26AAF95A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ef2674fb2379d991799e412903546af60b625e","datavalue":{"value":"https://doi.org/10.1006/inco.2000.2917","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854393$080E333C-D47E-4172-8E72-4F923457B033","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cd29451b98b245674a3eda130e69feaf38347b7","datavalue":{"value":"W2024189573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$086D64AB-D57A-4C3D-9234-DC4024079EAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$3C948517-6429-4C61-9F14-2EDF3451BA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$6C6D26C3-D2C9-414E-8F66-31FD3786FAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa47c2b0855dbdfacffce47bc2ab6416235baa3","datavalue":{"value":{"entity-type":"item","numeric-id":1575874,"id":"Q1575874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$2E9C473E-E027-40A6-AB48-CF80D7270007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea36e2b3b0a67b6e2dbac1ab770fc0f0e1ee548","datavalue":{"value":{"entity-type":"item","numeric-id":4236200,"id":"Q4236200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$7C0E39F2-2251-42B4-8EA2-DAB08746D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efef7172b76edcf3243d718037cc30902befdc42","datavalue":{"value":{"entity-type":"item","numeric-id":4571955,"id":"Q4571955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$821DA909-3972-4273-8269-3C6FDA174CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027a74fb7d57ad80f47dd878bb8ca41a9aea01c","datavalue":{"value":{"entity-type":"item","numeric-id":4945241,"id":"Q4945241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$577AD15E-F24D-45D2-AA5C-2C229FAF8F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c9404f2812df07dbbcc40cd23192d14986d7be","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854393$9F48595E-AB5B-46AD-BACA-1348FF10F416","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6870b13b56f3b3b7eda916e2f540220efa4413d4","datavalue":{"value":"10.1006/INCO.2000.2917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854393$9110B8CE-645F-4E95-8694-15D90CC054E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82440d75f6230f8e0a8adecf6d808dec059c173","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e728aa71ca4c9aa1a4af4145c40ea17d07930b49","datavalue":{"value":{"amount":"+0.8887709379196167","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":"Q1854393$9CC4BD65-CF29-45D8-B586-FF64BE45A183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64c5850cfed7715bc475fb05041c1751cc376f7","datavalue":{"value":{"entity-type":"item","numeric-id":4237906,"id":"Q4237906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e728aa71ca4c9aa1a4af4145c40ea17d07930b49","datavalue":{"value":{"amount":"+0.8887709379196167","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":"Q1854393$2913455E-BCB7-4E06-A06B-E41DE7467380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8abc5966f941d49dca9050870ebf5b033fc9847","datavalue":{"value":{"entity-type":"item","numeric-id":4635807,"id":"Q4635807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc502a040fe95aff9c8e24229296b6061e28363","datavalue":{"value":{"amount":"+0.8283644914627075","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":"Q1854393$19479806-110C-4F6C-8B69-12080734BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9636e6ea90ebc8cfb027f13a6112a280070009","datavalue":{"value":{"entity-type":"item","numeric-id":3024909,"id":"Q3024909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0d30751f1f32e09efb588c80a147d7deeff1f7","datavalue":{"value":{"amount":"+0.818414032459259","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":"Q1854393$2D24A6B9-F0CF-4BE1-ACC8-87E58E6E9300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac6f1f9c9cf6136fdd09d3abd658c561700a608","datavalue":{"value":{"entity-type":"item","numeric-id":5426073,"id":"Q5426073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97380023aabd6be6f1aabc63bfd0eb02aaea3640","datavalue":{"value":{"amount":"+0.8133142590522766","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":"Q1854393$16B0672F-F573-41F1-AE9F-9AFC979AC329","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1854393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1854393"}}}}}