{"entities":{"Q843215":{"pageid":845063,"ns":120,"title":"Item:Q843215","lastrevid":50775416,"modified":"2026-01-15T03:18:05Z","type":"item","id":"Q843215","labels":{"en":{"language":"en","value":"Transfinite semantics in the form of greatest fixpoint"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5609494"}},"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":"Q843215$2741044C-6870-4C30-A75D-F1F66AFA4150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8624d677fb4c666b611e19fe356eb9071e24ecc8","datavalue":{"value":{"text":"Transfinite semantics in the form of greatest fixpoint","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q843215$4894EBFB-6C44-49FF-B196-FA21CB6EABBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92fa4b4bcdb8e3524ece1e3c62770d1eec7b9dab","datavalue":{"value":"1186.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843215$8B561E6B-673D-4D84-81F3-E0CDF5BD47B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44366f40d615b1bb8efe081b7f64a5b015edf7aa","datavalue":{"value":{"entity-type":"item","numeric-id":843214,"id":"Q843214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$B861CD90-049E-4CE8-8CF4-5ED655DCEBEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$1D008501-F6A5-4477-A9EB-4A4D1928CDF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20869fcd975d123d10d62c56ba2fbfe1c71aa3","datavalue":{"value":{"time":"+2009-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q843215$1EE7E5A7-D798-4DC6-93CA-0DA88F439541","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843215$28DFA9CD-E084-4D4B-B101-3C81212F229A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843215$9FB7C9C4-A21D-436C-A439-B08659322AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb4108ff40927f9fc43222d73029e25626b67be1","datavalue":{"value":"5609494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843215$5CFAC5E1-30F4-4734-B59D-320CC948CFAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e51fd4113d823e594d1f872f147c310528ae7b","datavalue":{"value":"transfinite semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q843215$0CEBDE26-CAD7-43CC-A2A8-8B8DF78159FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8ec0e77f9b2316b1e24e5a5b383b2474d9f299","datavalue":{"value":"tree semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q843215$50F6A9D2-5BAD-42BE-A4BC-C3051957B1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a1d4f18b2008c9d3221ea75422c83bcf89060e","datavalue":{"value":"fractional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q843215$6FB70312-78E6-4AAD-84C8-7EBDB1C12ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb68759d6dd5b828fd7c16e7b7f2a134205c50f","datavalue":{"value":"greatest fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q843215$BEF61851-DA39-48D8-9FDD-820E0AACCA5C","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":"Q843215$5B990CA1-EF50-4BD8-8AC9-B91E1F95D4E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b834883666a48f7390f5fee4128928746377a97","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q843215$52F6A1BF-3730-4928-A1A8-FF2B9D062D06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d67506b76ab8390afdbb948b8a158fc2ade46f7c","datavalue":{"value":"W1997489695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843215$548F6B2C-1768-42F8-A16A-780E82D0349A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$94654BA0-E21A-40C1-9E98-BB22778DC2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632a47efa4a62cf764567cbfe493c44d2f90d","datavalue":{"value":{"entity-type":"item","numeric-id":1426864,"id":"Q1426864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$60E69BB1-6848-4FF7-A14B-98FA97C94060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$B867A2D3-C513-46E3-8C48-946BC4C6E936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c2ae8be4b89d81897f7354ac0f78793fccdfef","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$53C27D10-35FC-4D96-8A85-2E548BE2A825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$F12FE9DC-BC5E-466C-9A36-A83A68B03ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04cb75b96be367751dd23ff26668f38703cfc5","datavalue":{"value":{"entity-type":"item","numeric-id":3623940,"id":"Q3623940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$11537133-F3D7-4F42-BC1B-55AC6A634143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$5BD0E9F4-E5F3-4928-9B93-004FDC3638CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843215$351B52E0-2499-4739-904B-ACD87D727E42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef60b88d28857884fc1a95ca6eefa8c71d5a508a","datavalue":{"value":"10.1016/J.JLAP.2009.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843215$2D7053A1-1468-4910-8600-68A1C06F3831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c391683395b4c1372ddb89a59aa8ab0c627d51f","datavalue":{"value":{"entity-type":"item","numeric-id":3370737,"id":"Q3370737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e585a74aa86ce72760300395419d8bfbf2a4198d","datavalue":{"value":{"amount":"+0.7933614253997803","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":"Q843215$0D502E0D-AC4F-4277-ACC3-687BE87B80D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1d8445b71a8b629c4e0739c650408c921570df","datavalue":{"value":{"entity-type":"item","numeric-id":3623940,"id":"Q3623940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026d25309ab8fd44c30e245e709435ef3b3839e1","datavalue":{"value":{"amount":"+0.7642670273780823","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":"Q843215$20C2B47A-A9ED-402F-9296-8264649152CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb9888aac49fca20e557ba55d9fe21cf06b3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2778880,"id":"Q2778880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7e37cc1de8f22cc0d730dc16526f6127a5e47c","datavalue":{"value":{"amount":"+0.7526152729988098","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":"Q843215$357FDF7B-744F-4D5E-B980-50991C58FE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10846317468d40527a7401a0e49ca281d8dbd46b","datavalue":{"value":{"entity-type":"item","numeric-id":5310900,"id":"Q5310900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c9e5ff11282a0ab050de0d575c2773335d6097","datavalue":{"value":{"amount":"+0.7421236038208008","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":"Q843215$DEB716AA-3129-4CCB-9DFA-7D6493C8EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8296f4fb11e1dfe08c8e011676db7dd6336e15f","datavalue":{"value":{"entity-type":"item","numeric-id":4542241,"id":"Q4542241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d20295cb08159bf6ef799216a1fa2153cc4b4a","datavalue":{"value":{"amount":"+0.7337837219238281","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":"Q843215$2ED2B0C6-07FB-4796-9750-E55439FB3D8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:843215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:843215"}}}}}