{"entities":{"Q861705":{"pageid":863553,"ns":120,"title":"Item:Q861705","lastrevid":64957653,"modified":"2026-04-11T23:21:28Z","type":"item","id":"Q861705","labels":{"en":{"language":"en","value":"Deciding Boolean algebra with Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119739"}},"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":"Q861705$9EF9ABAE-507A-4709-9090-2D7532F3230B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03a67651343b9fb1ba2bd094255b581faeb61c7a","datavalue":{"value":{"text":"Deciding Boolean algebra with Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861705$947F5CF3-B965-4E9A-92AB-7A7C83E8564F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f75f8fdc6d44b1c468ec0383f45f10fd734c640e","datavalue":{"value":"1112.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$66A25816-86D6-4921-A6AA-1735BE28EA71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$16071767-36A9-4ECD-B017-1BE4A7D90C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d434b3386a2e1d22ea7d407073d0af6bd3f7060","datavalue":{"value":{"entity-type":"item","numeric-id":436398,"id":"Q436398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$CA5EE4B9-2951-43E4-9B02-F81A174CCF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3818a1716b8610e195be4975a458855618b9d1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1268805,"id":"Q1268805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$77B64FC0-1258-4B8C-A6FC-E845D8A64498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$E01C78A6-0B1D-4FD8-B96D-FEEDFCA166A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35bf8729f5a833a26eee340dee2bdc3e7c14d114","datavalue":{"value":{"time":"+2007-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861705$7286F4D4-5007-41B5-A69C-53CF87AE81F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb57692886ba8ff06da4dfe282a780cdfe78da39","datavalue":{"value":"https://infoscience.epfl.ch/record/110248/files/KuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q861705$F85470DA-A8B6-41F5-9B70-5112C9F83C3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$DA9695B1-BEBE-4903-8742-6B91889C52CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$D224177C-C80A-4B14-9B36-B60B17145D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$44C86386-5C6A-4BBD-883D-1209D12CA527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$28DCA04D-B48C-401A-9BEF-7EAF45336C6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b403039269a2dfeb5c9b8d582199f5d346fc2021","datavalue":{"value":"5119739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$6CD0A850-7152-4FBC-A6B1-86549B777DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q861705$0B90B1B5-F4EE-42D4-9636-A5123099DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q861705$B84F15CF-219C-4607-BAB5-093E44174C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q861705$ED4074CF-231F-42F3-97E0-F8D391884EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q861705$42F7267C-5F4E-4F8E-93C3-10FA9FDCD4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q861705$CB0845A4-8502-4D12-A940-3C001315AAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q861705$110C0FB1-4A73-4C97-BB1F-4213C8866E27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$38BDE758-C452-440A-8B4B-73089160BBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$621A2938-71FD-4CF7-8FC1-D4642AC6B52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$C8BD6853-352F-4109-A13C-06F1AA55C5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$8AD93BAF-7DE1-46DA-A00E-5F8BBB84FF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$D25CF525-F60C-4BC8-8B7F-8A1D09CCC82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$0F8A01DB-7862-4570-A3FF-32E4C5744674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$70DF95A6-23BC-4BE5-8378-5DBD428280DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$C1C8F01C-E8AA-412F-8CC3-ABD2C43E9B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$BBAA991E-10A2-4D38-8E65-AC407766824B","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":"Q861705$8741AEC5-F9CE-4956-8DE4-23668063FC3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ebf8388057f61676b14ca489ba0850c0e381892","datavalue":{"value":"W2102913701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$3C73B7AB-68F5-46B8-87BE-3DD2E44028F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$F6F55D08-A543-4408-8C7C-749B91C54B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$A18849E2-F924-44E9-B232-180E25C8F380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$88D98257-B741-4430-9687-4866E17DCD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$1EAC8EC6-09CE-4C22-83BF-44BC3279E267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$A8DC7547-1FD6-4FBD-A4D7-3A1858D9072F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f76f741c9d879772047a2f068275875df3dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5705902,"id":"Q5705902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$1533A33B-63DC-4C0B-9090-2A5B6325D2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$98C2971E-D9AF-4F65-80E6-6FDBDDD52F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$61087BDC-7E1F-4730-BA5C-C4BA828F89C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$4FECA36F-32FA-441C-B545-6B51B286605F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523cb74c83148b3957ac202c3255056aeebe5927","datavalue":{"value":{"entity-type":"item","numeric-id":945055,"id":"Q945055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$B6A35C54-C25E-4E41-8DB1-C7E5B75A826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$A3265DB1-F563-4497-A0D7-4744B6794D56","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":"Q861705$4C471058-7283-46FF-90B9-0D8074F087CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf419dac805a3a6e942f74800bb8fc1f530c0724","datavalue":{"value":{"entity-type":"item","numeric-id":3914400,"id":"Q3914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$4CFE8975-F05C-4020-AE70-932ADDE2B3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$C0D65675-0CBB-441F-9EE8-3790D607C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$498AA022-FB75-4F03-B279-BEF86B14419B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$E52F1D40-1FEE-43B9-9E3A-C989439B78F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$02A48BE0-4359-457B-829C-11BA2DE4D347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ecd962d29196a0fa85d545f27fae2c55c992d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021971,"id":"Q3021971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$B193F34C-EAE0-46D6-B437-D6BB08540DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4d1b54f39385e475024bcf36a9244162838f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1137036,"id":"Q1137036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$7DE1E307-ED92-48DB-BBF8-765EB647539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3e1f632aa6a45772004d57104ad9109cf2f75","datavalue":{"value":{"entity-type":"item","numeric-id":2492014,"id":"Q2492014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$3AAB613C-0775-4EEB-9CBF-2242ED007D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef552af965d052b8ba64fe1fd78aa90edf47625","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$B4D81B50-3399-4A2F-8DEB-D439D4B3F889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be08e56c42c2ed44ec3f04b21e115ceb75e622d","datavalue":{"value":{"entity-type":"item","numeric-id":5901903,"id":"Q5901903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$940AC8A7-9A71-42FB-9383-66DBC3C35008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4969b5f5e9cc3b90e0e5711501cc685ab2ee2a60","datavalue":{"value":{"entity-type":"item","numeric-id":4813414,"id":"Q4813414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$8DB25AE1-9964-4F13-85BA-2C4BDE538B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374029bef706a4a7bb34ae1f43e9772d20725164","datavalue":{"value":{"entity-type":"item","numeric-id":5711506,"id":"Q5711506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$FE9DC0D5-4910-4AAF-9544-0BB671AA7031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"991ac21545d55e33054a32161d4696ec2df1036c","datavalue":{"value":{"entity-type":"item","numeric-id":5312932,"id":"Q5312932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$A30D7C55-9122-455F-9621-998E585457B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938b9393c4143d508e9369a3f399798dcdd295f6","datavalue":{"value":{"entity-type":"item","numeric-id":5758056,"id":"Q5758056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$F6D5E217-1F7F-4F25-BB5C-33C5DEF4E831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591c0a0bd7a7f6dd8c897a6f5b9eeb5e464cd564","datavalue":{"value":{"entity-type":"item","numeric-id":1350538,"id":"Q1350538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$33D34F99-BD13-4704-87C5-AAC6F34C7D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$F6A0C9DF-CB29-4B27-ADAC-C7375B41D618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$3A253B55-F37F-4016-8554-D55913486866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$59DD1767-D532-49C1-9F17-A774600E48C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$C105EF45-2C75-47AB-9B16-388FEF405A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27124d54cb51e845e43d7ecd27812d025e0950ff","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$E62BB901-B379-4B31-AB0F-4D9B9DC00619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9377b2daeb30d37de0d3649505ecfe4f7c25d222","datavalue":{"value":{"entity-type":"item","numeric-id":5464722,"id":"Q5464722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$C845C650-E233-4596-863D-C665D4015716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc5b8faef02add0dac1e1edb32f2d2749aba6cb","datavalue":{"value":{"entity-type":"item","numeric-id":5466563,"id":"Q5466563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$9E6F3233-5529-4ED0-B6F2-75076CF9A01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59293eeb5b02bf53fbf8f0878a16024c278a1bec","datavalue":{"value":{"entity-type":"item","numeric-id":5592253,"id":"Q5592253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$DA4449EA-3EA4-4390-B626-77AF438E56D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$837BF3E0-4EA6-4807-B2A7-03BB75C0672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b11555faa74c9dd9ad74dc7ae9b8d6db990575","datavalue":{"value":{"entity-type":"item","numeric-id":1904404,"id":"Q1904404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$78A95CB5-4B0F-4E0C-B1AF-1043233FB57D","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":"Q861705$E0448861-875B-4184-8A05-EEEA714AE54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257d08455ef584eb671b59fe645a2702cfc11cf9","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$CB0C4EB4-B8DF-4746-8D16-C61C65F9A7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cbfbc588388370bcf25513bfdd8bc82891f4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5305665,"id":"Q5305665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$0D9CD8EB-3469-4D0C-A72E-B4301AD149D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672069c2f7bea0c7be6341747d1ed79c343b3501","datavalue":{"value":{"entity-type":"item","numeric-id":812443,"id":"Q812443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861705$ECF235B5-6167-4C28-B461-39F6F0CDA717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"836315db904e6838bb1f4f7ea335b3d7be7a6dd1","datavalue":{"value":"10.1007/S10817-006-9042-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861705$7D67A346-8A59-41D2-B1A1-ED1098EA0D50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56333c01f72340c60a9d60cd9f1e0709b308d580","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514f2e66e174103fdebb0e0ad879c6eec1741ae2","datavalue":{"value":{"amount":"+0.9883445501327516","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":"Q861705$F5FC6B9F-6C25-4914-8968-EAA813D4E2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274867b6fcc7d562f7a72620b27d5cfc445805bb","datavalue":{"value":{"entity-type":"item","numeric-id":3075499,"id":"Q3075499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886709215896dc210c171553bb064c6897761b35","datavalue":{"value":{"amount":"+0.8314212560653687","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":"Q861705$D551EDD7-2A9A-4DDB-84BA-B37C1777EE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f3bdd926c5dc8eeb2c894e6ce6885003efff56","datavalue":{"value":{"entity-type":"item","numeric-id":3608775,"id":"Q3608775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9212bc618a0605fab4dba924379c6b44df4911a0","datavalue":{"value":{"amount":"+0.8309812545776367","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":"Q861705$E28E6CBE-1631-4ECF-BDEE-F298DE01A749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6b89e2ca3d6525f6ed328de1591887ce59afb6","datavalue":{"value":{"entity-type":"item","numeric-id":3586032,"id":"Q3586032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d55a1860ffafeb5cec4fbf69c50af739f59fe49","datavalue":{"value":{"amount":"+0.8248107433319092","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":"Q861705$9743BB99-9868-4AAE-AA58-18E1D9551CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0024e50d695c8494ad351d6735f89361ca5cb8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3656874,"id":"Q3656874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3122667dd810f88abe50404b816fabd6e1f034","datavalue":{"value":{"amount":"+0.7803665995597839","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":"Q861705$CDCC3BA6-1B9B-4119-BDFD-313FCEE6D565","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding Boolean algebra with Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_Boolean_algebra_with_Presburger_arithmetic"}}}}}