{"entities":{"Q6830165":{"pageid":15120877,"ns":120,"title":"Item:Q6830165","lastrevid":56024605,"modified":"2026-02-26T16:27:32Z","type":"item","id":"Q6830165","labels":{"en":{"language":"en","value":"Decidable weighted expressions with Presburger combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810958"}},"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":"Q6830165$DA25590B-E062-49BD-98C9-DBA246721DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"501bc488a8e5d447c812975d1a298b90a885f919","datavalue":{"value":{"text":"Decidable weighted expressions with Presburger combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6830165$7D1E7166-9831-4982-985D-464605B8BD67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88c9ff575c763d69602574d516fccb7b2e2094e3","datavalue":{"value":"1429.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830165$4099899B-8580-4E39-9AD6-8C99A57F4538","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b26fde8d9e99dcd67cf039d7af6d263917181c0","datavalue":{"value":"10.1007/978-3-662-55751-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830165$83B7C9BF-15C5-4490-89B7-67ECA05C3AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830165$6485EA2C-00A8-4068-BDED-288B5EDF7B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402c576d6928e11e18aec7313e2c3f75f248efe","datavalue":{"value":{"entity-type":"item","numeric-id":1622975,"id":"Q1622975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830165$290A6C81-3559-4F4D-894C-3658693A9202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830165$6AA1DF03-16AE-4F64-A729-5889AC6A4922","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830165$7DC68D4E-9524-44E5-83BA-8A8B10EAA52E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6830165$DD6FFEDA-D031-4821-B843-DB9F64E86514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830165$4A6AAD69-BD8E-4D58-9475-AF3308E31066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830165$F499F9E4-9254-4548-928F-78707A283FDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9be45363789b125bd36da5f67d6e66434201a5e9","datavalue":{"value":"6810958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830165$1D298C40-24CC-4853-8BFB-5F4977ADBBEB","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":"Q6830165$26BD5B8F-0ABD-4724-8638-3E811D580256","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable weighted expressions with Presburger combinators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_weighted_expressions_with_Presburger_combinators"}}}}}