{"entities":{"Q5111440":{"pageid":7141014,"ns":120,"title":"Item:Q5111440","lastrevid":58425456,"modified":"2026-04-05T04:14:05Z","type":"item","id":"Q5111440","labels":{"en":{"language":"en","value":"Conservative extensions in guarded and two-variable fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204560"}},"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":"Q5111440$923F9755-5AA6-45F6-94A3-DDBA7F85C718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc395bc1684ccfea00f2f1a7530c8a026c61645b","datavalue":{"value":"1442.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111440$3DB81BC9-485C-43AC-96D9-34D6EACFC73D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111440$D97132C6-197B-4557-A647-FFC99AE2AF17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69d027ee96a79395eb6e0657a5b7a389601c3175","datavalue":{"value":"https://arxiv.org/abs/1705.10115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111440$8F6AFF99-DD97-4415-9645-2F588C4E1609","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111440$A9B3AA1E-3397-4543-8EE6-6501D62BBE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111440$EEDEBDAB-3F4E-42B1-955F-03500DAE1C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111440$AA4583A6-BD97-46F0-9336-9E3B8FC954AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc51d4a3a0d828996a71ff28b857456cd5a92a5","datavalue":{"value":"7204560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111440$699796C5-A1F9-4652-9D30-70DDF7D8C3AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2faf303f989993a1d63975dc22ba73f1afb46c","datavalue":{"value":"conservative extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111440$62202FAB-84B2-4739-A1F3-F4280A352829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4867b93f5ea4eeb50689ef02433506199483adff","datavalue":{"value":"decidable fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111440$0D6C6535-3749-4D8C-83B6-2DBEFF8FDB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111440$90769651-9455-48F5-86CC-E495B28FEFB6","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":"Q5111440$3A992ECB-B53D-4503-BFAC-8BC6B74BB310","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92ef8142c73f01006c9bf147f7fae5cb59f617ce","datavalue":{"value":"W2962905563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111440$64F6A8D0-870F-4200-85B1-E3E92BE61B02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"305476f5e229e95963a4cdcc4b7826e90bbd0f85","datavalue":{"value":{"text":"Conservative Extensions in Guarded and Two-Variable Fragments.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111440$77901CAC-F226-4C35-867B-C4A365F480D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad8ec50d693b9a87d96219e2fc26b790f0ee6046","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111440$4996824F-3726-4BFE-9483-A045FFC79666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d2416fc2ceca0f964f37ff1fb1650f890ce9e5","datavalue":{"value":{"entity-type":"item","numeric-id":5222982,"id":"Q5222982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4581e2164216f7b9ced982df20b375be4e38da2d","datavalue":{"value":{"amount":"+0.8092408180236816","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":"Q5111440$C3E48E15-B579-4111-8A7C-5D1E0849C88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73248f8ca2b31c8bea463bcc40cc29f9c8d11c74","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3ae95f29a3e767a38c3d4194c71256d6e52b6a","datavalue":{"value":{"amount":"+0.8032366633415222","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":"Q5111440$10B6AE6B-8203-45BF-9D81-6A093AFA92F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bf010591ff2238b13343fff39d18ee416fc0c5","datavalue":{"value":{"entity-type":"item","numeric-id":5710721,"id":"Q5710721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea46dcfd186b5509b218f402d17d7f89feaff8d","datavalue":{"value":{"amount":"+0.7934412956237793","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":"Q5111440$A8C2F1BF-3572-45EA-BC49-23990F0F1002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6315eb165d5e38eb8f5c3409cc596707ab9b88","datavalue":{"value":{"entity-type":"item","numeric-id":3638100,"id":"Q3638100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27ca7e2964708bf8c3bb1bfd275542f18175b7d","datavalue":{"value":{"amount":"+0.7820634841918945","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":"Q5111440$464DC5AC-AB6D-4CD3-A746-68D8A3F46D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df62193c1e3464a749a650af523b4764b480a334","datavalue":{"value":{"entity-type":"item","numeric-id":5114785,"id":"Q5114785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730ec91486683ed7b1180023b9d4bacecef47d9f","datavalue":{"value":{"amount":"+0.7778823375701904","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":"Q5111440$9E9F0938-0CC8-43D1-A0B0-060D69666B05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111440"}}}}}