{"entities":{"Q2804203":{"pageid":2814941,"ns":120,"title":"Item:Q2804203","lastrevid":58022922,"modified":"2026-04-03T12:03:31Z","type":"item","id":"Q2804203","labels":{"en":{"language":"en","value":"On the characterization of models of \\(\\mathcal H^\\ast\\): the semantical aspect"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574844"}},"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":"Q2804203$019D0CFF-FE7E-4EE3-874D-36284AD59EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7bc85b8425baf5dbabfad925a7946d6570401a0","datavalue":{"value":"1338.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804203$F7225CFB-E688-4FFB-A625-BFF528F60CBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26e99b1ec455f038577d2b03db6cfd02930036b8","datavalue":{"value":"10.2168/LMCS-12(2:4)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804203$6FEBED9E-9C89-4765-94AF-D5DABAEB6247","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7a08931572d51dca96859814cc7a2c7d9c203d","datavalue":{"value":{"entity-type":"item","numeric-id":2804202,"id":"Q2804202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804203$C20269F1-D764-4F4E-8535-9466E869E2BE","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":"Q2804203$C8E194E0-4D68-45FD-BAD4-D19C300BCB61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804203$0CE9408C-6D99-400F-8015-D7C552442039","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8b591677195f13da49c96b10410826bd8db1a4f","datavalue":{"value":"https://arxiv.org/abs/1603.07259","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804203$A0B7174E-8072-417F-8DAA-057AF6827C4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804203$C6F9ACAA-6092-4549-9FC5-2B1921603D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804203$426DEB62-7D5E-4CF5-BF59-69BE678840A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a620d065480a858c7c0b4c3287a3c3dea948840e","datavalue":{"value":"6574844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804203$1BE9683A-AE1F-417C-825E-440F6758FEB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804203$0E1A9326-58FE-4CE1-85F8-C75EBA5A89A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804203$0B14209B-2E2A-41B7-8075-B687D4953C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804203$8B723F7B-B815-4B7D-A564-737E0A9D63EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804203$FC062F46-716E-414B-BB9F-5E84DAB2DBC3","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":"Q2804203$4147EF5D-12D2-4405-8AC1-C3E254BA5E31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e94846d96425ab340d3e6d11fba7d8ae63cd3ce","datavalue":{"value":"W3102779848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804203$AC6AB2E4-2EBB-4EF4-9A5A-FF30B56ECA81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de17ad02560b0e1efb11d3dabe3490d41420df3c","datavalue":{"value":{"text":"On the characterization of models of \\(\\mathcal H^\\ast\\): the semantical aspect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804203$9A428F45-4A9A-4F0A-A1A6-4C42F545942B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554a6ab145f3376d50a73e1b741e2f88522204b7","datavalue":{"value":{"entity-type":"item","numeric-id":4635607,"id":"Q4635607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c08b2c475f6615625cfac608b3853a77762ce9","datavalue":{"value":{"amount":"+0.9681187868118286","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":"Q2804203$00140643-E62E-474E-815E-E6A696E7D402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6b9ff3ad00fa832b251b495636616fde3ab1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4580329,"id":"Q4580329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d97522e0c0031180dace27f003f9bc7748431e","datavalue":{"value":{"amount":"+0.7932510375976562","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":"Q2804203$C3C4D8E3-943A-4333-9BCA-AC98CE87B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa6decd99dc7371790dca0be13cabfad7ab91fd","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7a80c6f14d16633158209b7d57e5f32699de0d","datavalue":{"value":{"amount":"+0.7801401615142822","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":"Q2804203$DFC08DCB-0E4D-45A3-865B-51118F38EDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e967a0844032208c812c6af595f22ba3bbcb523a","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c057247a4b04d3938b696456c70635304aed553","datavalue":{"value":{"amount":"+0.7795292735099792","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":"Q2804203$121937D1-05F7-4EE8-8DA4-59E552FB2496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b2df7551c3d501c4167db2c28ffe426ba10dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4879947,"id":"Q4879947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f390a0889b10ca6c0323e49a44af579abceb77d","datavalue":{"value":{"amount":"+0.7751067280769348","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":"Q2804203$C3FFF8B8-5CD0-4FCA-8337-48412EA20734","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804203"}}}}}