{"entities":{"Q4399514":{"pageid":6429113,"ns":120,"title":"Item:Q4399514","lastrevid":41620782,"modified":"2025-05-06T11:25:16Z","type":"item","id":"Q4399514","labels":{"en":{"language":"en","value":"Enhancing fixed point logic with cardinality quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180278"}},"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":"Q4399514$606FAEB9-5C05-4D90-8C18-4843EA19FB7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed0ad95c95c9d7bdcc2b80cbc36fb6904702f094","datavalue":{"value":{"text":"Enhancing fixed point logic with cardinality quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399514$FBDDB5B0-E70F-4BE0-8FA7-23FCE4C76AEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24fdfca6fe5212c850b44ec1470165af70e2d64a","datavalue":{"value":"0909.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$A5BDCEB5-46AF-4BA0-B953-7C65B10A1043","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399514$3DEB577D-097C-499B-8058-AB8134260356","rank":"normal"},{"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":"Q4399514$DCE24175-AE36-45BD-9AB1-F1CF95D87BE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fd8fae299cf234170554d2e7553be2d1d5401b","datavalue":{"value":{"time":"+1998-07-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":"Q4399514$FF2A89E6-23D9-4BD3-A314-E61D8ECC7446","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6ba6876ef7befd7f4c58fb01b3407236782c9c7","datavalue":{"value":"http://doc.rero.ch/record/292194/files/8-1-71.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399514$9763A10A-3D1B-4772-B9B1-7C8A7594C3F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$75A03305-8CFB-4B4B-887C-D6AA4F95DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$986DB800-76D8-4462-8ADF-76C4F6541DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$228D94DF-623E-4191-8996-1651AEBEDEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$EEC493A2-FE2D-41C8-8771-8A5F3C7DA9B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36c6286dd3e3c10709c4743e795f1bfb044d0eda","datavalue":{"value":"1180278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$08EFA565-A6B7-4D25-9071-7C1DE9F59A43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399514$19536BAE-64EF-48C1-8DD1-9992CB263108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399514$8E578F02-0B1A-4ACF-9A19-D56825961061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e388782ac2fc469e47f124b9760028703ad7ef","datavalue":{"value":"fixed point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399514$12C2043C-D6DE-495A-9C47-5E7A1C5F9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399514$7818F43C-A35B-4298-852A-1D24B5E319DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e59e6d3e6fa3d2da3f32ed5709e7925ef4bf9a","datavalue":{"value":"cardinal quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399514$5427FE0A-46BC-4862-ABEA-1292884EC04E","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":"Q4399514$6D8DAF29-666D-4480-B6AF-A2E4659CF194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75ba3d5b6d3e2e6ec835c61e06abffd7e669fa19","datavalue":{"value":"W2130593249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$C34EC8D1-D95B-4633-885B-1834D7DF0B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aa5cbabdbb5316410b35a5b45b9d9bc02e1a58a","datavalue":{"value":"10.1093/LOGCOM/8.1.71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399514$9E484B25-9515-4526-A74D-8E628C613320","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":"Q4399514$5A115A74-CF32-43FB-B648-D0FFD6958D21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21773c5c2e332a4d11a8fd3552ffc443191dd620","datavalue":{"value":{"entity-type":"item","numeric-id":3067425,"id":"Q3067425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4376392f105ec016c6191a1e0c24fdccbf964694","datavalue":{"value":{"amount":"+0.89871144","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":"Q4399514$DD4AC26F-7101-4967-AE77-1AC26DA16B59","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":"44a2189783833e04d000e093ef548fdd44080ada","datavalue":{"value":{"amount":"+0.898406","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":"Q4399514$A23FC444-A079-4D35-9F76-A3DB0036EC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db26ac7b869023f82c8c138e4ca0018072f1882","datavalue":{"value":{"amount":"+0.89744854","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":"Q4399514$CD401FCA-C53D-42C5-A4B5-4B311EBDD912","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":"b829c79c32eac736fa2db92ef7e0c8c56a0b69be","datavalue":{"value":{"amount":"+0.89423704","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":"Q4399514$1F01FE81-2663-484E-8992-80C6433BD5CA","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":"cc3c3ccaf74ef5a70a5c126d9e1b6bc8f70095e0","datavalue":{"value":{"amount":"+0.89350927","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":"Q4399514$0940FF84-226D-446A-A306-C11A230F3083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd52f83f0ccc8a2caa57d2d3c47798e3e17b954d","datavalue":{"value":{"entity-type":"item","numeric-id":1687544,"id":"Q1687544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edeba78d59ca7e947bae7d11f7ed236ee07d6a47","datavalue":{"value":{"amount":"+0.89345366","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":"Q4399514$7A849B3E-7D3C-4939-95F5-969032C871F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4348663a652828f3947483c715f97243b36a8ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3496323,"id":"Q3496323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646a4e51cf6231d72a4b0271f5e54a9bf9b3c404","datavalue":{"value":{"amount":"+0.8903107","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":"Q4399514$E5A5545C-BA04-49E2-A733-56186A57466E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebdba5fed38aaadacb66604db6f0be16390a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4508261,"id":"Q4508261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ddb25aeed424113575b23e3a19f6815d6f31bc5","datavalue":{"value":{"amount":"+0.88993484","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":"Q4399514$CAC1DC5B-9C94-426D-929C-B56BAD4A17EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4206b1fa915a0ba4ef0c08e85668951ee6d029a","datavalue":{"value":{"entity-type":"item","numeric-id":3011122,"id":"Q3011122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa0dee07014d721f4e6ec81a5e8c06081acdbbf","datavalue":{"value":{"amount":"+0.8850485","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":"Q4399514$51954310-B0A3-4128-A3A4-FC8DD7D5B308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a904bae87fad5a98f1dee5a8827a3d11e720146","datavalue":{"value":{"amount":"+0.8836718","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":"Q4399514$C83EA330-5474-47C3-B4B0-AC7FDC889540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4399514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4399514"}}}}}