{"entities":{"Q3613331":{"pageid":5643237,"ns":120,"title":"Item:Q3613331","lastrevid":58214145,"modified":"2026-04-04T06:31:35Z","type":"item","id":"Q3613331","labels":{"en":{"language":"en","value":"A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528202"}},"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":"Q3613331$7E743BC2-C4E4-48E2-8029-638BE361C1E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10c8b05d7383c5e7b60f6e4f3da1aa71209dccab","datavalue":{"value":{"text":"A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613331$F8929C85-676D-44A2-8A63-C795AF257108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981e516b8faa0ea13b4add3b60f2509fd8aacef4","datavalue":{"value":"1225.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613331$0B3EA953-51A5-4781-A7E4-80D0D52672B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8edfc7d3ea0042275a84c5252ef1a1acd7b5b0e1","datavalue":{"value":"10.1007/11874683_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613331$5BB34570-1B4D-419B-B7A2-6750C31C34F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb8c6d7991f5202e4a9f96d80547d6992e4ea57","datavalue":{"value":{"entity-type":"item","numeric-id":636309,"id":"Q636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613331$CAC6635A-0C71-406B-96DC-8ADEBE8D833B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613331$D2BC793C-67E5-4018-AD7B-03D0DB0761E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613331$B552BBD7-733A-4E9C-BC3F-E2E089EF2B96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb028cd331a30988f32bed20809d4fc79c81246f","datavalue":{"value":"https://arxiv.org/abs/0706.2076","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613331$6385397D-7550-49A3-A51B-5E29DF5D88A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613331$39BB9015-D494-4848-8209-0F84603AC9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613331$2402CF32-7699-4034-B790-98CA1732BA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613331$2653B624-A0B6-4D06-B707-480656385AF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ae77f3b3ef1f4ab875558eaa9d0676e601b0c35","datavalue":{"value":"5528202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613331$02C22BD9-3DD8-430D-A7A7-41C537E3B15F","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":"Q3613331$8DC4844D-D19B-4D62-AC8F-E7FAE465746A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63286b40ed708e5e51c40efd0f78c89fa6b14104","datavalue":{"value":"W1759451798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613331$8B4B904A-F857-43F1-BB21-280B5644FFA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ff692f4af674c9d602d0bef00168dba750abb8","datavalue":{"value":{"entity-type":"item","numeric-id":5426067,"id":"Q5426067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673dc4ba9ddc700fe7c5a7cf23e4c87f6df1e4ea","datavalue":{"value":{"amount":"+0.9959060549736024","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":"Q3613331$BCAAEE86-5B20-4697-A692-160F29CC43CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b1c95e94f2659a4b4615cc91bcfa4b47d72524","datavalue":{"value":{"entity-type":"item","numeric-id":5144623,"id":"Q5144623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3741f84a080d68ce9b009ac10053c572c4d13fc","datavalue":{"value":{"amount":"+0.7788726687431335","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":"Q3613331$BC0040FA-F8AC-483C-8F34-2E896CF48132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f814f15a96b7ef4c80576d73254c8561d7b2cf","datavalue":{"value":{"entity-type":"item","numeric-id":5300902,"id":"Q5300902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d862827a771f2cb574fec01fd879271923aeb4da","datavalue":{"value":{"amount":"+0.757768988609314","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":"Q3613331$86DEA47B-8516-4F8F-AAA8-7A9DA3833B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf224127355dabbc2ba3b4c571243d4f6237d91","datavalue":{"value":{"entity-type":"item","numeric-id":2912708,"id":"Q2912708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651f53b41372247d8df97e71a7b1485688221c36","datavalue":{"value":{"amount":"+0.7570945024490356","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":"Q3613331$BBA9AC54-4D1C-4520-B846-98DC22A704C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12650aab67e5dc8a9cf8fe2726b5e39e09a1d7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2941755,"id":"Q2941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4faed260bb9d9b37df83f22b22ead68483acc4c","datavalue":{"value":{"amount":"+0.756818950176239","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":"Q3613331$E6196D07-CC56-4812-B618-1712AA0246B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613331"}}}}}