{"entities":{"Q5398043":{"pageid":7427617,"ns":120,"title":"Item:Q5398043","lastrevid":96387614,"modified":"2026-06-05T11:06:04Z","type":"item","id":"Q5398043","labels":{"en":{"language":"en","value":"Stable models of formulas with generalized quantifiers (preliminary report)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261528"}},"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":"Q5398043$7DF56D33-DFBA-400F-B496-B9F974AB77CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae50af1d2baaf183e688851a5a49effa19716886","datavalue":{"value":"1281.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398043$8600747B-574C-4DE9-8992-0C9E8AC702A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c9c5d3a5c6970817c5db0cbfa66d180e46194","datavalue":{"value":{"entity-type":"item","numeric-id":543595,"id":"Q543595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398043$292D1693-EA35-4114-9A27-1AD8850E9CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1665d71c1888a323166e8bb45d2b4001786e1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3112628,"id":"Q3112628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398043$AEC96170-EAC1-4416-B7AB-9A96740AB059","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398043$D5CAFB63-CA9A-430E-A268-0BA8FF1F47C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398043$25A1D35F-C48E-4A2E-8519-D4348F3F3480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398043$F95B9DFB-10CB-4112-9378-68106C7036F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398043$D79355AB-8314-4303-B04D-F0996F3B69C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cdc323c99970779dd1d0bfb6b2a1d749452ff7c","datavalue":{"value":"6261528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398043$4EA808E9-C1B2-42DB-8868-920EFA11A59E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398043$6B3C90B6-49C3-42CA-9149-797C2B3A803D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398043$AAEE40B6-6918-4510-A4C3-0A043946636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398043$E1C643C9-AF27-4C37-980A-41DDBFB72CFC","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":"Q5398043$6B10AA0E-64AD-44C8-8A65-3A98E26E8F2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a914c737332b6da2caba2057129d0df21978f81d","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398043$594C2710-191B-4572-BDF3-237F8F4B739D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee21f61a044b4e2444c9f20be5a605db32642b2","datavalue":{"value":{"entity-type":"item","numeric-id":2360180,"id":"Q2360180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c33a4b52be46c09d68b15098a97c66db92849a9","datavalue":{"value":{"amount":"+0.7980611324310303","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":"Q5398043$72932DC1-9548-452E-9C8E-A6287AA17B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc59495f8065bb30860c2251be720226c350f8a","datavalue":{"value":{"entity-type":"item","numeric-id":4593057,"id":"Q4593057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da1749e27d3893806b27c28706287b78d14ae7b","datavalue":{"value":{"amount":"+0.7922609448432922","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":"Q5398043$5E204BED-CEFA-412A-92A5-2E324DF3633B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a8de509f071d884124747848d4a95931bc41e5","datavalue":{"value":{"entity-type":"item","numeric-id":2851269,"id":"Q2851269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf434cf0787d8dc53080d64372a31f9953719da","datavalue":{"value":{"amount":"+0.7897924780845642","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":"Q5398043$25944DD9-A323-4E12-9D7E-6B388946FCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d473ab9e84425a6e36fe3e9199b6bdc097c61d","datavalue":{"value":{"entity-type":"item","numeric-id":2296731,"id":"Q2296731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654ffc3cc8dc308b0ed5ffce14da92d75b245b18","datavalue":{"value":{"amount":"+0.7897166013717651","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":"Q5398043$33BDA360-C2B3-47B8-98E7-3E6ED898BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f3b94eefe0cb345c8bedaf5e7bbf5ac8b266d7","datavalue":{"value":{"entity-type":"item","numeric-id":3643117,"id":"Q3643117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31daf1d6bf5c0d1827ba92bd18c272f7e39e8a22","datavalue":{"value":{"amount":"+0.7790806293487549","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":"Q5398043$1F55DA6C-3315-4089-81CF-285FCD497BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stable models of formulas with generalized quantifiers (preliminary report)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stable_models_of_formulas_with_generalized_quantifiers_(preliminary_report)"}}}}}