{"entities":{"Q4645009":{"pageid":6674590,"ns":120,"title":"Item:Q4645009","lastrevid":58313559,"modified":"2026-04-04T16:37:36Z","type":"item","id":"Q4645009","labels":{"en":{"language":"en","value":"Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999174"}},"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":"Q4645009$5BE75E9B-9FC4-43D2-ABCA-4F8D6F64DEC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"206140618248b0e3949f8935f6266d4516b026b8","datavalue":{"value":{"text":"Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645009$DEABC433-FF86-46DF-A418-E3115DA138F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"861c92dd7accaccfe9927253db713b41f42d253e","datavalue":{"value":"1404.11029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645009$4145F59E-2D13-4B8C-B546-80F638C547C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a39424b9cfe36336df12713ad7f0bef58aab3bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2826218,"id":"Q2826218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$924A3472-F649-4ADD-9663-BDBA31B9837D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f08d454227bb1ca5f6eaa3764756f182f8472226","datavalue":{"value":{"time":"+2019-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645009$A4854B81-7735-4A31-A10B-1E527E3FAAFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cb27ebd0e624d7e253a54fa66da396e034c5447","datavalue":{"value":"https://arxiv.org/abs/1608.08520","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645009$0A8BB0DF-B3BC-40DB-A770-7C533622B1FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f071a227a82a2fbae9e00865d40aae78fee790","datavalue":{"value":"11D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645009$8A53D9C7-BF2E-494C-B207-FCEE9E687058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645009$156A6126-D3E0-43D8-BA8A-1E0DE57923C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36eced1cb35575af6c5ed7b65bf89f01332ffb0f","datavalue":{"value":"6999174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645009$ECB9C9C3-25BD-4611-9D55-1CA1E4E32334","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":"Q4645009$7AC98DF2-FFF5-4E85-9E19-A6C87950F2B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a0c3da2daeb09fb78afeb1d60fb78057f6835e2","datavalue":{"value":"W3098542245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645009$A56FDE59-0F67-4B47-9B44-1FB71866472E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80228179adeb1b4d56e93a3041fb54fc32b90d3","datavalue":{"value":{"entity-type":"item","numeric-id":3415206,"id":"Q3415206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$79CF1A62-5057-4720-88CE-D053EDEF6727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2e738d6992942dccbc3475717f1c1b7c475810","datavalue":{"value":{"entity-type":"item","numeric-id":2847189,"id":"Q2847189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$E1BE8C9D-DC86-49EC-B7A5-28FCF4322A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c4de310e96a67f8001b90a8fd7bffa307f9716","datavalue":{"value":{"entity-type":"item","numeric-id":5388833,"id":"Q5388833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$42CA5E10-EFF2-43BB-995F-83C7B85676BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$6BE759CA-36EF-4C12-AC3D-641C314859CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a12273efec1d8537d98d833c401a28eeca69","datavalue":{"value":{"entity-type":"item","numeric-id":3282061,"id":"Q3282061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$79663651-7921-49A8-8EA2-6341671CCAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$D129923E-409A-4797-A27F-9DAF1A1A92A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824cdef16d0977e420b80e2a979f57e66eb3758b","datavalue":{"value":{"entity-type":"item","numeric-id":1661676,"id":"Q1661676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$20CA6D9F-6196-4158-9918-32A60D603541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1d78ee60345c1af483e06ce04eb4ef2a02d1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4412780,"id":"Q4412780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$3B9F8E9B-32F5-4806-A126-B0DA65E55357","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":"Q4645009$95E12FB9-25D7-43E6-A019-547CBF3C623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88182aa7b77c4eb7005a57d5eab42f257cbc74f","datavalue":{"value":{"entity-type":"item","numeric-id":4254700,"id":"Q4254700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$DA3E782B-D480-454A-9CCD-7009D8C2C274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cfbbc936b1a25d81546a8177f987d200817aad","datavalue":{"value":{"entity-type":"item","numeric-id":945000,"id":"Q945000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$A6098E01-8804-4568-998A-27EB3FB81D74","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":"Q4645009$03CF4403-8139-4A7A-A7C7-317FEFB125B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6817215c103d008493211f3a22490f01d9b3f2d1","datavalue":{"value":{"entity-type":"item","numeric-id":2346475,"id":"Q2346475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$2E03AAEE-A552-4D41-8225-0E7A567A670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$FD931593-3B5B-4153-8E0C-171DFD69A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be04969677f720826c2f3fd2c0c534de8aa6d58","datavalue":{"value":{"entity-type":"item","numeric-id":3130449,"id":"Q3130449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$9A4F3EA1-33D1-43F4-8329-0904B01A4205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baef0d780dad2ada46115132cc6cd9b3423d4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":1192337,"id":"Q1192337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$7F29B152-1D7F-4CC6-B30C-B385245B9C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaabe4546513c269b5f6efe6fb13454fd22cb41","datavalue":{"value":{"entity-type":"item","numeric-id":405135,"id":"Q405135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$99414B69-670B-44E6-94F7-2A33F31FCB41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddad1bb479ca2dd2707c58dcfc24a31433f070a4","datavalue":{"value":"10.19086/DA.1254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645009$14F6F182-8A1E-43B7-A6EB-E12C9DBD9DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb7743938ec7ba32f326b379010fdab0a580140","datavalue":{"value":{"entity-type":"item","numeric-id":5746169,"id":"Q5746169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7435671a93006c3f5c23b5ac98086c1160ed29fa","datavalue":{"value":{"amount":"+0.8472532033920288","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":"Q4645009$8EAC1812-9C28-44FD-BEA3-8F28CBEB2C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdb953d7204aaea86f7330bda61813815fd636b","datavalue":{"value":{"entity-type":"item","numeric-id":405135,"id":"Q405135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef51b048b8981cfcd865cd2a0eee4b7ead726653","datavalue":{"value":{"amount":"+0.8368262648582458","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":"Q4645009$A02FE83B-9B31-40B8-B632-894AB57405E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71ef34dd11c176484ee799cb30974cbd3da1f61","datavalue":{"value":{"entity-type":"item","numeric-id":5108860,"id":"Q5108860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2a34e399588d786ebffeac68690c5df5ae7902","datavalue":{"value":{"amount":"+0.825468897819519","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":"Q4645009$BBA797DA-B8E5-4AFE-B23D-AD778BE63F82","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645009$9466307E-9AF8-4FC2-86C9-D07AA6C1C787","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645009"}}}}}