{"entities":{"Q1176286":{"pageid":1187035,"ns":120,"title":"Item:Q1176286","lastrevid":66434700,"modified":"2026-04-12T10:03:19Z","type":"item","id":"Q1176286","labels":{"en":{"language":"en","value":"Why not negation by fixpoint?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13983"}},"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":"Q1176286$D2CD5DDE-AFFF-4964-BDFC-0864FF1BBF1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0872b5195bd8d25b36552cfbf5f84a4d03bc185","datavalue":{"value":{"text":"Why not negation by fixpoint?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176286$17C33176-902F-4AA1-9362-D78BADF1A649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c8307f05f76f17e87790460df9e5b5e35f93abb","datavalue":{"value":"0753.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176286$113677EC-1E96-4362-89BB-73C2CF7263E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3dcb74ac4e1b307eea2fc3da74e6a38421e763c","datavalue":{"value":"10.1016/0022-0000(91)90033-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176286$D2EEFCF1-7FB4-4483-ADB6-E0C014E6C156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$40AA3DDD-E67D-443D-BBA7-B40C72664989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$20C91D15-8217-416B-8519-A87AD1772FC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$3F3588B4-CF1B-45FA-9177-8136A1D7DA26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176286$94200696-C196-4A4E-BDF1-296A5EC81528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176286$54523FE1-90F5-436D-8DB7-02F3BFFB6AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176286$7D47B3B4-6D10-4708-8273-B688E82989F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176286$02232E24-9CA5-4164-94F3-CB970ECD7815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4086c5d44ade550008bec5132020d60481b210c","datavalue":{"value":"13983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176286$B532484D-2781-4C4E-8BE6-D2B493B5273E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176286$F4B5E5B0-B6D9-4240-9304-300975412C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8a75b2b5ec5ab9b2b5cbdec647913010270bb1","datavalue":{"value":"inflationary semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176286$3F17D1ED-0484-4C96-A114-4C4AA0E82D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7e552a8313c994f36cc69f034a5002ca83626a","datavalue":{"value":"DATALOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176286$BD90035F-1CF6-4FCE-8767-FB9476FD40BB","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":"Q1176286$C9816864-0E92-41AD-A938-A8F63CC886F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e466d075fb60968fe7998a8ac49d6ec615107cb","datavalue":{"value":"https://doi.org/10.1016/0022-0000(91)90033-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176286$1CB75AF1-2A65-4594-B324-B3CF644878A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2c24f5ef20af7305224d2a4cb8c20ab28e90d0d","datavalue":{"value":"W2022938902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176286$7559709D-6A53-46E1-A24D-424A63A8DC14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$C5C2094F-0DC0-4B19-9B5A-7D529168F4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ee9b89d25866849eff84487be5a7c7991b60","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$379C2D83-5E5F-4759-B7E8-824847F4E45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5257f71d98a6e1899a8d1ff1a09a30fa28cbba","datavalue":{"value":{"entity-type":"item","numeric-id":3751004,"id":"Q3751004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$F4FBC0CD-0F39-43A3-B23D-1CE5F4D3F4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$7BDD2467-59C0-4229-BF2E-A21C78B7CED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$9B47294C-044A-493C-B3C1-3FE27B6D5BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6cd049ff431edffd5bad9d535e84ddff9eb5ea","datavalue":{"value":{"entity-type":"item","numeric-id":3775538,"id":"Q3775538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$A40AFCBD-96D8-482E-8F73-7804E24A7595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$4C915183-9236-4794-B106-1EBEF7849CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$7A4E15C1-6233-4FC2-A6AB-FDEDFA45E52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$F484B7F6-3093-4D86-AC52-EE90E9A08F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$4196D581-2367-4A58-8BE3-B3F07C6AC74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2a1a71b49ec8a49d1aaa20916821b36ece12fa","datavalue":{"value":{"entity-type":"item","numeric-id":3815290,"id":"Q3815290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$0FDC2580-15DB-46D4-8DA6-D0E26EBFF1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$41907D16-5D03-4552-93F4-300D0776EE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1268c34f98c46f18ad911507724e23503472927","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$E694EA2D-C2A9-40E5-9A31-D5E8D24E39A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$CCACEA78-62EC-4AB9-B9D4-1A4F139D5FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$EB1AB888-F871-4292-913E-D8BEB6B316D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$3047B68D-13C5-4DA7-A7A7-7DAFEDFDB2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$F265B8BC-0459-42F8-B15A-70B26BE9479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$0AD43A80-7593-4697-B393-FEC9A7FF146E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83662ae316121ea72100b37e1d7f310700b0f0a","datavalue":{"value":{"entity-type":"item","numeric-id":3703297,"id":"Q3703297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176286$1891E249-718D-4597-98C7-420CCC1A592F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1900b8b75386f0390e26b355c3cdd87d99c8a64","datavalue":{"value":{"entity-type":"item","numeric-id":676419,"id":"Q676419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0898e48450108e92e83842fcca71b53b4471127","datavalue":{"value":{"amount":"+0.832246720790863","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":"Q1176286$60471AB8-88F9-4EA5-BD76-C04C924019D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21ec0c92439874495f2d77ebe9584ef0a7a4008","datavalue":{"value":{"amount":"+0.8103634119033813","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":"Q1176286$96FE77D3-53E2-4432-9592-7F16F44EDC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c99d6e27e1a0daf4092c4352e725a16dc41c35e","datavalue":{"value":{"entity-type":"item","numeric-id":5699654,"id":"Q5699654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1a133deaff4f12963695302cd7987564feb688","datavalue":{"value":{"amount":"+0.8086654543876648","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":"Q1176286$1AEE7D6C-9EC7-4C22-BC84-8E696E9057AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff59b64b48a90b57f8f293ab9533cb1d4908a50b","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3212d077dfa6cc9dd882cda32ff6e46d93ed18d","datavalue":{"value":{"amount":"+0.8052837252616882","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":"Q1176286$F08FF6EF-E121-4706-88ED-25A7E0F54A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c39877d31a53df0462b52b50e33fcd8de1ce39","datavalue":{"value":{"entity-type":"item","numeric-id":4382112,"id":"Q4382112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b4e78d58d39fd3b530879948965aa38a7e3f78","datavalue":{"value":{"amount":"+0.8052709698677063","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":"Q1176286$F60C306F-A815-4363-AB8B-92AF1192FAC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Why not negation by fixpoint?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Why_not_negation_by_fixpoint%3F"}}}}}