{"entities":{"Q6584959":{"pageid":14196115,"ns":120,"title":"Item:Q6584959","lastrevid":40574860,"modified":"2025-03-07T04:09:23Z","type":"item","id":"Q6584959","labels":{"en":{"language":"en","value":"Decidability bounds for Presburger arithmetic extended by sine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7894020"}},"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":"Q6584959$6FA0DD5C-7451-4D93-AF89-3FC36B69D83A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93f74bbe316854a9aafc055833f61a1b285b8336","datavalue":{"value":{"text":"Decidability bounds for Presburger arithmetic extended by sine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584959$4B614705-B9BF-483D-BABB-D319FD2AD7F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c778cffbfac7e2139e927a4e40e594efdde21840","datavalue":{"value":"10.1016/j.apal.2024.103487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584959$19B21734-730E-4BAB-928A-CC554F842389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"236cd7e6ea8ea567a9946967de86671dca70f486","datavalue":{"value":{"entity-type":"item","numeric-id":6301904,"id":"Q6301904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$0244A0D0-463B-4F8A-B6CF-B4E6F4ACA0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a6f0ee0d8d4751322bc016f613d455675594792","datavalue":{"value":{"entity-type":"item","numeric-id":1650002,"id":"Q1650002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$E3160EF3-89E6-4264-BF7E-2B57FF731CAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$F3FF4283-2802-433E-B65B-3543B36C04D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fd15c6a45fe5e1ddcb64ec4c376a60cdc57323d","datavalue":{"value":{"time":"+2024-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584959$25972C97-2E91-47A7-A036-660C232E6B12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584959$91DDA405-FDD5-4855-B0AA-1BDA0251374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584959$96FDA5E2-81B4-4024-93EB-AAA9AB6D256C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584959$43C1D28E-4FA0-4A10-BA5A-33777E4F4F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584959$4A23BC48-E0E3-4201-BC19-14DD63BBCDDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12940c2e237da6047a47f2ff5929b78726526b97","datavalue":{"value":"7894020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584959$D939E7C6-44F8-4613-8977-4ED9F5A28B68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d84c67f4ec33dc6d4ac3433ba2f8317ed50c453","datavalue":{"value":"expansions of Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584959$2E75F84F-96BE-4441-BA70-8E682716D72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6957da1b4fb5c8100bcca686e826a466382bd2","datavalue":{"value":"linear-sine arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584959$2952FDAA-6980-4CA5-9C79-0FED09EE6A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584959$159CE447-EC6F-48B7-823F-B0455174843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584959$29421856-1D88-4528-93C5-0F6BE4E09643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584959$334A9909-F782-46AA-88C5-8EF7DA283FA5","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":"Q6584959$911EACD9-184B-4B3C-B0FE-31E6B720D8B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f6718e979f572917e49257118fb36a14d4bf9f","datavalue":{"value":{"entity-type":"item","numeric-id":3454738,"id":"Q3454738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$ED505240-385C-4341-B360-B2CBDD30C9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cefdbcf7fa3ccbd8af6d1f5f477811e735b409","datavalue":{"value":{"entity-type":"item","numeric-id":3998726,"id":"Q3998726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$DA93B791-F51C-4793-B2E8-9FBF6B9E45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce3aa80c833c51c0be3b25c3bb90e85ed9eac46","datavalue":{"value":{"entity-type":"item","numeric-id":1126175,"id":"Q1126175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$36D554F8-D093-4B19-BA19-D8FFCF9323EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$6C8DE4A5-3608-4525-9ADD-0BC9866308C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c5d650ed5b7f309509b508822c85330a62bbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5155665,"id":"Q5155665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$B891D77F-830B-466B-B8D2-6FC34E409CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee85b7a58d7453bcffa4d07cd3841e99be5fdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3190214,"id":"Q3190214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$25E21E00-B28E-4299-BCF3-8D07828B03FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0cce5c218f883c1731aa63250e252c0c578190","datavalue":{"value":{"entity-type":"item","numeric-id":455004,"id":"Q455004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$49F43787-6979-49E7-93E2-C714C3CE711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518e2d557489c28fc832c69c855db40072c817d6","datavalue":{"value":{"entity-type":"item","numeric-id":5520004,"id":"Q5520004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$D2ADFA58-94D5-46C3-BA40-A05721EC2CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0419c2d589a5691952df0e1b56d9c1fc3b587a5b","datavalue":{"value":{"entity-type":"item","numeric-id":2630828,"id":"Q2630828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$09C51EFD-B50F-430E-970F-F0A03F0B094C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$14DEE1DD-DED6-49FF-AF3C-4BD0D1B7EE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b492d3887dfe91f103ef3e57c2ed830a645ba0a7","datavalue":{"value":{"entity-type":"item","numeric-id":3980089,"id":"Q3980089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$EE2A362C-1D40-4051-90EA-536EB3781785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13edf50f417646392b66e4bcf940e8fdd90fc570","datavalue":{"value":{"entity-type":"item","numeric-id":4907868,"id":"Q4907868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$C62E1919-00CD-4E78-8F22-E06868AFCBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d27d4ca5c7c4530cf014dff626c1aaaa93949b","datavalue":{"value":{"entity-type":"item","numeric-id":3650321,"id":"Q3650321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584959$6167BCAD-9869-4C6F-B036-011CC22181E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584959"}}}}}