{"entities":{"Q3655193":{"pageid":5685099,"ns":120,"title":"Item:Q3655193","lastrevid":50867039,"modified":"2026-01-15T12:10:15Z","type":"item","id":"Q3655193","labels":{"en":{"language":"en","value":"Superposition modulo linear arithmetic SUP(LA)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654232"}},"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":"Q3655193$3CD7507C-1CE5-4D83-9A90-CFE2324BE6AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fb49dc3456b74c3cbab512205303f6d339fc429","datavalue":{"value":{"text":"Superposition Modulo Linear Arithmetic SUP(LA)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655193$9C5D19FE-4DA7-42E5-89FF-0338E6A3A4CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dc3875b265f5638a8490af0157c3102619e1c40","datavalue":{"value":"1193.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655193$1EBEA730-7CA8-4284-80F1-175FA8A56C73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25e9ad04d185664b4b0acc421c5ee8ef6d2558dd","datavalue":{"value":"10.1007/978-3-642-04222-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655193$3E7D3CD9-D297-4474-A531-952722D062F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04acc05b3a4f51c0bec3f2b03209a12d37faf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":393122,"id":"Q393122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$1BC911D9-B0EC-4426-A817-37C4F700BA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a90d58dfeea03a75e7d0cdae3c5064a56b2f72ec","datavalue":{"value":{"entity-type":"item","numeric-id":1949087,"id":"Q1949087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$EEBFF34F-8E77-4A37-9A89-101E3451F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$D3B38087-515D-419C-8634-356B0577CF01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$A783B2C6-F88A-44D6-AE60-8E1884952761","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655193$84AC1F8D-5D93-42A0-ACBC-EDD6F2ABACD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655193$B16312A4-56A8-4F8B-B408-FA8F9335CFB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94f7e5c1031db337c4fbaa6f00cc2831549fa3b4","datavalue":{"value":"5654232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655193$07988A03-FB9F-4577-AF95-EBB154E6BFAD","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":"Q3655193$534C3443-9C35-4C0C-AA4D-AF7EFF6CF1F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a054ec73850cf97e80a57e59032c1264372c2c5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04222-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655193$3F46C188-87FE-4436-80C2-9224DB7A4AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c112b287c4874f300d9016093f6f03c647fbd6","datavalue":{"value":"W1550776561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655193$0C1E8003-FF36-46CA-AECA-42C9A1FDDAF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$17C2AF85-5261-4601-83D8-14E7811F2C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$00711D45-22D1-4CF5-91DA-4D241CACFE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8f27245772c2159d3ccf93c502a4163695153f","datavalue":{"value":{"entity-type":"item","numeric-id":3541724,"id":"Q3541724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$A8E060D7-2AC6-43C1-8A99-EAC97E7E6853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f747e3e17dfdd736a92b2d2fca660cdcbe7408","datavalue":{"value":{"entity-type":"item","numeric-id":3502696,"id":"Q3502696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$E3589E9A-02F9-4D89-8664-E5DAA38429FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817ee4f5358d83048f7143c1c798ef96590ad2ef","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$2E092BFD-9C82-458D-A33C-79132AE0D640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86863697a38444bb750622f38f93dfb010d37b48","datavalue":{"value":{"entity-type":"item","numeric-id":4953405,"id":"Q4953405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$D618F630-AAB7-4F18-A820-24C6B387C888","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":"Q3655193$8CF20D06-439E-4239-82D4-E57C2258B96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162191a843aa7b73da7b19e1b092828e298b7d58","datavalue":{"value":{"entity-type":"item","numeric-id":4539608,"id":"Q4539608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$368EA8E3-DB7D-4E0C-A2D8-D390B5CF5507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655193$0B53BB77-213E-423F-B853-71C27D231627","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8e3a6abe8f8c4a26042826c88255c7940305fd","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120fedd2afc342ab65d2fb37a15e75b59fac311f","datavalue":{"value":{"amount":"+0.8640117645263672","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":"Q3655193$9221CA6B-A5A7-4CC6-B9F0-054FF5D82380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92de1a09822e0e115caba8c3d664e95defabd96","datavalue":{"value":{"entity-type":"item","numeric-id":2185457,"id":"Q2185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5d2c1108968df8cda4b661b2deb54c64d41c1b","datavalue":{"value":{"amount":"+0.8233292102813721","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":"Q3655193$9819D41B-002C-446C-9C57-01D72933A1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17afe4acce71a9f4b33e485c80978e2c169ec3d2","datavalue":{"value":{"entity-type":"item","numeric-id":3172887,"id":"Q3172887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be78ea0434a47e338c031b4ba559e9b18987ed09","datavalue":{"value":{"amount":"+0.8211895227432251","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":"Q3655193$E9A0A07F-0F41-42BE-A82A-0C41C7F1D296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec8cb3d8f8e37af7ff320c83fab5802d23e96ca","datavalue":{"value":{"entity-type":"item","numeric-id":4928427,"id":"Q4928427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0194bc13131d4bc6a835a18432e5e9cb8261d9","datavalue":{"value":{"amount":"+0.8006604909896851","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":"Q3655193$72FD546F-1128-47A2-BE45-25BEAB077015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1710ded83e70542233b4417eea911ce3e3a0af","datavalue":{"value":{"entity-type":"item","numeric-id":5191094,"id":"Q5191094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fc0e7479c4a71e80b889c63dd2616b472f10be","datavalue":{"value":{"amount":"+0.7991920113563538","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":"Q3655193$2D5D998B-EE37-4CAC-ABE5-3AB77BE863EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655193"}}}}}