{"entities":{"Q4038674":{"pageid":6068392,"ns":120,"title":"Item:Q4038674","lastrevid":55251541,"modified":"2026-02-05T08:23:27Z","type":"item","id":"Q4038674","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177796"}},"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":"Q4038674$480AE34E-D43E-490E-9FDE-13454D8359CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86c094d9c5bc981c242e3f31cb787b57f70130b3","datavalue":{"value":"0765.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038674$4A1410DD-8A0A-4A8A-BC9B-18978714843B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038674$7AECBEF7-84CB-4095-9ABF-16658E16619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb95e647102d0ffe6984f49453210b0dbafa3f03","datavalue":{"value":{"entity-type":"item","numeric-id":507356,"id":"Q507356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038674$54676AA6-8B6F-4F02-A1AC-DB9BD664CA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2095ae9a47dbd1f6d31d5e3e631a0e3c1518ab82","datavalue":{"value":{"entity-type":"item","numeric-id":1595247,"id":"Q1595247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038674$ACFEDBF3-B5DF-4073-B1F0-D5D408A3F595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038674$CC0FD485-0363-485B-8AAD-3F8BC1C60235","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038674$7CDE2545-A082-4BFE-9F2D-56E60D7487E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ba264cbb1410ca8efdb5a2ebe5a021f04ea91dc","datavalue":{"value":"177796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038674$577BB478-B57D-4314-99A2-68C7F5E40ED8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c2d8eb818134502d3ea01ad69cbed86490a59d","datavalue":{"value":"semantic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038674$5D240120-31AB-4DAF-A6D2-E25466E1C66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90540e5b89d8405230bc3e5310988deceefd217f","datavalue":{"value":"syntactic term identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038674$51864D0C-708C-4134-81A9-9E4E93D50235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22bfb8bd609a4fda2717dad436161232f042306e","datavalue":{"value":"partial redundancy elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038674$E33623A2-FA57-4395-A32F-7128723D7A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f6bce346b13069e2d2d7e7227e186fa6094b35","datavalue":{"value":"Herbrand interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038674$C90EEE5A-54F9-4759-B403-EAAAD5E03D02","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":"Q4038674$78221473-4A81-4609-9BFB-4AB33A0A3775","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b9bb0620be25ddffb4c38a1aa0c61f2e4f593d","datavalue":{"value":{"entity-type":"item","numeric-id":4223775,"id":"Q4223775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef43869908c9849789f504ae81ee8d4f15819431","datavalue":{"value":{"amount":"+0.7573376893997192","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":"Q4038674$CE1F0C00-6C4D-4E66-98C9-419ADE249029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502efe2b50c9df0c86e2adaee67ee4547f002a51","datavalue":{"value":{"entity-type":"item","numeric-id":5309903,"id":"Q5309903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef43869908c9849789f504ae81ee8d4f15819431","datavalue":{"value":{"amount":"+0.7573376893997192","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":"Q4038674$CA330AD9-C8F3-41D6-AF4D-3B3582F4C30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d619172e9c7c8b095da98b290cc2501d6ff64d17","datavalue":{"value":{"entity-type":"item","numeric-id":3340120,"id":"Q3340120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ac2a4d5dcfbe113e03c3a8a0b2c768655f06e3","datavalue":{"value":{"amount":"+0.7389816641807556","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":"Q4038674$D564FE65-106A-4BF6-BF11-B178C5C48645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65991fd2a45aa507773e66a658cf6eb16f058091","datavalue":{"value":{"entity-type":"item","numeric-id":3685161,"id":"Q3685161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a485674f8687b0214215736d90ac1641eeba1ce","datavalue":{"value":{"amount":"+0.7220088243484497","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":"Q4038674$8D581D54-1B8C-439C-831F-E69CFCAD6307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08942c124650b614ec07e7f2f9f2445d3854ca86","datavalue":{"value":{"entity-type":"item","numeric-id":3341865,"id":"Q3341865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512508cd7a7606c952622e7ffdd31b88d198f0b4","datavalue":{"value":{"amount":"+0.7158623933792114","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":"Q4038674$116BF29C-4951-4FD0-B29A-803FA5249A1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038674","badges":[]}}}}}