{"entities":{"Q1699729":{"pageid":1710470,"ns":120,"title":"Item:Q1699729","lastrevid":68167218,"modified":"2026-04-12T21:53:10Z","type":"item","id":"Q1699729","labels":{"en":{"language":"en","value":"An expansion of basic logic with fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6843086"}},"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":"Q1699729$08D06E5F-3C8D-4710-89A1-F11EDC714D48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2874218d6dd86b9f572ff8258097513d27515d71","datavalue":{"value":{"text":"An expansion of basic logic with fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1699729$4FC85DDE-C734-4C49-B533-89625EC4D033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18891f1a83de3b3c55c35a13b3c0ed13b3189742","datavalue":{"value":"1396.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699729$1EE7FEC8-8A57-4646-8D1F-C5F3F8DF81E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fc3bc455be4d7a265c7bd40eaa94127306c8719","datavalue":{"value":{"entity-type":"item","numeric-id":454390,"id":"Q454390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$6BDACF72-531E-4DAF-9D84-720C8A3A6CCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$21BEFFC7-1224-43CE-80D5-E03CB5A76B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44c8d8792d4e1b2a769791b541a37bbfc88219ec","datavalue":{"value":{"time":"+2018-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1699729$DD99FB94-4790-4EFB-904A-498E9BBB77DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699729$1C311DB9-7F83-450D-A941-115087E963D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699729$A13630DA-367D-4D9A-A002-7D43C36355AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699729$E14CB6A5-5A40-431A-8225-E412DFBB53D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af09beab0f1c964b7f0a36e425f2bbe2d1bbc61","datavalue":{"value":"6843086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699729$4C65EC89-7AA8-4C6C-BDC6-3DB06F47D9D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699729$13A430A0-3B89-44B1-A140-CC6F0089F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699729$CEC4F560-D11E-43D9-94E8-41E420172B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8237243ac39caa3580f4136f84722538eb343898","datavalue":{"value":"storage operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699729$40267DA2-D944-4495-8535-A883EAB3C1E0","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":"Q1699729$D96700CF-EA33-4E98-B4E1-2AA6F120211E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b3b9f5501426bd6f78ecfa280a0bf6fd63c0c34","datavalue":{"value":"https://doi.org/10.1007/s00500-016-2344-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1699729$0A464952-6B9A-4A3F-BACD-CA3AAC582A93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b4a72b284d34a0aa5c5c9ba1e1cc54fd4cb9f9d","datavalue":{"value":"W2521937814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699729$2369B67B-D342-4DD0-8382-C3FB0344CB33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$999FE87F-C934-49BF-9EFB-25BD0A56EB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$7E218FCF-CA7A-4590-B769-37BE288686D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$3B5768BA-1EC3-432E-85FA-F86D2F6D2658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5970518dd367f3f2918c1657c549fa7db13ab397","datavalue":{"value":{"entity-type":"item","numeric-id":2871198,"id":"Q2871198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$355C6F8D-AEB7-4D57-B689-A4D549CE3B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311eb0f6758b505863158aef2e213a62e05ad36","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$61A36268-0DB5-496D-ABE5-E26BA1248A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02ca81128f2db6171033ee9291b5b8ff01a99ad","datavalue":{"value":{"entity-type":"item","numeric-id":1199977,"id":"Q1199977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$455A2F83-DB0A-4D0A-96AB-52F3C9095C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$DBFE9196-797F-4A52-AEF5-CF1CA1C74209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$2DCD2AE1-253F-42B3-ADB4-B3C051E883EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ddd92f36070c2eae18b4369cc5e7fd184d29dd","datavalue":{"value":{"entity-type":"item","numeric-id":1349204,"id":"Q1349204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$7C2BE88F-CBE0-4D2D-A0E9-53B9F3B3BDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$7E896AEF-DBF8-47F6-8DE0-E13971C79336","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":"Q1699729$49F7540D-BBC7-4E57-A29E-8FD756A4473B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7d00e5afcd3c130b5ea60d53cef1d961a8719a","datavalue":{"value":{"entity-type":"item","numeric-id":2885174,"id":"Q2885174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$4FCDCCFC-4CE0-4F89-AF8E-CE0972066FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a706c8654280b64d416d77fde7c6265a8bf7a076","datavalue":{"value":{"entity-type":"item","numeric-id":5410682,"id":"Q5410682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$2CF70435-3C1F-434E-A81B-7A20F611B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ef34d326ecee4cf37c92f79aa1d13bbaabd5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4992900,"id":"Q4992900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$456FFEAD-B5A2-4B46-B180-7FD2A8F5C70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541d15e792bedb1ccc47ccd14760e3320ad8c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":4820469,"id":"Q4820469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$69463963-8BD0-4FB4-A463-DD8BB4B6AF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e7ab08d648ef60a8f6ae772383f86f64f972c8","datavalue":{"value":{"entity-type":"item","numeric-id":5426008,"id":"Q5426008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$E33F11DA-0D0E-4AC7-98DA-705E3EE5AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc0a1af3db5bb1682b803cc71ecf7791eadfaf","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$AB8532D8-88E7-4BDA-822E-59C8E7438686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f8e1b43255cda780850e3f15fa5ac06c1fad63","datavalue":{"value":{"entity-type":"item","numeric-id":953281,"id":"Q953281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$40640260-66C4-44F5-B21B-BA6277B4B06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79367f08370f437909846d95538f5a0744629ff6","datavalue":{"value":{"entity-type":"item","numeric-id":835129,"id":"Q835129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699729$6FF7891F-C917-48EC-9F35-3EAD04909784","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fde50b2060fc4744772126eb16248f08541f327","datavalue":{"value":"10.1007/S00500-016-2344-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699729$860E4AB2-10BA-4948-8D76-32D8E25AD2F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea3f366292df43583662c9af0a20e0f47c185bf","datavalue":{"value":{"entity-type":"item","numeric-id":953281,"id":"Q953281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcaadd4ee548c71c7c7bd27a9ed957ee48116586","datavalue":{"value":{"amount":"+0.7769710421562195","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":"Q1699729$4F713FFE-8CA6-40A8-8D62-BDE45166AB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40244f009032e7d6ded26c5f4e0dfeed0886593e","datavalue":{"value":{"entity-type":"item","numeric-id":853470,"id":"Q853470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4bfd950719bf478901daa79433321112416761","datavalue":{"value":{"amount":"+0.7672156095504761","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":"Q1699729$0815FF9C-C25C-4229-93A3-24DC32905633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65e03e19c49765b519c497dc77daa59b7b4d463","datavalue":{"value":{"entity-type":"item","numeric-id":1924755,"id":"Q1924755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991e629d87091b2cdeaf75dbab9a3cd1bc42477c","datavalue":{"value":{"amount":"+0.7637180685997009","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":"Q1699729$0501646E-92F7-480A-9F47-992358F72F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc57604d97dc489b9be96001fb8f65e957d183e","datavalue":{"value":{"entity-type":"item","numeric-id":1759708,"id":"Q1759708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e246b6a8bf4cf96edf308c77f48daa4549ed2e3","datavalue":{"value":{"amount":"+0.7510743737220764","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":"Q1699729$F272269D-17BE-48AD-BD57-AE870932352F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a7163bdf57b86bc4a720fbd6c37f4537f72f05","datavalue":{"value":{"amount":"+0.7477267980575562","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":"Q1699729$79DA743B-237D-4E03-BBD4-19A9A9F7ECF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An expansion of basic logic with fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_expansion_of_basic_logic_with_fixed_points"}}}}}