{"entities":{"Q5426067":{"pageid":7455641,"ns":120,"title":"Item:Q5426067","lastrevid":50214545,"modified":"2026-01-13T13:21:33Z","type":"item","id":"Q5426067","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 5212250"}},"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":"Q5426067$02FB359D-407E-4A97-BE25-0E7A6B436058","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":"Q5426067$74D3C0BA-B495-4F36-846F-968F03E7977E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5805af9c6299f7edccaadf949d6eedda1d7256ba","datavalue":{"value":"1125.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$690272AC-0BAA-4D33-AE26-4EB85ABB768F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8bba7cdff15be0beb32f2a5359c99e7d50c9362","datavalue":{"value":"10.2168/LMCS-3(3:1)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$C4DCF583-D219-40A7-8BC7-F279DA580D28","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":"Q5426067$8841F08F-F8DD-4553-827B-FB9D96032111","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":"Q5426067$DE733B27-8BA2-4021-B0BA-E58DF22A092C","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":"Q5426067$7B353C5B-F2DD-4907-808B-A56EC11FBCC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$3AA5D700-5D30-4DA8-9337-934D027F55C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$737AA8F2-D343-457D-9439-1376ECDC705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$B0CF494E-60D7-4779-AF75-89E557A4C7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$60623FCE-CFE5-40AB-B47B-12D72565851A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$12DC4CB6-3EB6-410F-B485-6DF3ACEC60E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"869e47d69864c4a2ccae0c1781bc29100cbd3a79","datavalue":{"value":"5212250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426067$D0657294-2FC1-44A3-8F20-29EEF0355FCF","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":"Q5426067$79E32717-1EE5-416F-B8DB-6F35EFFA99B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7df4b996e84f2d88d505bd0c6e9e922b6432ba","datavalue":{"value":{"entity-type":"item","numeric-id":3613331,"id":"Q3613331"},"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":"Q5426067$ECBFE05B-E3B0-4F6E-AE02-B2406929CDC1","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":"da589a093ed34adc604636a1294bd383795935ed","datavalue":{"value":{"amount":"+0.7779486179351807","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":"Q5426067$6E65535B-48E1-45BC-9664-6927F6EFD7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1baed9d8be44c4fdc43c2e3c2fd092767b20f18","datavalue":{"value":{"entity-type":"item","numeric-id":3638274,"id":"Q3638274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57312cfb1cfb1bf1c55f5e391412de7989c8d495","datavalue":{"value":{"amount":"+0.7578573226928711","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":"Q5426067$FA9FF0FA-D183-42B2-8EAA-7D9BD2B7A31A","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":"f91f48f514e7e031b1938c1641e110d4be186217","datavalue":{"value":{"amount":"+0.7573024034500122","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":"Q5426067$4952BEF5-FD81-4BCC-8627-25F0729FABF2","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":"01189b7679be0b738365aa2c5c67c6cf6aa51437","datavalue":{"value":{"amount":"+0.7558465003967285","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":"Q5426067$76C1EFE9-5FA7-4F4F-90F1-140446E43A23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5426067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5426067"}}}}}