{"entities":{"Q5426073":{"pageid":7455647,"ns":120,"title":"Item:Q5426073","lastrevid":101144297,"modified":"2026-06-05T23:59:34Z","type":"item","id":"Q5426073","labels":{"en":{"language":"en","value":"Inductive Definition and Domain Theoretic Properties of Fully Abstract"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5212256"}},"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":"Q5426073$129C4F44-5B4F-4464-9482-01F6F699427F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcda0e6c62dadd949b5816ec6791ad6c76254399","datavalue":{"value":{"text":"Inductive Definition and Domain Theoretic Properties of Fully Abstract","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5426073$7274F9F8-1B59-4367-9EE8-383F0612F2D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8308ec8180b32b0a6a7a7ef0f39d17c275e76aa8","datavalue":{"value":"1125.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426073$7D3C8011-CA3F-4E14-A8B9-203171A167FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0178cce83d7c1f60edb894e66ed1630b65e656ec","datavalue":{"value":"10.2168/LMCS-3(3:7)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426073$8CC80971-FE4E-46BA-A3FF-0478C6CC4481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426073$2955A166-7D44-48E9-ACFA-FD009BEA4C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10a5b1b71dc88e8e4df61ab7ef0a14b44bff6f5f","datavalue":{"value":{"time":"+2007-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5426073$9AE6C5B4-600D-4BCF-A791-5732AB349907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426073$150408BC-501A-4932-8B06-B8370AE3F8BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdf3f7d128c364e19f65b3330c6613bf356a383d","datavalue":{"value":"5212256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426073$C94BF804-2FBC-4F5B-91FF-F9023021772E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80129b8bd2871af9124f77eff2a73ae8174f51cf","datavalue":{"value":"finite type hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426073$306D25A3-94B7-4E30-8388-F0BD955D992B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426073$9F7C84BB-065B-4643-9EC3-C4D3DDC9CC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a3c3efec85571ebba09827258008a4f84a5f69","datavalue":{"value":"non-dcpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426073$0D3DDE57-3087-4167-9CFE-C97830CC4FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6eea30db08607b092e60d37aa33201f18e30b1","datavalue":{"value":"computational strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426073$A29139A1-0008-4C8A-8E35-BF41458ED496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5bea7a24c56517060375f3c88bd114db4bfb70","datavalue":{"value":"sequential completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426073$A7339F60-39D4-4AAA-9ABF-9E8D0722506E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f97442067587f34561e1b330380ce554ed3a639e","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426073$79DCE695-1F56-451E-91BA-0EF80FDE0E6C","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":"Q5426073$8C4DAB6C-F394-487C-B235-449A662BD72E","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":"97b312022c6d2b39d4b6376ab18fde6d37a24b52","datavalue":{"value":{"amount":"+0.874220073223114","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":"Q5426073$17C688D6-076B-45B6-8120-9496908D1781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149acfe731e69f7ec56a480870adff42533ba246","datavalue":{"value":{"entity-type":"item","numeric-id":5096215,"id":"Q5096215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b312022c6d2b39d4b6376ab18fde6d37a24b52","datavalue":{"value":{"amount":"+0.874220073223114","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":"Q5426073$465E55B1-6A67-4AD4-BD99-8F740A7D0BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37acfc129ac132a6844ddfdea7969bc98c9cc0b3","datavalue":{"value":{"amount":"+0.8266165256500244","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":"Q5426073$97DB13AC-225F-4E39-B028-A43835897AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb432fcd801bf675585185f1e617d37f622730bd","datavalue":{"value":{"entity-type":"item","numeric-id":5452201,"id":"Q5452201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd99fa52af6c73b6e3b49a515d5776de63f6722a","datavalue":{"value":{"amount":"+0.8247122764587402","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":"Q5426073$00285161-5103-4EA9-98E8-4CE4D5C47DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c63176a0629d998ebdc2cbda40feef5e77f201","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe66dcf1d5e03e6f256f8bbfc2028b462d6a882a","datavalue":{"value":{"amount":"+0.8240430355072021","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":"Q5426073$94BED369-EFA5-49FD-8512-DAD6323D49EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive Definition and Domain Theoretic Properties of Fully Abstract","badges":[]}}}}}