{"entities":{"Q3379809":{"pageid":3390513,"ns":120,"title":"Item:Q3379809","lastrevid":54098600,"modified":"2026-01-26T06:09:24Z","type":"item","id":"Q3379809","labels":{"en":{"language":"en","value":"Refined definitions for finitary and infinitary similarity relations of theories. I: Signature reduction procedures and constructions shortly, and fast definitions for finitary and infinitary lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7401606"}},"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":"Q3379809$C4EA6A77-A010-48BC-946F-E63F08845A9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00cd526962a304b6ee948dad1e3652b27aff98e7","datavalue":{"value":"1488.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379809$D31F3042-87F8-4BE3-83F4-08F28830FBB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389dc4b72755fc3de7f7a9780587dd8ee31dbd69","datavalue":{"value":{"time":"+2021-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3379809$FFDABA76-5C35-4742-99FA-5B93FF95C23D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379809$B78A081D-0F9D-423C-B0CD-C9CF17E1D8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379809$485DB7BC-F1B4-44B0-8148-5E720C4F7DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b67ba520440cf80eff6e4e3d30717cdc6b9f4bfe","datavalue":{"value":"7401606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379809$01B64C03-A147-4812-8F03-905E966EBCD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379809$384CD7BB-3D30-48CB-B5B9-809FA1EDDC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e0de32a4c7fc556ad371487b32f353f10a043b","datavalue":{"value":"theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379809$34A6B13E-2DD1-4F81-81C8-A6F7E137D3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379809$62AC81A9-09AB-4C8A-B9F8-3F10F8EEA7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379809$158F3179-2AFA-4761-B639-0BB3CC64D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379809$5BB0EF5F-3BDE-40E1-9131-5D4108BDEDCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ecee9536e4120b13720769ac9d5f6e509bebc2","datavalue":{"value":{"entity-type":"item","numeric-id":779151,"id":"Q779151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3379809$DC613612-72F2-4C35-B8DC-1101B147AB49","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":"Q3379809$BE8E8C78-58DB-4B0F-815F-016B3EFCC11E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14253422db4d3b9e274df85fa09063341c24f86","datavalue":{"value":{"entity-type":"item","numeric-id":3379824,"id":"Q3379824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b2b9a1a23a951ab0a0571533b4110c57c05f78","datavalue":{"value":{"amount":"+0.9316250681877136","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":"Q3379809$33BDE891-BE18-4CE4-8D28-6367FC113015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6630996e5ee47cb6778191ddaf7885060df8e","datavalue":{"value":{"entity-type":"item","numeric-id":3379859,"id":"Q3379859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a2132663601c1f538645d9cbb3a55e4b6f4a10","datavalue":{"value":{"amount":"+0.9301254749298096","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":"Q3379809$F196F07C-108A-49AA-97BB-7F52C8436E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10793978f7210a8567360b454ee08534310581fe","datavalue":{"value":{"entity-type":"item","numeric-id":3790633,"id":"Q3790633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311b2ae2843ff2bdcf95e064a0e789abadce8ca8","datavalue":{"value":{"amount":"+0.753104031085968","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":"Q3379809$12121D9C-2BB5-436B-9A36-AB23FD417016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281b6bb13fc1f277dc445978d98d3857be99fe7d","datavalue":{"value":{"entity-type":"item","numeric-id":3380263,"id":"Q3380263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469e89e1139578eaa5767ef48234ebae7692a0a7","datavalue":{"value":{"amount":"+0.7406564354896545","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":"Q3379809$AFA5C05A-90F9-43A8-87F8-4146B7FA5859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5da8aace6d9bfa5286ec314ab8e30ab3675ba77","datavalue":{"value":{"entity-type":"item","numeric-id":447718,"id":"Q447718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179817dd6295c12a5d40c1926a20a6304b6a6355","datavalue":{"value":{"amount":"+0.7305521965026855","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":"Q3379809$1C5D4DE0-BEF0-4CDB-91D5-65B72B5CA5C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3379809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3379809"}}}}}