{"entities":{"Q4344700":{"pageid":6374299,"ns":120,"title":"Item:Q4344700","lastrevid":46926894,"modified":"2025-12-25T21:07:21Z","type":"item","id":"Q4344700","labels":{"en":{"language":"en","value":"Fixed-point logics, generalized quantifiers, and oracles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1036293"}},"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":"Q4344700$EA8A7A5C-0A22-4FF4-9820-2E9BFD43DF11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7184f2e4bbc28356b16c741190cd6799d3bbbe2","datavalue":{"value":{"text":"Fixed-point logics, generalized quantifiers, and oracles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4344700$F58B29AE-47A0-4D66-BD30-64E91F214568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c045dfed74d1d10b95a0d079c90fd794eaee01c6","datavalue":{"value":"0880.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344700$08BB95D7-B19C-4DAE-BB60-1B41CA387EA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae2b74b3d3b10a904d356a618ec49f714ffa90b9","datavalue":{"value":{"entity-type":"item","numeric-id":1818428,"id":"Q1818428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344700$D88B0555-B1AA-4B7C-B370-E515A45D66A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0b49252c47513608a2024e704aeac58803f16a","datavalue":{"value":{"time":"+1998-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4344700$6F6AA987-60B4-45F7-ADD0-D821E74AA562","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17bebddd4a9ea20e5fbf11a8f74d17c50074f340","datavalue":{"value":"https://semanticscholar.org/paper/b04d1662a0776095a13a3448b878192bef257ee7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4344700$367B8B03-0108-4B5A-9A0D-1FB46A1C0931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344700$F08903F1-C5D4-459B-B8F3-0586FCC1E26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344700$2DC3C10D-7F54-445B-8383-3962570C2791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344700$27335448-8591-41B6-8CA0-B640803DA942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b9ec2fb3435b50c71297a958be7b3aac10b7892","datavalue":{"value":"1036293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344700$3ACE23B6-26FB-40A1-BD5C-17539461C069","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c912dd45456959aa9594fa8a89e3f787ad398ae","datavalue":{"value":"oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344700$5C41C1BD-6829-43C2-90C7-EED820954191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ca7e024b45b397afb6caa1967503cb33f011f3","datavalue":{"value":"representation of fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344700$568C2CED-827F-416E-8CE0-6E55BFDFCED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344700$F93872D2-5087-4B92-8CE2-D602B6BFAA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3eb65725d343868a6997f8adadfcdfa29f4c5fe","datavalue":{"value":"monotone circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344700$34848BA1-04B1-40E5-ACFB-E19203D891E6","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":"Q4344700$C6492722-F032-49DB-84DE-84FB44DE0880","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f18b500ff0e03f713af21929ec007a52b4af442","datavalue":{"value":"W2058380510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344700$73BE93CF-FCFF-4FD9-B390-CA730A3E1D27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a6f887eb44d39bb7b32ce4d8bb1358ba705227f","datavalue":{"value":"10.1093/LOGCOM/7.3.405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344700$0A2BF8FD-A902-4919-A915-DDAE695412A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344700$3AF76637-79E9-4CE2-A615-261F94CC2587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49da2cae4b4fea0e6726f14ad146971323df2914","datavalue":{"value":{"entity-type":"item","numeric-id":4399514,"id":"Q4399514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b35766f186ecb2f16719cad0d029b81b4a55b44","datavalue":{"value":{"amount":"+0.8170520663261414","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":"Q4344700$45BEDA15-F3E5-4DF5-9388-7D67C9FE4C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf862075fa66de9be3ea83bc01d235528cea151e","datavalue":{"value":{"entity-type":"item","numeric-id":1908344,"id":"Q1908344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87896ac8b7a2e28697accd2730364cab589cbeea","datavalue":{"value":{"amount":"+0.7947083115577698","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":"Q4344700$D7CA83CF-67AB-4729-9C71-45AA1AE13458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3610914827c58d6343ac6778757b1ed316aa36f5","datavalue":{"value":{"entity-type":"item","numeric-id":4358054,"id":"Q4358054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8528a25efa2e33f21f1538b0923e1beda7782021","datavalue":{"value":{"amount":"+0.7914673089981079","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":"Q4344700$B24BE192-9615-41A0-925F-F340BA462349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4344700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4344700"}}}}}