{"entities":{"Q2849490":{"pageid":2860210,"ns":120,"title":"Item:Q2849490","lastrevid":44703327,"modified":"2025-11-25T07:13:47Z","type":"item","id":"Q2849490","labels":{"en":{"language":"en","value":"Obtaining Finite Local Theory Axiomatizations via Saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210141"}},"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":"Q2849490$31BD4427-084F-44E5-96FD-4B72CFD9639C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b69e92020cfa25b4a6340cd37ed93225e675b50b","datavalue":{"value":{"text":"Obtaining Finite Local Theory Axiomatizations via Saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849490$FD19BB50-EC28-48CD-903F-A480D8DB7CCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a931822199dfa3520083652e15ff4fe90753936","datavalue":{"value":"1398.68482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849490$3F984EFA-9E3C-4F82-9C4A-92A0DD7A13A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b36c5883ac2a7c5e232c8ee122766ddd49be500a","datavalue":{"value":"10.1007/978-3-642-40885-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849490$5CDCC24D-E5FF-42F1-AF55-46DA52116AC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c38a9500b234c86f9b2d7c37348f582a0eab2961","datavalue":{"value":{"entity-type":"item","numeric-id":2405241,"id":"Q2405241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849490$C6244641-8C29-4214-87B9-CF7ED15F5301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849490$548D6E08-5B81-4ED7-BC2E-29200242B48D","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":"Q2849490$3A552344-5C41-4EFD-B5F1-8E57BBF7E465","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849490$AE8B03FF-0141-4CB9-BF99-43D92941A044","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3aac22f396f998bba5e387fe60e9594880a463b6","datavalue":{"value":"http://hdl.handle.net/11858/00-001M-0000-0024-C90C-F","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849490$38ECE3FD-E2AE-43F5-8CF5-0E8AACF58C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849490$933E930C-4867-405C-9201-2243B9A5BD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849490$B5A910FF-3A4B-4127-9D38-523F3D1E957E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8afac73b86a1eca5b9b5b2efdea1b7241227517","datavalue":{"value":"6210141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849490$6C7D4166-C698-4434-9AEB-0B2789FA3B0F","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":"Q2849490$2DA04587-8E9D-4F87-9326-D9F0F67B3A35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b2d8c3d7393078c54825504d5726b35d8e4b372","datavalue":{"value":"W2170945358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849490$C5991836-22B2-40AE-86F0-4F9A0829B836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e3afd1f4cc2bede1ed990c4c4f8519d627970f","datavalue":{"value":{"entity-type":"item","numeric-id":764013,"id":"Q764013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd3a433c4f4cd2ef105749b3f83c2d4b8ef1915","datavalue":{"value":{"amount":"+0.91777873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$DE1FAA51-F687-4CAD-91FE-185CD6A0EBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7d72a3bd86b313a84e59fe9f497f918acc6961","datavalue":{"value":{"entity-type":"item","numeric-id":3749037,"id":"Q3749037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5478c1f736708e900084f3152d93f8b4eccdbf","datavalue":{"value":{"amount":"+0.87493926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$5256357E-221F-4A8A-A5D7-655BC36CC523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6938453410fce5a05affcdcbf0f2b6adf19a708c","datavalue":{"value":{"entity-type":"item","numeric-id":1183711,"id":"Q1183711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ecb9e8c918bdcea65a10cfaca1f62cad150e21","datavalue":{"value":{"amount":"+0.86961514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$71D66034-8461-43BA-9AD8-D2E1D73BB902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4f1b59614d9d351b752556e1ad812ed5a1101e","datavalue":{"value":{"entity-type":"item","numeric-id":2741543,"id":"Q2741543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7bd9fd94d9782eef7420c020fe293e12793745","datavalue":{"value":{"amount":"+0.8675216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$57AB26CB-853C-44BA-A6D0-9E50FE89294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4b6aacac2905f2d1a06007cf73e67175da9b21","datavalue":{"value":{"entity-type":"item","numeric-id":1887664,"id":"Q1887664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd3ccd0ab498531b728320d61621f6543082c20","datavalue":{"value":{"amount":"+0.86699986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$8A43511F-0496-4267-8F17-E88D7C4A529F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c0922a4dcdaa0605c9a4a80ecd71e3ac3c6076","datavalue":{"value":{"entity-type":"item","numeric-id":3752364,"id":"Q3752364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4eb0c47cc1e1be6cf48b5510254f5ba31aa273","datavalue":{"value":{"amount":"+0.8640427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$5D269139-9769-47C1-AE78-AA9E875675FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e16f1ccc204e097b22d4d70a1239fc5204dc219","datavalue":{"value":{"entity-type":"item","numeric-id":5753944,"id":"Q5753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b54d1720b4fc9ea93601b8d8e5486f4b1e91bb","datavalue":{"value":{"amount":"+0.8633883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$0A54CD44-C7C9-4E37-A204-9F558F650D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd08e26734b57f42da93dc938b331bb03ab6428","datavalue":{"value":{"entity-type":"item","numeric-id":3813801,"id":"Q3813801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b54d1720b4fc9ea93601b8d8e5486f4b1e91bb","datavalue":{"value":{"amount":"+0.8633883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$3D50822A-FA5E-47B8-B0CA-8E85F2ED6A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b64650dd5dd9a05df688021226b42a83ebc949","datavalue":{"value":{"entity-type":"item","numeric-id":3644712,"id":"Q3644712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8f0ad015d5590ec4d1497559f77b7d3285484c","datavalue":{"value":{"amount":"+0.8629423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$3F4DEF13-BF96-422D-A410-D8287462C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d8fd88588e1100e6be8e826e73a97a8f33a805","datavalue":{"value":{"entity-type":"item","numeric-id":581390,"id":"Q581390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fdf70187d832a54e7d637212d753eee15af255","datavalue":{"value":{"amount":"+0.86253643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849490$670D9E24-624D-4B07-B42A-05E40F1BD19E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849490"}}}}}