{"entities":{"Q3086929":{"pageid":3097644,"ns":120,"title":"Item:Q3086929","lastrevid":51218108,"modified":"2026-01-17T07:23:29Z","type":"item","id":"Q3086929","labels":{"en":{"language":"en","value":"Non-regular fixed-point logics and games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872394"}},"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":"Q3086929$7C8269B2-BF68-4AC7-A3A0-2743AA15DDEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5590026a8f68c4ba41a431cc3f81c769f7cea35d","datavalue":{"value":"1217.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086929$F3BA6D33-FDF7-4D3F-8471-DBA9F64E6C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086929$0C252F65-D0F0-4DF4-BCC9-0D95AF0BD07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086929$BE47D3FC-AFA9-4517-B06D-87715EC4324C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086929$73032108-36EA-4772-AEFA-F71D13C3E6EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086929$AF5C4D0F-74E9-45BD-ACDF-6A5E78306FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086929$B4A56F1C-0BCC-45FC-8D49-27147AB58CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086929$613CACC9-343C-43E5-BD08-638F75D5A569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcf734e3a2b6421f4a9a1f9f58cb4a3c5ce321e5","datavalue":{"value":"5872394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086929$93AD6B67-192C-4472-82BA-73D99FE9393B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"366ad8a30773a2028c35f4d6369db6ea31b1d9aa","datavalue":{"value":"extensions of the modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086929$05218803-C5D7-4EC6-AC08-01DF4CDF63FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e633b14cca572b4e84ad4314b5bd51890ad6f6dc","datavalue":{"value":"modal fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086929$AFC0A918-BEE6-47BA-8FF8-9B57CDF4284A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03edd72ff5690d6ccd849adec8b3a3e9c2772cc4","datavalue":{"value":"modal iteration calculus (MIC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086929$3D88B1BE-D1CE-4F20-ACF2-C023EBE61CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f0a73038d412997e7d59187003dbf4d562ee909","datavalue":{"value":"fixed-point logic with chop (FLC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086929$37773B31-ECCF-4FB0-9E84-9150CF580E14","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":"Q3086929$E0AC2093-B0F9-482C-A8FF-5BF9C9245784","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed436863729a89dda07dea5f0a0fe303d9a8c512","datavalue":{"value":{"entity-type":"item","numeric-id":4484491,"id":"Q4484491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54af65dc6e1f4eb847b499be934c6bafa1fcbcd4","datavalue":{"value":{"amount":"+0.8120387196540833","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":"Q3086929$1EFDACAC-C577-4992-9037-347AD97B40FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d4a14f39f04394b7d9408e8373aa3a2c4d4299","datavalue":{"value":{"entity-type":"item","numeric-id":3083626,"id":"Q3083626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf9d1c3a3fae2aa6056f3413da2be11534c700b","datavalue":{"value":{"amount":"+0.7986456155776978","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":"Q3086929$6BFA0FBB-50E0-4A77-8CAE-2EFA80A1D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aafcd072d1fe51dbf9b591c8429d960365ac339","datavalue":{"value":{"entity-type":"item","numeric-id":4738230,"id":"Q4738230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a1e5c12b64e6dd372d6cbe2ebbc68fc289ba6c","datavalue":{"value":{"amount":"+0.7943170070648193","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":"Q3086929$BCD9BC61-C392-4BEB-B43E-2F885209A0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1416737e547dd5fc391bb2695437a390cc7356d3","datavalue":{"value":{"entity-type":"item","numeric-id":5312947,"id":"Q5312947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edf891f6e58384501cea6b606adab99809782b1","datavalue":{"value":{"amount":"+0.7855929136276245","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":"Q3086929$8AE1115D-DE48-49DB-B581-34D2DBF6A1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b78d1dd018b4adb2240427ef9fddef11635ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57949bcf2dcffe3f36ed82c79ba8e0c9e7b73b4e","datavalue":{"value":{"amount":"+0.7820107340812683","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":"Q3086929$5B6987AC-94C5-44C6-949B-18A1AE18ACF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086929"}}}}}