{"entities":{"Q4910740":{"pageid":6940319,"ns":120,"title":"Item:Q4910740","lastrevid":51673061,"modified":"2026-01-19T09:57:17Z","type":"item","id":"Q4910740","labels":{"en":{"language":"en","value":"Ehrenfeucht-Fra\u00efss\u00e9 goes automatic for real addition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6146476"}},"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":"Q4910740$5D6C061F-D999-4500-BB97-F8C8C7DC4976","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8a135459c1aa6ac77bb7a2101061b6fe9119b4e","datavalue":{"value":"1259.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910740$16C93416-55B7-4FCC-A8DA-3B0E2CA1786C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b5808f251c37bb2de69a0629c5cb8c741b5006","datavalue":{"value":{"entity-type":"item","numeric-id":402358,"id":"Q402358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910740$8AA66E5E-0CD7-4C85-95F2-5F33839D9441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b36cae3d8cf11c479e6d5b4030a31d81c96c839","datavalue":{"value":{"time":"+2013-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910740$22A34657-B654-496A-B497-635195BBA8B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e282c99b74251a3ad83625e529a30943c39a160","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_0b03.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910740$23052B3B-B81B-485B-AA9D-C5EFD349D7AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910740$FF23A822-93F4-458A-B180-F9AAADD8ED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910740$660B8A2B-C550-43D8-8FE7-432BB08480E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ed0aaeb94915ac193f3696b0bc2ecbc7753075","datavalue":{"value":"6146476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910740$92AB5547-CCC7-461B-AD67-EC72A7877B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910740$3E0C0B70-A88F-4BE4-A4C0-2CA31B05883B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6cea664c634ba78ee49bcbbb5e09c9c65f09f7c","datavalue":{"value":"automata-based decision procedures for logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910740$1807F5D2-436D-4DDB-BD21-482CC79EA7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910740$249FF584-2D19-4C37-85C4-57874914850E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be5638d7e35f30c077517bfdef1ba6f4af6858bb","datavalue":{"value":"minimal sizes of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910740$0F8770ED-549A-4E5C-8C78-FBEE7944D568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"793d35927ffb15189c289d1ff12567a44c47d7e9","datavalue":{"value":"linear arithmetic over the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910740$A81FFDD1-CF06-4D73-9E79-0F3EAF7BC6A8","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":"Q4910740$4135D699-D0E6-4092-83B2-E0540F1304FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acc3038ec6ade3307181256988737875f0298ab5","datavalue":{"value":"10.4230/LIPICS.STACS.2008.1364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910740$4ED2B666-89F5-4117-966D-7DC133417879","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851982118c33af1d968ebae908e05db55f9aa0aa","datavalue":{"value":{"entity-type":"item","numeric-id":710741,"id":"Q710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427d813dce4cd7bd3d22a40f5a48f5ffd5c96e0a","datavalue":{"value":{"amount":"+0.98887437582016","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":"Q4910740$6A54E598-2E06-4750-B69A-4BE8B56E4B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5434bc37ac80c29762ac82b504847efac63de994","datavalue":{"value":{"entity-type":"item","numeric-id":2904765,"id":"Q2904765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d767ec766c733674ab512e9c6ad37538eb5edfbe","datavalue":{"value":{"amount":"+0.8236435651779175","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":"Q4910740$AAF39AF4-D801-4E30-8EA1-028C8DA99E44","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":"1c99a049ba77e639f07aa646dfb0a9f4569e5cbb","datavalue":{"value":{"amount":"+0.7952438592910767","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":"Q4910740$9A6CB53E-9E05-4B26-AA83-F6457A5DE78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c686021091d1df97f6cbb25fc41704099d764ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277800,"id":"Q5277800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb06d72b9a3e5cc1349f7db4f31d635ab0b32a9","datavalue":{"value":{"amount":"+0.7595975995063782","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":"Q4910740$04350BDE-3BC6-48FE-B330-3E23AFF43099","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":"10d2871209703e938a5a8284ade7e2f287e0b781","datavalue":{"value":{"amount":"+0.757183849811554","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":"Q4910740$0B3DA932-23E2-4717-BEEC-ECC62188A56E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910740"}}}}}