{"entities":{"Q5108850":{"pageid":7138424,"ns":120,"title":"Item:Q5108850","lastrevid":53724920,"modified":"2026-01-25T15:07:00Z","type":"item","id":"Q5108850","labels":{"en":{"language":"en","value":"Rigid models of Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197310"}},"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":"Q5108850$35DEBC76-5C03-4659-B753-A29E5020ED33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4582b73ddfcecf5a62b5103a18a58fd74c407244","datavalue":{"value":{"text":"Rigid models of Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108850$AE057936-DF0E-448F-871C-88D3EA9DF1F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$BAE303CC-7F15-4E84-82EC-3E3B70E6C9AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$7E7AEDFD-6FAA-439B-8866-721D6E4A4AE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108850$661EBB20-3936-4C55-9E6D-95AF4BB99270","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f330e12524b0c508de36db55e7c2c750fb26f5cf","datavalue":{"value":"https://arxiv.org/abs/1803.05797","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108850$CA009A00-D7AE-4993-AC34-691EBF89EC2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108850$45C70557-15AC-4627-ADD4-38461C4AE5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108850$667F8798-1890-4A7C-AA82-045894C6E5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108850$55C84002-FEAE-4617-A644-FE83C601FE1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b439f8bdc3b767553dcc2ef4a1014867b32afa2f","datavalue":{"value":"7197310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108850$52F6AAC4-0A05-429A-A894-35F782595374","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":"Q5108850$2587731E-3348-4FC1-ABBD-BD1C767AD95B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c3e7b1f1124c64a0a85f1f9853ef4fed51a9795","datavalue":{"value":"W2793442860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108850$18A37791-251F-4DE2-BF8C-3E19EFC50B63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3660287890bc0bb860250e1ad4a290df33634","datavalue":{"value":{"entity-type":"item","numeric-id":5311752,"id":"Q5311752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$78368BCC-9450-49F5-A82D-B18D88E81323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$8331B52C-C926-4238-BA91-BC06CD3D252E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$63DD9F45-862D-46DF-9113-05D56A6BEC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$EE30BBD8-7BD4-4A29-A15E-336B8B62D332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4906babe5efa1a516339732c738708446580bf","datavalue":{"value":{"entity-type":"item","numeric-id":636396,"id":"Q636396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$2CD652B0-90D1-4ED1-92D4-4160A5EB1B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c229cc596cf6fddc763e798d89a5a842ff4cc31","datavalue":{"value":{"entity-type":"item","numeric-id":762058,"id":"Q762058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$1FAC5272-DA7B-4B00-A44B-5E0E1332919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a31ec2c1b062ddb63399a267cda2482e94ba18","datavalue":{"value":{"entity-type":"item","numeric-id":3778001,"id":"Q3778001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108850$D0B0E081-EA45-436D-9BF2-98852DEEBA94","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4910482260ead2c4d4e3e4710fa2ec30d6b5357","datavalue":{"value":"Q128115363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108850$CC105EE9-B8EA-4C4C-B141-F9DAC5FBF5F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a768956168661ff31393ef792344fcab04b6b7ea","datavalue":{"value":"10.1002/MALQ.201800019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108850$F443F15D-C9AE-4E86-988E-D116733D15B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141dd697c0f6485f09c60499b901cab0a0ebafa6","datavalue":{"value":{"entity-type":"item","numeric-id":3783277,"id":"Q3783277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c65fc2b393275542a63a6f6c77f1f6d17d594b3","datavalue":{"value":{"amount":"+0.797838032245636","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":"Q5108850$8CC973B7-E27E-4696-902D-9343A17D2714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb5c27d7b13b52160f5464232dc38aaa3f609a0","datavalue":{"value":{"entity-type":"item","numeric-id":1987223,"id":"Q1987223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65ee8ac2e70eabbf9e909c3771790f60c52f7ca","datavalue":{"value":{"amount":"+0.7735141515731812","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":"Q5108850$A1D0B5D3-2989-49C5-AA87-9778D4CE674E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc624f55bc7533218ed98e77c10b53eef8634cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3758816,"id":"Q3758816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef8bca32f1f9e74ff4896da9899827202c5ed78","datavalue":{"value":{"amount":"+0.7572954297065735","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":"Q5108850$51E45364-A354-4EDD-9AE0-B9EE59473699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d780ee978922a4e1d6202424050017701e3863","datavalue":{"value":{"entity-type":"item","numeric-id":3835447,"id":"Q3835447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae1aa17f4bcf7fe34542f1f50116357f0034b38","datavalue":{"value":{"amount":"+0.7266786098480225","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":"Q5108850$C7C7711A-2D65-41B1-8672-B81453697518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49aae0a8a1f811a0b1f1d3ff82dd76c9cc574d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3342546,"id":"Q3342546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce8a1cc6d255e9871e99e40bcb0fa2b8a967d32","datavalue":{"value":{"amount":"+0.7242055535316467","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":"Q5108850$64864511-9A37-4676-9A0C-65C36B0125CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108850"}}}}}