{"entities":{"Q1424969":{"pageid":1435709,"ns":120,"title":"Item:Q1424969","lastrevid":43099390,"modified":"2025-07-21T12:11:54Z","type":"item","id":"Q1424969","labels":{"en":{"language":"en","value":"Guarded quantification in least fixed point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057604"}},"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":"Q1424969$57F0E5F4-4215-4453-B2ED-08D7317303BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"887220dc9392e091edeabab38aa3c18807ead2f7","datavalue":{"value":{"text":"Guarded quantification in least fixed point logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1424969$17087777-4BF2-470D-9BF8-37FA8D5321AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d32fbc75669d56e96baebcb6358557d225b06824","datavalue":{"value":"1045.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$0A5BC189-02DB-46B8-B1A7-6611E56F1D7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"711df27d2235a7537f6c36e0a0540066b9e49842","datavalue":{"value":"10.1023/A:1026107209351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$A85F6117-FD38-4992-9C67-AFE5DD0AA64E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424969$28B97EA1-368C-4A37-A841-F487B2D90120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1424969$CAC15586-4347-40B0-A6DB-7AC6C505DCB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3aa61e9fc70a10e9395225be3460a1343241ac4f","datavalue":{"value":"The author develops a variant of least fixed point logic based on first-order logic with a relaxed version of guarded quantification. He develops a game-theoretic semantics of this logic, and finds that under reasonable conditions, guarding quantification does not reduce the expressibility of least fixed point logic. He also finds that the guarded version of a least fixed point algorithm may have a greater time complexity than the unguarded version, by a linear factor.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424969$309E938C-AD10-45C8-82D4-866CA86537A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$A282B83D-6D20-4466-AA3C-9A0E09A26F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$5FF8FB4F-AFFA-4F0A-BD9F-E68D845E4A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$254FF0E6-CC5D-4CE2-A1C1-D7DFEF87705B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$71F037B3-4021-4236-B910-95033974DDAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09df24173d83f7bcce791726882a123d190603bd","datavalue":{"value":"2057604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$0B95E670-3F4C-41F8-8F4F-BC573D75CFD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90beea274de06625da8ab2240686b4dbe9eaf006","datavalue":{"value":"game representations of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424969$BA221434-2E01-40D2-AD6C-200972BDDF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424969$863BA500-22E2-4413-9D39-7949FC194460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f85055dfcc5e69df84b6dab542602de6b32fced2","datavalue":{"value":"guarded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424969$EE772F89-C618-4D4F-9E43-A4F6EABC411B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341d622a5240cbf4bdd40b6fe72b2dfaa047efaf","datavalue":{"value":"least fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424969$13AA979C-110F-4538-B426-502352AD372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd6194e288c7220db53b004a33f5cf58372810e5","datavalue":{"value":"positive elementary induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424969$1409FB74-30CC-43CC-851D-7CE5F0768B37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eaa89ddc8f1c02cec0a1d0e7fe6b6f15f5a7ca9","datavalue":{"value":{"entity-type":"item","numeric-id":587174,"id":"Q587174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424969$57C3DB94-6F03-4AEB-8BD0-4F28381346EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424969$275B21E2-4D66-4A76-AA34-56B7316669C6","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":"Q1424969$0DF169CF-D271-4410-92B0-E7143E0A24A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac2f30cf1f8871f5bc740bdcc845fbeed28fa28f","datavalue":{"value":"https://doi.org/10.1023/a:1026107209351","type":"string"},"datatype":"url"},"type":"statement","id":"Q1424969$2CE4F9B6-5AB3-4C2B-AD87-E4336D3657A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a26895276a0f1d4ced95f390195737c19fac6dd5","datavalue":{"value":"W1487926359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424969$60139B7A-2CCB-460F-88FD-2AF2CAD36A71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faccb31b3e3dd4aaeb404ca7e3b35fc3c6a45690","datavalue":{"value":{"entity-type":"item","numeric-id":436331,"id":"Q436331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea03342d72c37455c808df389cc258b4927d93af","datavalue":{"value":{"amount":"+0.91855824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$9E3FE322-DBDC-49E8-996B-7E96DB190844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb39063ece4676791c62b9491fa7869a2ac4869","datavalue":{"value":{"entity-type":"item","numeric-id":4635812,"id":"Q4635812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bf3b8d4239a4226e43c0d56653f49214be5dfe","datavalue":{"value":{"amount":"+0.9058843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$24C562C4-909E-4779-AE83-48B514E03182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5db2e7aff8de30376be70cb10f31c138b1d20","datavalue":{"value":{"entity-type":"item","numeric-id":4412841,"id":"Q4412841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80b98fe8a8bc63f4cfe95e39f2ae8bff81ff210","datavalue":{"value":{"amount":"+0.89659834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$C8FE6188-8196-4AE3-918A-0A10C49A751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59127b84627d93776ac99a559e39d19e81aa1b47","datavalue":{"value":{"entity-type":"item","numeric-id":2567341,"id":"Q2567341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364832523fdbb1c2395e7d1af3a8f845fcc54911","datavalue":{"value":{"amount":"+0.89368683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$820CD7A5-9FF0-4E80-B939-96A2DA260C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4b983e611ee0a623929239399fefd296a43294","datavalue":{"value":{"entity-type":"item","numeric-id":4412842,"id":"Q4412842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24cbbbdb6f728795cb51a1674bf21dbdbc5b826","datavalue":{"value":{"amount":"+0.8845743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$38121698-3D02-4FD4-BAF3-908DEA33AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b81fcc060ab591cefc903c4006d2d2436717f0","datavalue":{"value":{"entity-type":"item","numeric-id":481100,"id":"Q481100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8bb13e4028bd2deead0b04909fc06d13278875","datavalue":{"value":{"amount":"+0.88368636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$090AB4A5-EB4B-4630-BC58-D70A571AD324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c1e97cc66915d1d156aa89fdeebe15562f7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1813969,"id":"Q1813969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b74ca3facf0df3d6fc42cce77b518e8e7b0d8b","datavalue":{"value":{"amount":"+0.8763385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$29D585E2-E1B8-4BC2-978F-297C17CD2003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbc1696578e74951632106c423907bfba23299","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa530a4bbef5b435c6802efd69c645e2585101c0","datavalue":{"value":{"amount":"+0.87250966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$6FE82F71-4515-4828-830B-723FA2134E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac30f2bcf8429d55439e6c776afd459dfae08f9","datavalue":{"value":{"entity-type":"item","numeric-id":4346734,"id":"Q4346734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b021bb681c5c9eda5e4cf6efa217420e50fddc0e","datavalue":{"value":{"amount":"+0.87000585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$EABD747D-7C2E-49B9-9BF5-94044E763368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac3c7aa1d7f13c353b0e71ea0c62626a25a0554","datavalue":{"value":{"entity-type":"item","numeric-id":4344700,"id":"Q4344700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de38773d4d0362a8ee9e33c6c48cfd42bb666eb3","datavalue":{"value":{"amount":"+0.8692211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424969$F7B12D91-1736-405D-B7C8-50D28762C494","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1424969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1424969"}}}}}