{"entities":{"Q4943549":{"pageid":6973131,"ns":120,"title":"Item:Q4943549","lastrevid":47460073,"modified":"2026-01-01T19:39:21Z","type":"item","id":"Q4943549","labels":{"en":{"language":"en","value":"A Note on Negative Tagging for Least Fixed-Point Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416505"}},"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":"Q4943549$84F9EA46-C3B0-4952-A0F3-F085E1D78873","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5ebe2da8e43d8b00175d07ac0ad0df4c7c76cf6","datavalue":{"value":{"text":"A Note on Negative Tagging for Least Fixed-Point Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943549$570CE2E6-EC4D-4D84-A4C9-20A7B8F994FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e01495750cfc27d4134f5b138d867f35a3ee6595","datavalue":{"value":"0940.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$A487E228-E65B-48FB-8BF6-E7023863526C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$800C0D5F-973B-4EEC-A3EE-804A35F53DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fa9a751487606fa7aa60b1c6c01a7e88dd50eb","datavalue":{"value":{"entity-type":"item","numeric-id":269731,"id":"Q269731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$A8B82549-2F1E-4C3E-A56E-7F6D567A0FB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$E4ECA5C3-1EB9-4D14-AF08-1A7AD845B022","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca57a7d89bf0dec15e3184fdb1684eb793d104c","datavalue":{"value":{"time":"+2000-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943549$1B315FB9-3EBB-4A61-8F2B-21A5BB8E142D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2da2c12337440b6a762171fbfac27f508605e721","datavalue":{"value":"http://www.numdam.org/item?id=ITA_1999__33_4-5_383_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943549$5AD1D5BF-CBE5-47F0-891F-8372A6EC4266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"55c499ddb2be65714e26f113e6efe0021fb1cd2e","datavalue":{"value":"https://eudml.org/doc/222092","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943549$CD8903F1-7250-4C3C-A08F-2A66B0DC0AC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$57DDF538-1DED-4834-8022-3D668AFDC13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$157EEB10-71E4-40A9-8C87-7EDFC4409D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$D1374C3F-6BD8-46A8-B2CE-3EA626BDB83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$A57E62C4-77E9-4E56-BEDA-000EA6F0F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$0FC880E1-8783-41D3-A6A9-649023F8920F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87d0ec782f172bbf5f08af39991a16d56cfdd3d4","datavalue":{"value":"1416505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$8E731350-BC4E-4EF1-9A79-BA36849F2DEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92370f4eb50df84bff99fb425966e8e6ad8b438c","datavalue":{"value":"propositional modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943549$E8B19CE2-5966-4EA4-8B9F-49844194BA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d9cf6c74bbdecd9f62d47049077ba3302ef45b","datavalue":{"value":"branching-time properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943549$8A9D0501-C764-4862-BD71-E359D45C79C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943549$B366207D-74B2-4A69-A60B-73C84CBA9B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943549$F5EFD79E-86C0-4A76-8EAC-ED902A9D9083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943549$AFCEED1E-9A28-46CB-B63A-E4D28ADDD26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b99d2e5e4210f5aa3b5a276617ad910e3ef3863","datavalue":{"value":"tagging","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943549$611EAD80-3665-4A3B-9E81-86BC478B32FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25996a475a5d8b906f654f7ed150e492d4c82682","datavalue":{"value":"least fixed-point formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943549$6353BD7C-71D7-4172-9F75-E9D7C8B744AA","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":"Q4943549$9CA5831D-8EC7-4282-B257-4AFF591A8971","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e52fa4cb772b2458fcbfaa03ce0fc881334c3c4","datavalue":{"value":"W1997431912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$844D42F7-451E-44B5-AC24-834E0A56783A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$CFAE744B-9A9A-462D-9F51-136F1D63A969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$46706246-9109-420D-8833-DA365C35AEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3cbc199b41a95ddc768d4df5443baaff80552d3","datavalue":{"value":{"entity-type":"item","numeric-id":1383156,"id":"Q1383156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$FE585B6A-3952-4EB3-957F-AB0655680300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38fc8d4065ee914e88cf83c0eb3a52770f34c3b","datavalue":{"value":{"entity-type":"item","numeric-id":4222879,"id":"Q4222879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$9A850A8B-E6F7-49A6-9E4B-993C6B78CA7E","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":"Q4943549$A308FA99-C663-4442-AFF6-13691BCE2C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$9689717D-C54B-4DEF-9881-4BA0E197D885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$9B2BE50D-24F2-434C-A426-1409B81F7B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82cf9bb4f5bde68e99ec2bc8ae649afd63e8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943549$A39DCB51-BBA3-4C25-B55B-59136C079974","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d25bfe6456f1445885598f332961bcca86a0a9f","datavalue":{"value":"10.1051/ITA:1999124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943549$C9DA062F-6EEA-4DCF-939A-C9182C134E9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf64481df7495045fe2559470e597cfe00883ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4994684,"id":"Q4994684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f171509d14944c15a16efbf63c9388f6bc162bb","datavalue":{"value":{"amount":"+0.7588924765586853","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":"Q4943549$BD532702-9B20-45C3-B89A-E7B8D21F11A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e4f233a2812a6eb9e5c656b9797c2ff907f401","datavalue":{"value":{"amount":"+0.7406507134437561","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":"Q4943549$F51651BC-262F-4B40-B6AB-8B9A50BF3229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a9cc8875d07adcfd48357197646208d4019688","datavalue":{"value":{"amount":"+0.7400258183479309","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":"Q4943549$9DC33D6D-7E39-40FF-A313-65DB8539CC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0eeff4fcb3147d0d0c1af2751fa430db8bf734","datavalue":{"value":{"entity-type":"item","numeric-id":1942334,"id":"Q1942334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bceb796d094ed20e741a33f80043924daf122a9f","datavalue":{"value":{"amount":"+0.7248197793960571","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":"Q4943549$BA93617A-207D-4510-A8C9-5163818D2202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1f46073c3621d2ba073c3d70cbb7d015be3d55","datavalue":{"value":{"entity-type":"item","numeric-id":714717,"id":"Q714717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96eb98d666d76316a488af7d4ed3f282d0025a03","datavalue":{"value":{"amount":"+0.7196314930915833","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":"Q4943549$8732A958-87CC-42C2-9B4E-13A14C52D6BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943549"}}}}}