{"entities":{"Q5279264":{"pageid":7308839,"ns":120,"title":"Item:Q5279264","lastrevid":52861241,"modified":"2026-01-23T16:12:22Z","type":"item","id":"Q5279264","labels":{"en":{"language":"en","value":"On evaluations of propositional formulas in countable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6749656"}},"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":"Q5279264$8B1168DE-E81D-422B-9A43-5752F8917BC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5571b81863303b85f50738a47dd68eff7e475d9a","datavalue":{"value":{"text":"On evaluations of propositional formulas in countable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5279264$811D7D35-BB28-4778-B9C3-ABF0A0E06A59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7d091f2dff3547127929c4a41a2ef0fa812a310","datavalue":{"value":"1474.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5279264$4B1BAEB6-26B3-40C4-BC97-8F6792D1DD9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37fd8ea19d0fcee26a3abe89802934d11985e545","datavalue":{"value":"10.2298/FIL1601001P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5279264$0CAA2C4F-EF34-4C13-96CC-0C473EE75E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0bda7cdf92664a4bee0c3f7686e4c4dfbc6bfe","datavalue":{"value":{"entity-type":"item","numeric-id":991001,"id":"Q991001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5279264$31A368E7-A53E-4B34-879E-E55114915278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d820429f3140e7d009f4438f62b787bd7ca023b4","datavalue":{"value":{"entity-type":"item","numeric-id":465582,"id":"Q465582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5279264$3A18DE1D-9927-4324-AEBD-226F412AFC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c95639eea9749b2381c312d72fb0dced146c214e","datavalue":{"value":{"entity-type":"item","numeric-id":465581,"id":"Q465581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5279264$A1D026AA-D2FA-4F03-931D-85E0104519F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5279264$4FC7A951-25C2-4538-8A22-477105C8CACD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50253d742fd430afcee1b72e2737d53494b9a60f","datavalue":{"value":{"entity-type":"item","numeric-id":65873,"id":"Q65873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5279264$25FCE15E-67DA-4428-82E5-036A4F5EF76F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5279264$C2C90610-44B4-405D-AEFE-B8BBD17DF4FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5279264$A97ACD48-36DA-4E11-8DF9-709A01F07AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5279264$E91DD752-E795-4936-BA45-1E419DA370C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5279264$301730E4-99BF-4CFE-A138-EB4D833A80AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86b9ba48076b577ea908f2f7a189a2f3359dd3d3","datavalue":{"value":"6749656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5279264$84C71274-A95E-44FC-B41C-4321E8023EFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5279264$89AC4CC6-2C7A-4E5E-A27C-11C4621B94F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5279264$B9386543-C0BB-4F8D-AD08-51A2B7279826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c09853d6e62220bb3947b34790eed638e0d3cb","datavalue":{"value":"weighted formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5279264$16ED929B-1B97-4E1D-85A9-15C7CD673211","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":"Q5279264$B77E55BA-915B-4688-9FB3-45C18E47F4FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca6a435bdf559db4989b13e36046a3886ecaa3f1","datavalue":{"value":"https://doi.org/10.2298/fil1601001p","type":"string"},"datatype":"url"},"type":"statement","id":"Q5279264$0F34C233-E9D9-457E-B6CC-02DB706160BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2c5be2024839e1b73eb70ff43c97a9ab045fe5f","datavalue":{"value":"W2345746078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5279264$B90A8EF7-5B06-4BCE-A932-82DCD3C786F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024b434514f281fb7323d2d2bf26f83c42b5b82f","datavalue":{"value":{"entity-type":"item","numeric-id":878970,"id":"Q878970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815acbd82a0d9a149d20ddc024dd55d203f7aff0","datavalue":{"value":{"amount":"+0.7101175785064697","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":"Q5279264$A8017931-4058-4EE0-A461-C04CB48F53F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a375767e6fbec090f43fdc0f0dc7705ec02630","datavalue":{"value":{"entity-type":"item","numeric-id":3712311,"id":"Q3712311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff20f3cd3d695dcfd7a87095badbb22e0799bb7","datavalue":{"value":{"amount":"+0.6820580363273621","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":"Q5279264$C9762E3A-980E-4194-AE70-BE62A90C26DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0fbf85f177281bb45ca6f11aa1c3838fae2657","datavalue":{"value":{"entity-type":"item","numeric-id":5452176,"id":"Q5452176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6028737e9b5620687bebd90abdbc5d4caa71ab","datavalue":{"value":{"amount":"+0.6787775754928589","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":"Q5279264$8D52312F-C9FF-4AD8-97D1-86880C07A9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27fde3b9868b4219abd29abc030c9ea3d357129","datavalue":{"value":{"entity-type":"item","numeric-id":4593059,"id":"Q4593059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c38bfbc0befac7d3dd34b27fd81ae6d90aac0b6","datavalue":{"value":{"amount":"+0.6782523393630981","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":"Q5279264$547A9A18-A24D-442E-B239-85C4E53E61DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743628fd9cf6045dbcfe0bc1ef02d3cec023ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5113502,"id":"Q5113502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb3a5e4062a25e64a79b963320995aa66c08237","datavalue":{"value":{"amount":"+0.6781749725341797","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":"Q5279264$CC10A4E8-FA82-48AC-B1D3-42D169F20169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5279264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5279264"}}}}}