{"entities":{"Q4539644":{"pageid":6569236,"ns":120,"title":"Item:Q4539644","lastrevid":108927740,"modified":"2026-11-10T19:53:47Z","type":"item","id":"Q4539644","labels":{"en":{"language":"en","value":"On the use of weak automata for deciding linear arithmetic with integer and real variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1765703"}},"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":"Q4539644$BE8A830A-31F9-4297-BE98-4391421A6990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11dcd88b3d27a3a2cca279a7db2d853fee8bbd91","datavalue":{"value":"0988.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$30DB85A1-D412-4BA0-90C0-1C078EED42AA","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":"Q4539644$85D88B9D-CC76-4113-8B73-1EC615440B72","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":"Q4539644$AA6C295E-A05B-4B3C-BE3B-C604E775A91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a796c112aa6b83d1f365213f726978430c380c68","datavalue":{"value":{"entity-type":"item","numeric-id":7423826,"id":"Q7423826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4539644$A17E8F06-798A-4073-9478-B0A5A8EABCCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d53010eb4a0f8747285a4207efc90c1f02bad37","datavalue":{"value":{"time":"+2002-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4539644$AC382726-B41C-448B-B4A6-F41EC09CACE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0dda29121a0d3723591e7cecf91b01252a952e5","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2083/20830611","type":"string"},"datatype":"url"},"type":"statement","id":"Q4539644$730ABDE6-DB4B-4912-94FD-274387FEA34E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$507DAB96-3E08-4D38-A6BF-EC683E1C98DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$3F8BF960-AF34-45BC-93DC-DA217DD92AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$11688820-1095-44AF-8D64-FEAE82D70CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$994C02D2-E813-45F1-A39D-0FD085B73891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$2729BF29-E295-48FF-947F-84C43E88CEC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c54a6651d282211020bfd56f76b5bbe8592800ae","datavalue":{"value":"1765703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$7324E813-D438-4FD3-88B3-D6015229E9B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4539644$8804527C-9E5E-4E66-AA9B-E2A966D61871","rank":"normal"},{"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":"Q4539644$D5C45A70-1B81-466C-A129-9B6A8CF814F9","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":"Q4539644$96665218-AD18-4ED7-AAF1-E6D6BDEF630E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee6477906dc9161468bc7d194da076db843d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"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":"Q4539644$E9450FAF-2444-4333-8079-4FCB1374406E","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":"d0f4460f502da2daf531761308979b9380f19e5a","datavalue":{"value":{"amount":"+0.8122383952140808","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":"Q4539644$D8AABDF6-5360-4FAF-AEAB-27B69A071601","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":"66106ae5c07608a51b06f29c708077344a5e0ee0","datavalue":{"value":{"amount":"+0.789113461971283","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":"Q4539644$8195A7F1-64DF-432C-8796-A5C97F9F036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82150998bb96a1c10c1758eecb012e2d3e7ff31","datavalue":{"value":{"entity-type":"item","numeric-id":4219027,"id":"Q4219027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac30d2598aab2eefdbe47cca14003d03d8ad8f8","datavalue":{"value":{"amount":"+0.7818178534507751","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":"Q4539644$1559BA3D-41D5-41C0-B8D8-223C12803DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296d4288d025fc301b85cf053275d8629eed66c5","datavalue":{"value":{"entity-type":"item","numeric-id":3522060,"id":"Q3522060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac30d2598aab2eefdbe47cca14003d03d8ad8f8","datavalue":{"value":{"amount":"+0.7818178534507751","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":"Q4539644$27EF233C-C497-4E2B-B9A3-30F010954463","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67f5bfe20a1a973778741d994f7228491aa117a0","datavalue":{"value":{"text":"On the use of weak automata for deciding linear arithmetic with integer and real variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4539644$E3526AD7-9248-4830-A55B-E67EA933D998","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b10c34ea87557f0eec520de4eab3769141f51b","datavalue":{"value":"10.1007/3-540-45744-5_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539644$5AE6506E-813E-46ED-9AD9-DFF140F256D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4539644$7F7BB956-71DA-4D83-A594-0171FD736821","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the use of weak automata for deciding linear arithmetic with integer and real variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_use_of_weak_automata_for_deciding_linear_arithmetic_with_integer_and_real_variables"}}}}}