{"entities":{"Q3379859":{"pageid":3390563,"ns":120,"title":"Item:Q3379859","lastrevid":87039647,"modified":"2026-06-04T10:31:55Z","type":"item","id":"Q3379859","labels":{"en":{"language":"en","value":"Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7401642"}},"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":"Q3379859$9B194087-3711-4A7C-833B-1B00CADBB33E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf4d6baa0f458c90de73a40248bdefc346d8d524","datavalue":{"value":"1488.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379859$5CD8C66D-4E6D-45F4-BE12-1017CF5E4D78","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":"Q3379859$D935500E-FD76-4C09-BF7B-A82AAC6058BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379859$0EB5269E-A6E2-4844-86C5-D014745F17A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379859$0473C123-E5B9-4E9C-A2D6-933340771E03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cae7baedd2ca0e0e0e622bab55057db2d75de6e","datavalue":{"value":"7401642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3379859$4CD1ABAA-CC18-4944-9ADA-603BA5CBA3ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379859$51377AC1-6CD6-4CCB-A417-056F91182F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e0de32a4c7fc556ad371487b32f353f10a043b","datavalue":{"value":"theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379859$0640DC4E-AD5C-4C72-8E99-9197D2A8EE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379859$BDC25DCA-5480-4F27-AEB3-D6B8ABCC1E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4d13bc97bf9ce1e09b7a4e185acbc99b37ddc6","datavalue":{"value":"interretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379859$2680A6CD-7A32-4567-A825-6C4F38CB73A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3379859$8ADE949B-08AC-49BB-BB9F-F435C4420793","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":"Q3379859$E97CDB36-5BAD-4FA4-AF6F-2BB659E9D0A8","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":"Q3379859$E91F94EE-69A8-4164-8DB7-896A99412330","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288c037fbab269c08a4d0966615517268dd10f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3379809,"id":"Q3379809"},"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":"Q3379859$1CF8F72D-6C9A-4FB3-9DDA-C0348176F43B","rank":"normal"},{"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":"bd347360e09ef8ea8c5ce1f5384a34b696705311","datavalue":{"value":{"amount":"+0.8815725445747375","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":"Q3379859$25276EF2-C734-46F4-9229-710D5744D282","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":"7ed1d43f82c0348d84f92236ad875562547333b5","datavalue":{"value":{"amount":"+0.7400166392326355","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":"Q3379859$F8FDBB8C-1546-4173-B6AC-52224E88119D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00098c83c1628366bf81def805c9d57f240aaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2198318,"id":"Q2198318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ea9b22491bbbbc1d8daa91923834476fe78014","datavalue":{"value":{"amount":"+0.7267642021179199","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":"Q3379859$5F4784A1-66B5-42DB-B12A-CF0853EAD646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448dde3bfad7a59cec53e439bff112738424963a","datavalue":{"value":{"entity-type":"item","numeric-id":2366359,"id":"Q2366359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba41908e3441cc3822b8dced698eb93930ff5b92","datavalue":{"value":{"amount":"+0.7185765504837036","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":"Q3379859$2B13B693-017F-4185-96B2-205603B1473D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refined_definitions_for_finitary_and_infinitary_similarity_relations_of_theories._III:_Scheme_of_standard_transformations_of_theories,_and_signature_reduction_procedures"}}}}}