{"entities":{"Q5277733":{"pageid":7307308,"ns":120,"title":"Item:Q5277733","lastrevid":52850414,"modified":"2026-01-23T15:42:26Z","type":"item","id":"Q5277733","labels":{"en":{"language":"en","value":"An effective decision procedure for linear arithmetic over the integers and reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743976"}},"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":"Q5277733$CA7FEA8F-06D3-470C-BC5C-D463CB670675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55eaf51da57eda12b27a8f805ca4af52a06bebc0","datavalue":{"value":{"text":"An effective decision procedure for linear arithmetic over the integers and reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277733$C992B321-7160-44A6-AA18-ED3F54A387B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2122884aba5476d95b27bab6df0726e0a2a99cb","datavalue":{"value":"1407.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$8F632700-0DA7-4DF1-8FA1-C9AAE25ED492","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd627dfa699e5d29e8fee8e27e295a2575ae4dd5","datavalue":{"value":"10.1145/1071596.1071601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$D29B7F3A-0318-4E44-8750-6E8A4AAF285E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa0bbc60cbf0355cddd545775bf106af185734a","datavalue":{"value":{"entity-type":"item","numeric-id":1014640,"id":"Q1014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277733$CAB69B87-9DD6-41C6-91C7-ACB89C88855A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5cb5d17dd6a1ed2ae0f01bd95daf08511ee0f2","datavalue":{"value":{"entity-type":"item","numeric-id":2914908,"id":"Q2914908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277733$A7471364-96AA-4E04-B3E9-E0E63C1FA191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277733$5B3BD93F-5480-42B3-A174-B8336E8B93D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277733$2D703A6D-A945-4F12-89D9-F443E636E780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277733$9F5BE5C8-82C6-4337-B880-1ABA1529B677","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0cbf2a85b46bd0a5cf8b8903adaee29c91094bd","datavalue":{"value":"http://orbi.ulg.ac.be/handle/2268/12428","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277733$134D0844-9EA6-48E0-A328-F357D3B34AFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$E0864EA3-0725-4CC4-B030-48F0A0991972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$D82C11A2-35F0-412C-AA36-06086BD7BD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$3E6A6FD9-AF43-4D30-BDFF-4483A7479E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$9BE05C70-CD20-4442-9852-C13E4E4FDC9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cabca1b9122f683f8c01708a42b1d1a3d516c95a","datavalue":{"value":"6743976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$D05935D5-BAB8-4A3E-B6CD-A447602B7C4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277733$E2D49F1D-284D-49EA-90D6-6B3D17F4B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"714c3a087e2947439b520d1ff8380b537c46d0e8","datavalue":{"value":"finite-state representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277733$0C45C921-3BB3-4281-9BE6-2ACCAB910F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca0e778ed6869776ec130e3e2e9f645cf1a6ca0","datavalue":{"value":"integer and real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277733$C998CC1A-B5CE-4EBE-8238-0376490E0886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56440e94710e41e78aa04fae34a1ef5fa1b5f5da","datavalue":{"value":"weak \\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277733$DC0F8285-D6D8-466C-A968-7342E1623919","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277733$F08D50D5-C6CB-4FA1-BC23-49680DD04757","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e3fe16b2fee0f613c7eacbddf5f44d4b5b21cd41","datavalue":{"value":"Q62638500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$263D5575-48B6-42E2-8AE5-2A4351A7619B","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":"Q5277733$6CDC55F2-CEE3-4A4E-82AB-77A15C60E68C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d219efa276d574632a4fc4ff2919b2e12b61814","datavalue":{"value":"W1966686249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$8D4A35CC-BC41-466D-BB97-A4FBCE0A5120","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"623619603e2346a185c66d46f87be51fc842ddd6","datavalue":{"value":"journals/tocl/BoigelotJW05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277733$3618D6AB-4DE6-499D-BD60-89EE5C7AEEA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72759b6f84446c00b4869f94bd50cc5c75b15889","datavalue":{"value":{"entity-type":"item","numeric-id":4539644,"id":"Q4539644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2405295a700a431b0903dd370abf317bb5a952f3","datavalue":{"value":{"amount":"+0.9039654731750488","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":"Q5277733$CAD2F467-D385-47E1-8A64-3AB037ACFF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a54789e32430f1018054948eb060d2fc452ab3b","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f25cb3471d06af809dc51bb4e626049356f1cc1","datavalue":{"value":{"amount":"+0.8294530510902405","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":"Q5277733$2A90E25A-0604-43EC-BC6B-E430EC6AB8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaec2582496cb6978519283e2e0d72a7c0485ddb","datavalue":{"value":{"entity-type":"item","numeric-id":3540195,"id":"Q3540195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e633108da89a7931582ba21ef3496c95261f2eaa","datavalue":{"value":{"amount":"+0.7973460555076599","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":"Q5277733$34074A87-C2A4-4188-AF60-50A9FF54CC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0375720777c06e9a87a53498186510deeb2d5abf","datavalue":{"value":{"entity-type":"item","numeric-id":782555,"id":"Q782555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90112f4b8a4340495c313aacc0a5dd7036a0497","datavalue":{"value":{"amount":"+0.7862534523010254","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":"Q5277733$C3F97294-BD72-4B3D-B6BC-94659C1A4E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89eb090975b6463ec6771845be69bd1293bd25b","datavalue":{"value":{"entity-type":"item","numeric-id":5747770,"id":"Q5747770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cd77ba58dacdd62cddf6e270de223bd20dce6d","datavalue":{"value":{"amount":"+0.7757320404052734","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":"Q5277733$D40FD8F9-B5CA-4A08-8304-538F63FD41A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277733"}}}}}