{"entities":{"Q3100205":{"pageid":3110920,"ns":120,"title":"Item:Q3100205","lastrevid":85773326,"modified":"2026-06-03T11:27:41Z","type":"item","id":"Q3100205","labels":{"en":{"language":"en","value":"Reasoning about constants in Nominal Isabelle or how to formalize the second fixed point theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977506"}},"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":"Q3100205$F31E622E-3087-48CF-A098-E41188FFD107","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8b6dd9e06b8414397f19d77bbf17ced4356cef4","datavalue":{"value":{"text":"Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100205$A8AB11BA-4F31-4728-BE9C-5654FD7FACD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ed1fd2de02380bf446e5f7b71384e7d18052392","datavalue":{"value":"1350.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$D5B725B9-71BE-4E44-91FD-64DFD7B1B90F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ed3523f918bcff928e0c98ad052b5fe845df6e8","datavalue":{"value":"10.1007/978-3-642-25379-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$94433EF2-F8FF-4DF3-9635-AFD9D18AEE35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$9A3E22D1-84C7-4CF6-A587-C78083C17BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$CE0DF186-5B14-4B12-9E71-D96E53B820CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$A8C83C58-9342-4681-810E-9F2348096264","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100205$1611B91C-195E-45FE-A7EA-643C5D4854C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$E8B55881-C3F1-4843-84E2-5F6C41CB15FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$C8FDC59C-9063-4AB3-8DD2-E61D6BFBBE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$64A1B4CD-2EC0-4CF5-A8DF-AA17CA116EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22d986eab6da63af44164d648816eff4c54abe6e","datavalue":{"value":"5977506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$0994B2C8-7620-49A9-BBBD-4B1BEAD31950","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"01e4e2585f8a7fca00830fd47afd6472a079e880","datavalue":{"value":"Q108482186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$7A763233-21EF-423F-B209-873AB3810C40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$A425643D-55BA-4C5D-905C-570DB7BC2A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$D85E2923-C995-42D1-BD0B-AFD8BA9CFC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$CDCA7EE0-C018-4D5F-B089-BB2CE4D1A936","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":"Q3100205$49DA1A3A-61FF-47AF-A2A1-6BF91196C928","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba19b012cf85007a6e811d373708b3a6805d7de0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25379-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100205$34666CD9-955D-4AF0-9121-23596BF3F593","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79cd82ec973154c5af898f0b2a119552c2d61025","datavalue":{"value":"W35567622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100205$2DD10E13-A449-4521-B48A-B10A4FE0F90D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$7CF877CE-A925-48ED-A624-84BE7310916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$4812632F-FA64-476C-BD4E-D7D08DC90B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce39ca711bf99c74f8bdce078c27fed133ff4aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5758048,"id":"Q5758048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$A30474E5-C9EE-46C9-A6E1-F9322F3FF8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fea6dff3d36407dad60fa8e8c9bcc1f06ec22da","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$CB000342-97D6-44A9-927E-7087E5F3D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfa03243a2054bd4f235a087a94a4a53de67e38","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$AF00249A-7411-4DD3-89D6-1BB69724553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7e549f0fba6b332f88c2b3d15bc37b5e90f37a","datavalue":{"value":{"entity-type":"item","numeric-id":5747640,"id":"Q5747640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$E23E16B6-B637-4D05-A1DE-3B1392493143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c193b2b170f7626fc739837cea7c223c4266fe6c","datavalue":{"value":{"entity-type":"item","numeric-id":853738,"id":"Q853738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$B4AC8D55-BA45-4F9E-AE8E-7816A4D468B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc5d72d07cce88cdf50698d240a7171f3b8b351","datavalue":{"value":{"entity-type":"item","numeric-id":3088013,"id":"Q3088013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$89674AD7-218C-49D9-B877-E2DFF8D64019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$F8CD2ADA-4A47-42F6-8269-AC509549F108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$83C26B8A-414A-46A3-83FF-84B18C5C6442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939be0771ea627d569d52a0b8c1f463c5ec167f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613430,"id":"Q3613430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$21DB6476-A937-4E95-9639-D7496A851D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$CC94D0B0-1FB2-400B-A8B9-342FE5D700A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac049ffd629fecbffadc2b98758c8b3e8c0de662","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100205$9C3F83F3-52D9-4331-A104-EC2FF0E551F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70124600704120650b3399879cba7e852de047","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d19f0fffd8910094a5b42247a0af33f4a2be7b","datavalue":{"value":{"amount":"+0.8180208206176758","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":"Q3100205$46E02444-B82E-49FF-8F87-FE665CA96585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0f0d0f0a622c9959dcd383c9f471cd4a0a93bb","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa780d14a2fe93664844fce34376a80fcb8f50e","datavalue":{"value":{"amount":"+0.811659574508667","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":"Q3100205$0A10E0E6-5690-4D6D-AB44-82E0103D5197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b403893b3853ccc2d56f9e150dc2696721cc1178","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03caddad0c477176f9033b6c98c545e79cd0ab81","datavalue":{"value":{"amount":"+0.810202419757843","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":"Q3100205$62854A37-7E95-4B6E-AEE3-466620380CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8121b45f5a2121f5d02e937ed3d255985aa611","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73a3be672c1e92c14da256d0e6f0db50009efc7","datavalue":{"value":{"amount":"+0.7982611060142517","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":"Q3100205$D61B24E6-266C-4E87-BFC1-18DBF9937CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7e211299ce00a98c8197ac854eb2bb7a7b76c1","datavalue":{"value":{"entity-type":"item","numeric-id":5747640,"id":"Q5747640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32ea9bb3a597a993e23dae4322033e9edd64ba0","datavalue":{"value":{"amount":"+0.7501947283744812","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":"Q3100205$47622992-5D2A-48BA-A4E2-76C7CDDD0A91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about constants in Nominal Isabelle or how to formalize the second fixed point theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_constants_in_Nominal_Isabelle_or_how_to_formalize_the_second_fixed_point_theorem"}}}}}