{"entities":{"Q1114673":{"pageid":1125422,"ns":120,"title":"Item:Q1114673","lastrevid":49239418,"modified":"2026-01-06T20:12:54Z","type":"item","id":"Q1114673","labels":{"en":{"language":"en","value":"Logical definability of fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083599"}},"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":"Q1114673$6AD08169-EA96-490E-AD38-E8E7D5A0B7C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"336dfb72ed4428255e57ab904451a3ef1b0240a6","datavalue":{"value":{"text":"Logical definability of fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114673$38B298B0-054A-47BA-8F3D-11A1C5228CF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caea9a1d7d4e5c00be6df3b2fcce15a0f8ddd071","datavalue":{"value":"0663.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$88CCF29B-BB55-4EBC-9421-A2EBC00E4311","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7af25bc732a93475708830e27546ba63267e77e","datavalue":{"value":"10.1016/0304-3975(88)90129-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$73E959C9-B238-4B08-9A5E-F83C261C718A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$811C23D3-1CA8-459F-B51F-D262E8B908F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$BCF56E72-4125-4065-A3FC-E212DFFF3766","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114673$3ADF2907-07A4-4598-AE62-FD10356834F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dce0ec2f12d6577c4b46427ca4917e75efe4d051","datavalue":{"value":"A class of monotonic functions is defined whose least fixed points are weakly definable in the sense of Rabin. The author uses this property to give a new proof that \\(\\nu\\) \\(\\mu\\)-definable sets of trees are recognized by Rabin's special automata.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$3DBF2CB7-500C-4396-BE44-E9CA64EADD75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$ED70A9C0-5114-4C02-8171-B7FBBBD4E291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$CD653CFA-9377-4F6F-A166-689A975710CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$09BC3A7F-138C-44B0-BAEA-847311788304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$7F85A72D-3920-4356-966B-C8FED97075CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97f744457d4a60db0cf1e30bb93b1df28b6384da","datavalue":{"value":"4083599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$001A7851-97B3-43D8-A147-D5A197DC0F72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a9af3c348dd19e1424bff779d1dfd8fb8311ca","datavalue":{"value":"system of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$D423C52E-937C-492F-915A-B7ACB92230D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$21338879-51E8-459B-B19A-86354AF5EDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c49fbf756a664efc1bb76bcc6c9580721b0fdd0","datavalue":{"value":"special automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$A6FFC93E-5ABE-4317-B689-321788283493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8b322f7767f82f4e2759ad13b243a4bba8c187","datavalue":{"value":"labelled tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$E3F7F843-3907-4025-924B-4CB8E179C10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6ef914ffea4629233c050c855aec731ca7921d","datavalue":{"value":"B\u00fcchi set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$725A714B-6609-403A-AECC-355190A30790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbaad2a1ddef7986b9793ee8aad3e140983a3a9a","datavalue":{"value":"\\(\\nu \\) \\(\\mu\\)-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$AA7B532C-324A-4960-B310-482E5BBD65DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114673$FBA80C7E-1D67-446F-B2A1-DC56A4B729FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8b601581d449022054644e5d011d98f59f90aefd","datavalue":{"value":{"entity-type":"item","numeric-id":593584,"id":"Q593584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$8BA2DB62-970A-41CF-BFE4-B254206D70D8","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":"Q1114673$4FE62BF9-BC17-4B89-BC1E-FCAE67F11092","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d57b1bf72170d5cb15bbc401d14cc9ce139183","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90129-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114673$4912243C-DE62-4651-B984-879FCB146A32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7aad55378378c03d0adf5502c2fe4560ffa0f162","datavalue":{"value":"W2009275991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114673$EBEA7EF1-CE07-4547-A629-CE458BA9A846","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dc119d1fc4fbffa3a21100d918912888c55175","datavalue":{"value":{"entity-type":"item","numeric-id":5753528,"id":"Q5753528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$468FA171-047D-4DC3-85AB-EB50B8B9F8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$BE0191D9-D49D-47E0-BB40-EE1D252902A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$71EDF6C7-6D97-4682-9C80-80C30D77A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$93E1294A-730E-4183-B0A3-947217D3DBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$8C06F634-7A6A-412D-BD36-2FC328289297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3674a127fa5ad76cffe66de2ee1d314c2f7412e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082091,"id":"Q1082091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114673$AD34B155-67C8-400A-AEDC-F499C11A37C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a4c00b241c8882af25cb196cee08d0f8be7af3","datavalue":{"value":{"entity-type":"item","numeric-id":4273664,"id":"Q4273664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a6312b00f89361dd1ebeab9e506cecc7bb5cda","datavalue":{"value":{"amount":"+0.7901419401168823","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":"Q1114673$798ACFC9-1D0E-4A91-8A27-4682A8C23277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76387bbc50fc0fa7e60b5f8361a7b638cbe8abe9","datavalue":{"value":{"entity-type":"item","numeric-id":3647275,"id":"Q3647275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220fcd985001f123762611901ad838a588dd8dc4","datavalue":{"value":{"amount":"+0.7344614863395691","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":"Q1114673$5ADBEC6A-9538-40F7-A341-A56F9A151DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d777953f19fe3fc33ac1da13873d00c62d0dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b8eff001bd8334ccdef2d164ec5803c62d8ba2","datavalue":{"value":{"amount":"+0.7316569089889526","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":"Q1114673$04365CBD-DB84-4C9B-8232-F5F127CC896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfea5698a204f16cb6a5f34f9368fd4daf28f1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4825712,"id":"Q4825712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b117de2787d148207d8e91a168eecf4d16d327","datavalue":{"value":{"amount":"+0.7294045090675354","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":"Q1114673$FCEED9BB-40C5-4B37-B66B-326894926C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea7bcbc4d377dea91703b5637d9b120b5655f67","datavalue":{"value":{"entity-type":"item","numeric-id":3356287,"id":"Q3356287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a02eb9e048a488e04ef29185e77be60bb92f434","datavalue":{"value":{"amount":"+0.7285667061805725","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":"Q1114673$36850A29-EEB0-48D2-A478-570650C4D094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114673"}}}}}